(above ?A (above ?B ?)):
	Always True: [(above ?B ?), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (thing ?B), (on ?A ?), (on ? ?B), (on ?B ?), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A), (on ?A ?B)]
(above (clear ?A) ?B):
	Always True: [(clear ?A), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (thing ?B)]
	Never True: [(above ? ?A), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ? ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (highest ?A), (on ?B ?), (floor ?B), (on ?A ?B), (block ?B)]
(above (on ?A ?B) ?B):
	Always True: [(on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (on ?A ?B), (above ?A ?), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (clear ?B), (above ?B ?), (on ? ?A), (clear ?A), (highest ?A), (on ?B ?), (floor ?B), (block ?B)]
(above ?A (block ?B)):
	Always True: [(above ?B ?), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (thing ?B), (on ?A ?), (on ? ?B), (on ?B ?), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A), (on ?A ?B)]
(above (above ? ?A) ?B):
	Always True: [(above ? ?B), (block ?A), (above ?A ?), (thing ?B), (above ? ?A), (on ? ?A), (on ?A ?), (on ? ?B), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (on ?A ?B), (block ?B)]
(above ?A (clear ?B)):
	Always True: [(clear ?B), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (floor ?B), (thing ?B)]
	Never True: [(above ?B ?), (above ?B ?B), (block ?B), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A), (on ?A ?B)]
(above (on ? ?A) ?B):
	Always True: [(above ? ?B), (block ?A), (above ?A ?), (thing ?B), (above ? ?A), (on ? ?A), (on ?A ?), (on ? ?B), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (on ?A ?B), (block ?B)]
(above (highest ?A) ?B):
	Always True: [(clear ?A), (above ? ?B), (block ?A), (above ?A ?), (thing ?B), (on ?A ?), (on ? ?B), (highest ?A), (above ?A ?B), (thing ?A)]
	Never True: [(above ? ?A), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ? ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (on ?A ?B), (block ?B)]
(above ?A (on ?B ?)):
	Always True: [(above ?B ?), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (thing ?B), (on ?A ?), (on ? ?B), (on ?B ?), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A), (on ?A ?B)]
(above ?A ?B):
	Always True: [(above ? ?B), (block ?A), (above ?A ?), (thing ?B), (on ?A ?), (on ? ?B), (above ?A ?B), (thing ?A)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (clear ?B), (above ?B ?), (on ? ?A), (clear ?A), (highest ?A), (on ?B ?), (floor ?B), (on ?A ?B), (block ?B)]
(above ?A (floor ?B)):
	Always True: [(clear ?B), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (floor ?B), (thing ?B)]
	Never True: [(above ?B ?), (above ?B ?B), (block ?B), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A), (on ?A ?B)]
(block (above ? ?A)):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A), (clear ?A), (highest ?A)]
	Sometimes True: []
(block (on ? ?A)):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A), (clear ?A), (highest ?A)]
	Sometimes True: []
(block (clear ?A)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: [(highest ?A)]
(block ?A):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(block (highest ?A)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(clear (above ? ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(clear (floor ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(clear (on ? ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(clear (on ?A ?)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: [(highest ?A)]
(clear ?A):
	Always True: [(clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
(clear (block ?A)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: [(highest ?A)]
(clear (highest ?A)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(clear (above ?A ?)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: [(highest ?A)]
(floor ?A):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(block ?A)]
	Sometimes True: []
(highest ?A):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(on ?A (above ?B ?)):
	Always True: [(above ?B ?), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (on ?B ?), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (block ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(on (clear ?A) ?B):
	Always True: [(on ?A ?), (clear ?A), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (thing ?B)]
	Never True: [(above ? ?A), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ? ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (highest ?A), (on ?B ?), (floor ?B), (block ?B)]
(on ?A ?B):
	Always True: [(on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (clear ?B), (above ?B ?), (on ? ?A), (clear ?A), (highest ?A), (on ?B ?), (floor ?B), (block ?B)]
(on ?A (block ?B)):
	Always True: [(above ?B ?), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (on ?B ?), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (block ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(on (above ? ?A) ?B):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (block ?B)]
(on ?A (clear ?B)):
	Always True: [(clear ?B), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (floor ?B), (thing ?B)]
	Never True: [(above ?B ?), (above ?B ?B), (block ?B), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (highest ?A), (on ?B ?), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A)]
(on (on ? ?A) ?B):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (highest ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (block ?B)]
(on (highest ?A) ?B):
	Always True: [(above ?B ?), (clear ?A), (above ? ?B), (block ?A), (on ?A ?B), (above ?A ?), (thing ?B), (block ?B), (on ?A ?), (on ? ?B), (highest ?A), (on ?B ?), (above ?A ?B), (thing ?A)]
	Never True: [(above ? ?A), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ? ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: []
(on ?A (on ?B ?)):
	Always True: [(above ?B ?), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (on ?B ?), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (block ?B), (thing ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(on ?A (floor ?B)):
	Always True: [(clear ?B), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (thing ?A), (above ?A ?B), (above ?A ?), (on ?A ?B), (floor ?B), (thing ?B)]
	Never True: [(above ?B ?), (above ?B ?B), (block ?B), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (highest ?A), (on ?B ?), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A)]
(thing (above ? ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(thing (floor ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(thing (on ? ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(thing (clear ?A)):
	Always True: [(clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
(thing (on ?A ?)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(thing (block ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(thing (highest ?A)):
	Always True: [(clear ?A), (on ?A ?), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(thing ?A):
	Always True: [(thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (clear ?A), (block ?A), (highest ?A), (above ?A ?)]
(thing (above ?A ?)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (above ?A ?)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (above ? ?B)):
	Always True: [(clear ?B), (above ?B ?), (on ?B ?), (block ?B), (thing ?B)]
	Never True: [(above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (floor ?B)]
	Sometimes True: [(highest ?B)]
(not (above ? (highest ?B))):
	Always True: [(clear ?B), (above ?B ?), (on ?B ?), (highest ?B), (block ?B), (thing ?B)]
	Never True: [(above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (floor ?B)]
	Sometimes True: []
(not (above (above ? ?A) ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (above (floor ?A) ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (above (on ? ?A) ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (above (clear ?A) ?A)):
	Always True: [(clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
(not (above (on ?A ?) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (above ?A ?A)):
	Always True: [(thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (clear ?A), (block ?A), (highest ?A), (above ?A ?)]
(not (above (block ?A) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (above (highest ?A) ?A)):
	Always True: [(on ?A ?), (clear ?A), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(not (above (above ?A ?) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (above (floor ?A) ?B)):
	Always True: [(above ? ?A), (above ?B ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A), (block ?B), (thing ?B)]
	Never True: [(block ?A), (above ?B ?B), (above ?A ?), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?A ?), (on ?B ?B), (highest ?A), (above ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ?B ?), (above ? ?B), (on ? ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
(not (above (clear ?A) ?B)):
	Always True: [(above ? ?A), (above ?B ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A), (block ?B), (thing ?B)]
	Never True: [(block ?A), (above ?B ?B), (above ?A ?), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?A ?), (on ?B ?B), (highest ?A), (above ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ?B ?), (above ? ?B), (on ? ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
(not (above ?A (above ? ?B))):
	Always True: [(above ?B ?), (above ? ?B), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ? ?B), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (highest ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (on ?A ?), (clear ?A), (block ?A), (above ?A ?), (on ?B ?A)]
(not (above (block ?A) ?B)):
	Always True: [(above ?B ?), (block ?A), (above ?A ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?A ?), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ? ?B), (on ? ?B), (highest ?B), (on ?B ?A)]
(not (above (above ?A ?) ?B)):
	Always True: [(above ?B ?), (block ?A), (above ?A ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?A ?), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ? ?B), (on ? ?B), (highest ?B), (on ?B ?A)]
(not (above ?A (clear ?B))):
	Always True: [(above ?B ?A), (clear ?B), (above ?B ?), (thing ?A), (block ?B), (thing ?B)]
	Never True: [(above ? ?B), (above ?B ?B), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?B ?B), (highest ?A), (on ? ?B), (above ?A ?B), (floor ?B)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (clear ?A), (block ?A), (on ?B ?), (highest ?B), (above ?A ?), (on ?B ?A)]
(not (above (on ?A ?) ?B)):
	Always True: [(above ?B ?), (block ?A), (above ?A ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?A ?), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (clear ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ? ?B), (on ? ?B), (highest ?B), (on ?B ?A)]
(not (above ?A ?B)):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?B), (on ?A ?), (clear ?A), (above ? ?B), (block ?A), (on ? ?B), (highest ?B), (above ?A ?), (on ?B ?A)]
(not (above ?A (on ? ?B))):
	Always True: [(above ?B ?), (above ? ?B), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ? ?B), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (clear ?B), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (highest ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (on ?A ?), (clear ?A), (block ?A), (above ?A ?), (on ?B ?A)]
(not (above ?A (highest ?B))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?B ?), (highest ?B), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (on ?A ?), (clear ?A), (block ?A), (above ?A ?), (on ?B ?A)]
(not (above ?A (on ?B ?A))):
	Always True: [(above ? ?A), (above ?B ?A), (above ?B ?), (thing ?A), (block ?B), (thing ?B), (on ?B ?A)]
	Never True: [(above ?B ?B), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?B ?B), (highest ?A), (above ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?B), (on ? ?A), (on ?A ?), (clear ?A), (above ? ?B), (block ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?)]
(not (block ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (clear ?A)):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A), (clear ?A), (highest ?A)]
	Sometimes True: []
(not (floor (above ? ?A))):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(floor ?A), (clear ?A)]
	Sometimes True: []
(not (floor (on ? ?A))):
	Always True: [(above ? ?A), (on ? ?A), (on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(floor ?A), (clear ?A)]
	Sometimes True: []
(not (floor (clear ?A))):
	Always True: [(on ?A ?), (clear ?A), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (floor ?A), (on ? ?A)]
	Sometimes True: [(highest ?A)]
(not (floor ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(floor ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (floor (highest ?A))):
	Always True: [(on ?A ?), (clear ?A), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (floor ?A), (on ? ?A)]
	Sometimes True: []
(not (highest ?A)):
	Always True: [(thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (clear ?A), (block ?A), (above ?A ?)]
(not (highest (above ? ?A))):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (highest (floor ?A))):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (highest (on ? ?A))):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (highest (clear ?A))):
	Always True: [(clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (highest (on ?A ?))):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A)]
(not (highest (block ?A))):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A)]
(not (highest (above ?A ?))):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A)]
(not (on ?A ?)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (on ? ?B)):
	Always True: [(clear ?B), (above ?B ?), (on ?B ?), (block ?B), (thing ?B)]
	Never True: [(above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (floor ?B)]
	Sometimes True: [(highest ?B)]
(not (on ? (highest ?B))):
	Always True: [(clear ?B), (above ?B ?), (on ?B ?), (highest ?B), (block ?B), (thing ?B)]
	Never True: [(above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (floor ?B)]
	Sometimes True: []
(not (on (above ? ?A) ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (on (floor ?A) ?A)):
	Always True: [(above ? ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
	Sometimes True: []
(not (on (on ? ?A) ?A)):
	Always True: [(above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (highest ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (on ?A ?), (block ?A), (above ?A ?)]
(not (on ?A ?A)):
	Always True: [(thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (clear ?A), (block ?A), (highest ?A), (above ?A ?)]
(not (on (clear ?A) ?A)):
	Always True: [(clear ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (floor ?A), (on ? ?A), (on ?A ?), (block ?A), (highest ?A), (above ?A ?)]
(not (on (on ?A ?) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (on (block ?A) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (on (highest ?A) ?A)):
	Always True: [(on ?A ?), (clear ?A), (block ?A), (highest ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ? ?A), (above ?A ?A), (floor ?A), (on ?A ?A), (on ? ?A)]
	Sometimes True: []
(not (on (above ?A ?) ?A)):
	Always True: [(on ?A ?), (block ?A), (thing ?A), (above ?A ?)]
	Never True: [(above ?A ?A), (floor ?A), (on ?A ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (on (floor ?A) ?B)):
	Always True: [(above ? ?A), (above ?B ?A), (floor ?A), (on ? ?A), (clear ?A), (thing ?A), (block ?B), (thing ?B)]
	Never True: [(block ?A), (above ?B ?B), (above ?A ?), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?A ?), (on ?B ?B), (highest ?A), (above ?A ?B), (floor ?B)]
	Sometimes True: [(clear ?B), (above ?B ?), (above ? ?B), (on ? ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
(not (on ?A (above ?B ?))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (above ? ?A), (above ?B ?A), (clear ?B), (on ? ?A), (on ?A ?), (highest ?A), (on ? ?B), (highest ?B), (above ?A ?B), (on ?B ?A)]
(not (on (clear ?A) ?B)):
	Always True: [(clear ?A), (thing ?A), (thing ?B)]
	Never True: [(above ?B ?B), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?B ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on ?A ?B)):
	Always True: [(thing ?B), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on ?A (above ? ?B))):
	Always True: [(above ? ?B), (thing ?B), (on ? ?B), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?A ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (block ?A), (above ?A ?), (block ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ?B ?), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on (block ?A) ?B)):
	Always True: [(block ?A), (above ?A ?), (thing ?B), (on ?A ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B)]
	Sometimes True: [(above ?B ?), (clear ?A), (above ? ?B), (block ?B), (above ? ?A), (above ?B ?A), (clear ?B), (on ? ?A), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on (above ?A ?) ?B)):
	Always True: [(block ?A), (above ?A ?), (thing ?B), (on ?A ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B)]
	Sometimes True: [(above ?B ?), (clear ?A), (above ? ?B), (block ?B), (above ? ?A), (above ?B ?A), (clear ?B), (on ? ?A), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on ?A (block ?B))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ? ?B), (highest ?B), (above ?A ?B), (on ?B ?A)]
(not (on (above ? ?A) ?B)):
	Always True: [(thing ?B), (above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (on ?A ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (above ?B ?A), (clear ?B), (on ?A ?), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on ?A (above ?B ?A))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?B), (on ?A ?), (clear ?A), (above ? ?B), (block ?A), (on ? ?B), (highest ?B), (above ?A ?), (on ?B ?A)]
(not (on ?A (clear ?B))):
	Always True: [(clear ?B), (thing ?A), (thing ?B)]
	Never True: [(above ?B ?B), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?B ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (on ?A ?), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on (on ? ?A) ?B)):
	Always True: [(thing ?B), (above ? ?A), (on ? ?A), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?A), (on ?A ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (block ?B), (above ?B ?A), (clear ?B), (on ?A ?), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on (on ?A ?) ?B)):
	Always True: [(block ?A), (above ?A ?), (thing ?B), (on ?A ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B)]
	Sometimes True: [(above ?B ?), (clear ?A), (above ? ?B), (block ?B), (above ? ?A), (above ?B ?A), (clear ?B), (on ? ?A), (highest ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on (highest ?A) ?B)):
	Always True: [(clear ?A), (above ? ?B), (block ?A), (above ?A ?), (thing ?B), (on ?A ?), (on ? ?B), (highest ?A), (thing ?A), (above ?A ?B)]
	Never True: [(above ? ?A), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ? ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?A ?B), (on ?B ?A)]
	Sometimes True: [(clear ?B), (above ?B ?), (on ?B ?), (floor ?B), (block ?B)]
(not (on ?A (on ? ?B))):
	Always True: [(above ? ?B), (thing ?B), (on ? ?B), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?A ?B)]
	Sometimes True: [(floor ?A), (above ?B ?), (clear ?A), (block ?A), (above ?A ?), (block ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ?B ?), (above ?A ?B), (floor ?B), (on ?B ?A)]
(not (on ?A (on ?B ?))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (on ?B ?), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (on ?A ?B), (floor ?B), (on ?B ?A)]
	Sometimes True: [(floor ?A), (clear ?A), (above ? ?B), (block ?A), (above ?A ?), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?A ?), (highest ?A), (on ? ?B), (highest ?B), (above ?A ?B)]
(not (on ?A (highest ?B))):
	Always True: [(above ?B ?), (block ?B), (thing ?B), (above ? ?A), (above ?B ?A), (on ? ?A), (clear ?B), (on ?B ?), (highest ?B), (thing ?A)]
	Never True: [(above ?A ?A), (on ?A ?A), (above ? ?B), (on ?B ?B), (above ?B ?B), (on ? ?B), (highest ?A), (above ?A ?B), (on ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (on ?A ?), (clear ?A), (block ?A), (above ?A ?), (on ?B ?A)]
(not (on (above ?A ?B) ?B)):
	Always True: [(above ? ?B), (block ?A), (above ?A ?), (thing ?B), (on ?A ?), (on ? ?B), (thing ?A), (above ?A ?B)]
	Never True: [(above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (above ?B ?B), (highest ?B), (on ?A ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (clear ?B), (above ?B ?), (on ? ?A), (clear ?A), (highest ?A), (on ?B ?), (floor ?B), (block ?B)]
(not (on ?A (floor ?B))):
	Always True: [(clear ?B), (on ?A ?), (above ? ?B), (block ?A), (on ? ?B), (above ?A ?B), (thing ?A), (floor ?B), (above ?A ?), (thing ?B)]
	Never True: [(above ?B ?), (above ?B ?B), (on ?A ?B), (block ?B), (above ?A ?A), (above ?B ?A), (on ?A ?A), (on ?B ?B), (on ?B ?), (highest ?B), (on ?B ?A)]
	Sometimes True: [(above ? ?A), (on ? ?A), (clear ?A), (highest ?A)]
(not (on ?A (on ?B ?A))):
	Always True: [(above ? ?A), (above ?B ?A), (above ?B ?), (thing ?A), (block ?B), (thing ?B), (on ?B ?A)]
	Never True: [(above ?B ?B), (on ?A ?B), (above ?A ?A), (on ?A ?A), (on ?B ?B), (highest ?A), (above ?A ?B), (floor ?B)]
	Sometimes True: [(floor ?A), (clear ?B), (on ? ?A), (on ?A ?), (clear ?A), (above ? ?B), (block ?A), (on ? ?B), (on ?B ?), (highest ?B), (above ?A ?)]

Background Knowledge
(block ?A) <=> (above ?A ?)
(block ?A) <=> (on ?A ?)
(block ?A) <=> (not (floor ?A))
(block ?A) (above ? ?A) <=> (not (clear ?A))
(floor ?A) <=> (clear ?A) (above ?B ?A)
(floor ?A) <=> (clear ?A) (on ?B ?A)
(floor ?A) <=> (clear ?A) (above ? ?A)
(floor ?A) <=> (clear ?A) (on ? ?A)
(floor ?A) <=> (not (block ?A))
(floor ?A) <=> (not (above ?A ?))
(floor ?A) <=> (not (on ?A ?))
(thing ?A) <=> (not (above ?A ?A))
(thing ?A) <=> (not (on ?A ?A))
(block ?B) (clear ?B) <=> (not (on ? ?B))
(clear ?B) (on ?B ?) <=> (not (above ? ?B))
(above ? ?B) <=> (on ? ?B)
(block ?A) => (thing ?A)
(floor ?A) => (thing ?A)
(floor ?A) => (clear ?A)
(floor ?B) => (above ? ?B)
(clear ?A) => (thing ?A)
(clear ?A) (not (above ?A ?B)) => (floor ?A)
(highest ?A) => (block ?A)
(highest ?A) => (thing ?A)
(highest ?A) => (clear ?A)
(highest ?A) => (above ?A ?)
(clear ?B) (on ?B ?A) => (not (on ? ?B))
(highest ?B) => (not (on ? ?B))
(above ?A ?B) => (thing ?A)
(above ?A ?B) => (above ? ?B)
(on ?A ?B) => (thing ?A)
(on ?A ?B) => (above ?A ?B)
(on ?A ?B) => (on ? ?B)
(above ?B ?A) => (thing ?A)
(above ?B ?A) => (not (highest ?A))
(above ?B ?A) => (not (above ?A ?B))
(above ?B ?A) => (not (on ?A ?B))
(on ?B ?A) => (thing ?A)
(on ?B ?A) => (not (highest ?A))
(on ?B ?A) => (not (above ?A ?B))
(on ?B ?A) => (not (on ?A ?B))
(not (highest ?A)) => (thing ?A)
(not (above ?A ?B)) => (thing ?A)
(not (on ?A ?B)) => (thing ?A)
(not (above ?B ?A)) => (block ?A)
(not (above ?B ?A)) => (thing ?A)
(not (above ?B ?A)) => (above ?A ?B)
(not (above ?B ?A)) => (above ?A ?)
(not (above ?B ?A)) => (on ?A ?)
(not (above ?B ?A)) => (above ? ?B)
(not (above ?B ?A)) => (on ? ?B)
(not (on ?B ?A)) => (thing ?A)
(not (above ?B ?)) => (above ? ?B)

Global Invariants
Specific Invariants: [(block a), (thing a), (block b), (thing b), (block c), (thing c), (block d), (thing d), (block e), (thing e), (block f), (thing f), (floor floor), (thing floor), (block g), (thing g), (block h), (thing h), (block i), (thing i), (block j), (thing j), (clear floor), (above a floor), (above b floor), (above c floor), (above d floor), (above e floor), (above f floor), (above g floor), (above h floor), (above i floor), (above j floor)]
General Invariants: [above, block, clear, floor, highest, on, thing]
General Variants: []
Never Present: []
Invariants count: 51

Observed ranges
