Sentences 14.4.sen

7.1.1.18681
wnds:Windows 86.2
SntF
C1428740520428D1428741167080
S8825
7
@x(Cube(x)|Tet(x))/x/y/z(Cube(x)&Cube(y)&Cube(z)&x#y&y#z&z#x&@w(Cube(w)$(w=x|w=y|w=z)))@x(Cube(x)$(/y(Tet(y)&RightOf(y,x)&~FrontOf(y,x)&~BackOf(y,x))))/x/y/z(x#y&y#z&z#x&Tet(x)&Tet(y)&Tet(z)&Between(x,y,z))@x@y(BackOf(x,y)$Larger(x,y))@x@y((Cube(x)&Cube(y))$(~RightOf(x,y)))/x(Small(x)&Tet(x)&@y((Tet(y)&x#y)$(FrontOf(x,y)&~RightOf(x,y)&~LeftOf(x,y))))
s=63214;