5.3
WNDS: WinNT 5.1.2600 () [5.3.0.20020218]
SntF
C1033488524482D1033489388461C1033489655663D1033489764674C1033578932928D1033578980594
S13674
13
;These sentences are false in every world that contains an object named 'a':Larger(a, a)Smaller(a, a)Adjoins(a, a)FrontOf(a, a)BackOf(a, a)RightOf(a, a)LeftOf(a, a)a # a Between(a, a, a)Between(a, a, b)Between(a, b, a)Between(b, a, a)