> No, that's not what [] means - (you can't just remove them!) they mean... You can remove them if you replace them with an existentially quantified variable, yes? And you can remove an existentially quantified variable in an asserted context by replacing it with a new term (that is, by skolemization), right? In another context, like a negated context or a query, I agree skolemization would be wrong. I guess I should have been more explicit. -- sandroReceived on Wednesday, 7 March 2001 08:25:06 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:45 GMT