Sandro Hawke wrote: > - if a b-node occurs in just the antecendent, or in both the > antecedent and the consequent, it's probably the same as a > universally quantified variable. Why? FrancoisReceived on Tuesday, 17 April 2007 16:03:38 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:38 GMT