forAll with ncnames

While trying to use @forAll with ncnames
following test case worked out well after adding
@keywords is, of, a.
 
cwm http://www.agfa.com/w3c/euler/medP.n3 -think 
-filter=http://www.agfa.com/w3c/euler/medF.n3 -why > 
http://www.agfa.com/w3c/euler/medT.n3

Is very nifty proof!
.. will try to test relationship with 
http://www.agfa.com/w3c/euler/medE.n3


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Friday, 28 October 2005 23:51:52 UTC