@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rec: <http://www.w3.org/2001/02pd/rec54#> .
@prefix doc: <http://www.w3.org/2000/10/swap/pim/doc#> .

<http://www.w3.org/TR/1999/REC-xml-names-19990114/> = <http://www.w3.org/TR/REC-xml-names> ; a :fullUri .
<http://www.w3.org/TR/1998/REC-CSS2-19980512> = <http://www.w3.org/TR/REC-CSS2> ; a :fullUri .
<http://www.w3.org/TR/1998/REC-xml-19980210> = <http://www.w3.org/TR/REC-xml> ; a :fullUri .
<http://www.w3.org/TR/2000/REC-xml-20001006> = <http://www.w3.org/TR/REC-xml> ; a :fullUri .
<http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/> = <http://www.w3.org/TR/xmlschema-1/> ; a :fullUri .
<http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/> = <http://www.w3.org/TR/xmlschema-2/> ; a :fullUri .
<http://www.w3.org/TR/2001/REC-xmlschema-0-20010502/> = <http://www.w3.org/TR/xmlschema-0/> ; a :fullUri .

{ ?DOC a :fullUri .
  ?DOC = ?SHORT .
  ?REC rec:cites ?DOC .
} => {
  ?REC rec:cites ?SHORT .
} .

this log:forAll :D, :S .
{ <../../../2002/01/tr-automation/tr.rdf> log:semantics [ log:includes {
    :D doc:versionOf :S .
    :D a rec:REC .
  } ] .
  ?REC rec:cites :D .
} => {
  ?REC rec:cites :S .
  :D a log:Chaff .
} .

{ ?DOC a :fullUri } => { ?DOC a log:Chaff } .