5.1 WNDS: Win98 4.10.67766222 ( ) [5.1.0.19991101] SntF C989698841386D989699005660C989857922438D989857977700D989858789958 S10898 3 /x (Cube(x) & @y (Cube(y) $ y = x) & Small(x)) ;The cube is small. /x (Cube(x) & @y (Cube(y) $ y = x) & ~Small(x)) ;The cube is not small. ~/x (Cube(x) & @y (Cube(y) $ y = x) & Small(x)) ;It is not the case that the cube is small.