Sentences 9.17.sen

7.1.1.18681
wnds:Windows 86.2
SntF
C1428197212279D1428197775232
S8248
15
@x(Cube(x)$Small(x))@x((Small(x)&Cube(x))$RightOf(x,a))@x(Dodec(x)$LeftOf(a,x))@x((Medium(x)&Tet(x))$FrontOf(x,b))@x(Cube(x)$(FrontOf(x,b)|BackOf(x,a)))@x(Cube(x)$(RightOf(x,a)&LeftOf(x,b)))@x(Between(x,a,b)$Cube(x))@x(Smaller(x,a)$Cube(x))@x(Dodec(x)$~Small(x))@x(Dodec(x)$~Small(x))~@x(Adjoins(a,x))@x(~Adjoins(a,x))@x(Cube(x)$~RightOf(a,x))@x(Cube(x)$~(SameCol(x,a)|SameCol(x,b)))@x(Cube(x)%~(SameCol(x,a)|SameCol(x,b)))
s=78363;