5.1
WNDS: WinNT 5.1.2600 () [5.1.0.19991101]
SntF
C986651843802D986652129767C1013769195706D1013769788428
S9189
3
/x (Cube(x)  & Large(x))

; Some cubes are large./x (Cube(x)  $ Large(x))

;There is something that is large if it a cube./x (~Cube(x) | Large(x))

;Something is either not a cube or large.