Dan Connolly wrote: [...] > The N3 {}s do quote terms, so it does *not* follow > from > > Lois believes { Superman a Hero }. > Superman = ClarkKent. > > that > > Lois believes { ClarkKent a Hero }. true that given :Lois :believes { :Superman a :Hero }. :Superman = :ClarkKent. cwm --filter { :Lois :believes { :Superman a :Hero } } => { :Superman a :Answer}. { :Lois :believes { :ClarkKent a :Hero } } => { :ClarkKent a :Answer}. only gives :Superman a :Answer . hm.. euler gives :Superman a :Answer. :ClarkKent a :Answer. (is that it does substition of equals by equals for everything..) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Saturday, 2 April 2005 23:34:01 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:01 GMT