Can anyone help me with Language Proof and Logic's exercise 11.5? It is making a world in Tarski's world software in which the following sentences are true. I can make the first 9 true, but the last one is throwing me off.

1. x y (Tet(x) Tet(y) SameRow(x, y))

2. x y (Tet(x) Tet(y) Larger(x, y) BackOf(x, y))

3. Cube(c) Cube(d) FrontOf(c, d)

4. Cube(c) Tet(a)

5. Cube(d) Cube(e) Larger(d, e)

6. x (Cube(x) x d x e)

7. x (Tet(x) Between(x, c, d))

8. x y (Between(a, x, y) Larger(a, x) Smaller(a, y)

9. x (Cube(x) ((x c x d) Large(x)))

10. x y z (Cube(x) Dodec(y) Dodec(z) Between(y, x, z) Larger(x, z) LeftOf(x, z))