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

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

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

Observed ranges
