Blocks World Example
	• Object Constants: A, B, C, D correspond to blocks with the same letters on them. • Relations Constants: – 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