Figure 2

A blocks world example. In this particular example expressions such as: on(a, c), on(c, table), on(b, table), pyramid(a), brick(b), brick(c), ¬same-as(a, c), same-as(b, c), etc., are true.