[KIF] interesting CL example

[John F. Sowa]

Pat,

P and Q can have different extensions:

 > (forall (?x ?y)(= ?x ?y)
 > (P a)
 > (not (Q a))

The extension of P is {a}, and the extension
of Q is the empty set {}.

John