A steeple-building robot looks for two blocks that are clear and puts one of them on top of the other (if the block being moved can be located as being on some other block or on the floor). Write down a first-order predicate-calculus expression that might be used to determine whether or not there exist two such blocks