Solutions to Homework #9, Problems 23-29

7. If b isn’t in front of d then neither is it in back of d, provided it’s a cube. Cube(c) ( ((FrontOf(b, d) ( (BackOf(b, d)) 8. c is in back of a but in front of e. BackOf(c, a) ( FrontOf(c, e) 9. e is in front of d unless it (i.e., e) is a large tetrahedron. ((Large(e) ( Tet(e)) ( FrontOf(e, d) 10. At least one of a, c, and e is a cube ................
................