@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.

<> dc:description """rules for forgetting things that are equal to other things. Usage: cwm ...data and rules... --think --apply=forgetDups.n3 --purge""";
  rcs:id "$Id: forgetDups.n3,v 1.6 2004/06/25 01:26:59 timbl Exp $";
  dc:creator [ 
	contact:fullName "Dan Connolly";
	contact:homePage <http://www.w3.org/People/Connolly/>;
	contact:mailbox <mailto:connolly@w3.org>
	];
  dc:relation <sameThing.n3>; #@@ or is dc:relation a class of properties?
				# should I be using rdfs:seeAlso?
  dc:rights "copyright (c) 2001 W3C (MIT, Keio, INRIA)".


@prefix log: <http://www.w3.org/2000/10/swap/log#>.

@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix : <#>.

@forAll :x, :y, :z, :p, :q.

@forAll :s1, :s2.

{ :x = :y.
  :x log:rawUri :s1.  # Levelbreaker - cheats by looking at URI of bnode
  :y log:rawUri :s2.
  :s1 string:lessThan :s2.
}
  log:implies {
   :y a log:Chaff.
#   :s2 :forgottenInFavorOf :s1 # diagnostic/audit info
  }.

