X2200 : SAVEDWFF

X2200 is a saved wff.
Defined as ~FORALL x(I) R(OII) x u(I) AND EXISTS y(I).~FORALL z(I) R y z IMPLIES Q(OII) u y
No more help available. Sorry.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage