•Object Constants: A, B, C, D correspond
to blocks
with the same letters on them.
–OnTable: set of blocks resting on table
–On: set of block pairs where the first
rests on the second
–Above: transitive closure of On
–Clear: set of blocks with no blocks above
