•Express the following in FOL using relations On,
Above, Clear, OnTable, and objects A, B, C, D:
–If block A is on block B, then A is
above B, B is not clear, and A is not on the table.
–If one block is on another block, it is
also above that block.
–A or D or C is on the table.
–If A is on the table, then D and C are not.
