5.3
WNDS: WinNT 5.1.2600 () [5.3.0.20020218]
SntF
C1033488524482D1033489388461D1033489642982C1033578896430D1033578925332
S11725
6
;These sentences are true in every world that contains an object named 'a':SameSize(a, a)SameShape(a, a)SameRow(a, a)SameCol(a, a)a = a