...logic
Recall that this means all relation symbols are unary
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Stan Burris
Fri Jan 31 11:13:12 EST 1997