@prefix dc: <http://purl.org/dc/elements/1.1/>.

<> dc:description """test that log:uri only
gives URIs that somebody actually used, not variable names

run it ala:
 python cwm.py --rdf test/animal.rdf --n3 test/vblsNotURIs.n3 --think
""";
   dc:version
"$Id: vblsNotURIs.n3,v 1.3 2004/06/25 01:26:59 timbl Exp $".


@prefix d12: <http://www.daml.org/2000/12/daml+oil#>.

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

@forAll :i, :o.

:x d12:restrictedBy [ a :Something ].

{ [] d12:restrictedBy :o }
 log:implies { :o a :Found }.

{ [] d12:restrictedBy :o.
  :o log:uri :i  }
 log:implies { :o :called :i }.