(blinking ?A):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: []
	Sometimes True: []
(distance (ghostCentre ?A) ?B):
	Always True: [(ghostCentre ?A), (distance ?A ?), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(score ?B), (junctionSafety ? ?B), (highScore ?B), (level ?B), (lives ?B)]
(distance (blinking ?A) ?B):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (distance ? ?B), (ghost ?A), (thing ?A), (distance ?A ?B)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ? ?B), (lives ?B)]
(distance ?A (junctionSafety ? ?B)):
	Always True: [(distance ?A ?), (junctionSafety ? ?B), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (score ?B), (blinking ?A), (dot ?A), (highScore ?B), (powerDot ?A), (edible ?A), (level ?B), (ghost ?A), (lives ?B)]
(distance (powerDot ?A) ?B):
	Always True: [(distance ?A ?), (powerDot ?A), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ? ?B), (level ?B), (lives ?B)]
(distance (edible ?A) ?B):
	Always True: [(distance ?A ?), (edible ?A), (distance ? ?B), (ghost ?A), (thing ?A), (distance ?A ?B)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (junctionSafety ? ?B), (lives ?B)]
(distance (ghost ?A) ?B):
	Always True: [(distance ?A ?), (distance ? ?B), (ghost ?A), (thing ?A), (distance ?A ?B)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(score ?B), (blinking ?A), (junctionSafety ? ?B), (highScore ?B), (edible ?A), (level ?B), (lives ?B)]
(distance ?A (lives ?B)):
	Always True: [(distance ?A ?), (distance ? ?B), (thing ?A), (lives ?B), (distance ?A ?B)]
	Never True: [(fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (junctionSafety ? ?B), (powerDot ?A), (edible ?A), (level ?B), (ghost ?A)]
(distance ?A ?B):
	Always True: [(distance ?A ?), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (score ?B), (blinking ?A), (junctionSafety ? ?B), (dot ?A), (highScore ?B), (powerDot ?A), (edible ?A), (level ?B), (ghost ?A), (lives ?B)]
(distance ?A (score ?B)):
	Always True: [(score ?B), (distance ?A ?), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(blinking ?A), (powerDot ?A), (edible ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (junctionSafety ? ?B), (dot ?A), (highScore ?B), (ghost ?A)]
(distance (dot ?A) ?B):
	Always True: [(distance ?A ?), (dot ?A), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(ghostCentre ?A), (blinking ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(score ?B), (junctionSafety ? ?B), (highScore ?B), (level ?B), (lives ?B)]
(distance ?A (highScore ?B)):
	Always True: [(score ?B), (distance ?A ?), (highScore ?B), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(blinking ?A), (powerDot ?A), (edible ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (junctionSafety ? ?B), (dot ?A), (ghost ?A)]
(distance ?A (level ?B)):
	Always True: [(distance ?A ?), (level ?B), (distance ? ?B), (thing ?A), (distance ?A ?B)]
	Never True: [(blinking ?A), (edible ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (junctionSafety ? ?B), (dot ?A), (powerDot ?A), (ghost ?A), (lives ?B)]
(dot ?A):
	Always True: [(dot ?A), (distance ?A ?), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(edible (blinking ?A)):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: []
	Sometimes True: []
(edible ?A):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: []
	Sometimes True: [(blinking ?A)]
(ghost (blinking ?A)):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(ghost (edible ?A)):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(ghost ?A):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(ghostCentre ?A):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(highScore (score ?A)):
	Always True: [(score ?A), (highScore ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(highScore ?A):
	Always True: [(highScore ?A)]
	Never True: []
	Sometimes True: [(score ?A), (distance ? ?A), (junctionSafety ? ?A)]
(highScore (distance ? ?A)):
	Always True: [(score ?A), (highScore ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(junctionSafety ? ?A)]
(highScore (junctionSafety ? ?A)):
	Always True: [(score ?A), (highScore ?A), (distance ? ?A), (junctionSafety ? ?A)]
	Never True: []
	Sometimes True: []
(junction ?A):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(junctionSafety ?A (score ?B)):
	Always True: [(junctionSafety ?A ?), (score ?B), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B), (highScore ?B), (distance ? ?B)]
	Never True: []
	Sometimes True: []
(junctionSafety ?A ?B):
	Always True: [(junctionSafety ?A ?), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B)]
	Never True: []
	Sometimes True: [(score ?B), (highScore ?B), (level ?B), (distance ? ?B), (lives ?B)]
(junctionSafety ?A (highScore ?B)):
	Always True: [(junctionSafety ?A ?), (score ?B), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B), (highScore ?B), (distance ? ?B)]
	Never True: []
	Sometimes True: []
(junctionSafety ?A (level ?B)):
	Always True: [(junctionSafety ?A ?), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B), (level ?B)]
	Never True: []
	Sometimes True: [(distance ? ?B), (lives ?B)]
(junctionSafety ?A (distance ? ?B)):
	Always True: [(junctionSafety ?A ?), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B), (distance ? ?B)]
	Never True: []
	Sometimes True: [(score ?B), (highScore ?B), (level ?B), (lives ?B)]
(junctionSafety ?A (lives ?B)):
	Always True: [(junctionSafety ?A ?), (junction ?A), (junctionSafety ?A ?B), (junctionSafety ? ?B), (lives ?B)]
	Never True: []
	Sometimes True: [(level ?B), (distance ? ?B)]
(level (distance ? ?A)):
	Always True: [(distance ? ?A), (level ?A)]
	Never True: []
	Sometimes True: [(lives ?A), (junctionSafety ? ?A)]
(level ?A):
	Always True: [(level ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (lives ?A), (junctionSafety ? ?A)]
(level (lives ?A)):
	Always True: [(level ?A), (lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(level (junctionSafety ? ?A)):
	Always True: [(level ?A), (junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (lives ?A)]
(lives (distance ? ?A)):
	Always True: [(distance ? ?A), (lives ?A)]
	Never True: []
	Sometimes True: [(level ?A), (junctionSafety ? ?A)]
(lives (level ?A)):
	Always True: [(level ?A), (lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(lives ?A):
	Always True: [(lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (junctionSafety ? ?A)]
(lives (junctionSafety ? ?A)):
	Always True: [(lives ?A), (junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A)]
(powerDot ?A):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(score ?A):
	Always True: [(score ?A)]
	Never True: []
	Sometimes True: [(highScore ?A), (distance ? ?A), (junctionSafety ? ?A)]
(score (highScore ?A)):
	Always True: [(score ?A), (highScore ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(score (distance ? ?A)):
	Always True: [(score ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(highScore ?A), (junctionSafety ? ?A)]
(score (junctionSafety ? ?A)):
	Always True: [(score ?A), (highScore ?A), (distance ? ?A), (junctionSafety ? ?A)]
	Never True: []
	Sometimes True: []
(thing (ghostCentre ?A)):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (junction ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(thing (blinking ?A)):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(thing (dot ?A)):
	Always True: [(dot ?A), (distance ?A ?), (thing ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (junction ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(thing (powerDot ?A)):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (junction ?A), (dot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(thing (edible ?A)):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(thing (ghost ?A)):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(thing ?A):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (blinking (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (blinking (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (blinking (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (blinking (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(blinking ?A)]
	Sometimes True: []
(not (blinking ?A)):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A)]
	Sometimes True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (blinking (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(blinking ?A)]
	Sometimes True: [(edible ?A)]
(not (distance ? (score ?B))):
	Always True: [(score ?B)]
	Never True: []
	Sometimes True: [(highScore ?B)]
(not (distance ? (junctionSafety ? ?B))):
	Always True: [(junctionSafety ? ?B)]
	Never True: []
	Sometimes True: [(level ?B), (lives ?B)]
(not (distance ? (highScore ?B))):
	Always True: [(highScore ?B)]
	Never True: []
	Sometimes True: [(score ?B)]
(not (distance ? (level ?B))):
	Always True: [(level ?B)]
	Never True: []
	Sometimes True: [(junctionSafety ? ?B), (lives ?B)]
(not (distance ? ?B)):
	Always True: []
	Never True: []
	Sometimes True: [(score ?B), (junctionSafety ? ?B), (highScore ?B)]
(not (distance ? (lives ?B))):
	Always True: [(lives ?B)]
	Never True: []
	Sometimes True: [(junctionSafety ? ?B), (level ?B)]
(not (dot (junctionSafety ?A ?))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (dot (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (dot (blinking ?A))):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(not (dot (junction ?A))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (dot (distance ?A ?))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (dot (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (dot (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(not (dot (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(not (dot (thing ?A))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (dot ?A)):
	Always True: []
	Never True: [(dot ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ?A ?), (ghostCentre ?A), (blinking ?A), (junction ?A), (distance ?A ?), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A)]
(not (edible (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (edible (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (edible (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A), (ghost ?A)]
	Sometimes True: []
(not (edible (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A)]
	Sometimes True: []
(not (edible ?A)):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (edible ?A)]
	Sometimes True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A)]
(not (fruit (junctionSafety ?A ?))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit ?A)):
	Always True: []
	Never True: [(fruit ?A)]
	Sometimes True: [(junctionSafety ?A ?), (ghostCentre ?A), (blinking ?A), (junction ?A), (distance ?A ?), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A)]
(not (fruit (blinking ?A))):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit (junction ?A))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit (distance ?A ?))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (fruit (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (fruit (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(not (fruit (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(not (fruit (thing ?A))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (ghost (junctionSafety ?A ?))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (ghost (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (junction ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (ghost ?A)):
	Always True: []
	Never True: [(blinking ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ?A ?), (ghostCentre ?A), (junction ?A), (distance ?A ?), (dot ?A), (powerDot ?A), (thing ?A)]
(not (ghost (junction ?A))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (ghost (distance ?A ?))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (junction ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (dot ?A), (powerDot ?A)]
(not (ghost (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (junction ?A), (powerDot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (ghost (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (junction ?A), (dot ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (ghost (thing ?A))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(blinking ?A), (junction ?A), (edible ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (dot ?A), (powerDot ?A)]
(not (ghostCentre (junctionSafety ?A ?))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (ghostCentre (blinking ?A))):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(not (ghostCentre (junction ?A))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (ghostCentre ?A)):
	Always True: []
	Never True: [(ghostCentre ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ?A ?), (blinking ?A), (junction ?A), (distance ?A ?), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A)]
(not (ghostCentre (distance ?A ?))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (ghostCentre (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (ghostCentre (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (ghostCentre (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(not (ghostCentre (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(not (ghostCentre (thing ?A))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (highScore (score ?A))):
	Always True: [(score ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A)]
(not (highScore (distance ? ?A))):
	Always True: [(distance ? ?A)]
	Never True: []
	Sometimes True: [(score ?A), (level ?A), (lives ?A), (junctionSafety ? ?A)]
(not (highScore (level ?A))):
	Always True: [(level ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (lives ?A), (junctionSafety ? ?A)]
(not (highScore (lives ?A))):
	Always True: [(lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (junctionSafety ? ?A)]
(not (highScore (junctionSafety ? ?A))):
	Always True: [(junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (lives ?A)]
(not (highScore ?A)):
	Always True: []
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (lives ?A), (junctionSafety ? ?A)]
(not (junction (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (junction ?A)):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A)]
(not (junction (blinking ?A))):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(not (junction (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (junction (powerDot ?A))):
	Always True: [(distance ?A ?), (powerDot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (junction (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(not (junction (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(not (junctionSafety ? (score ?B))):
	Always True: [(score ?B)]
	Never True: []
	Sometimes True: [(highScore ?B), (distance ? ?B)]
(not (junctionSafety ? ?B)):
	Always True: []
	Never True: []
	Sometimes True: [(score ?B), (highScore ?B), (distance ? ?B), (level ?B), (lives ?B)]
(not (junctionSafety ? (highScore ?B))):
	Always True: [(highScore ?B)]
	Never True: []
	Sometimes True: [(score ?B), (distance ? ?B)]
(not (junctionSafety ? (level ?B))):
	Always True: [(level ?B)]
	Never True: []
	Sometimes True: [(distance ? ?B), (lives ?B)]
(not (junctionSafety ? (distance ? ?B))):
	Always True: [(distance ? ?B)]
	Never True: []
	Sometimes True: [(score ?B), (highScore ?B), (level ?B), (lives ?B)]
(not (junctionSafety ? (lives ?B))):
	Always True: [(lives ?B)]
	Never True: []
	Sometimes True: [(distance ? ?B), (level ?B)]
(not (level (score ?A))):
	Always True: [(score ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(highScore ?A), (junctionSafety ? ?A)]
(not (level (highScore ?A))):
	Always True: [(score ?A), (highScore ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(junctionSafety ? ?A)]
(not (level (distance ? ?A))):
	Always True: [(distance ? ?A)]
	Never True: []
	Sometimes True: [(score ?A), (highScore ?A), (lives ?A), (junctionSafety ? ?A)]
(not (level (lives ?A))):
	Always True: [(lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(not (level (junctionSafety ? ?A))):
	Always True: [(junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(score ?A), (distance ? ?A), (highScore ?A), (lives ?A)]
(not (level ?A)):
	Always True: []
	Never True: []
	Sometimes True: [(score ?A), (distance ? ?A), (highScore ?A), (lives ?A), (junctionSafety ? ?A)]
(not (lives ?A)):
	Always True: []
	Never True: []
	Sometimes True: [(score ?A), (distance ? ?A), (highScore ?A), (level ?A), (junctionSafety ? ?A)]
(not (lives (score ?A))):
	Always True: [(score ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(highScore ?A), (junctionSafety ? ?A)]
(not (lives (highScore ?A))):
	Always True: [(score ?A), (highScore ?A), (distance ? ?A)]
	Never True: []
	Sometimes True: [(junctionSafety ? ?A)]
(not (lives (distance ? ?A))):
	Always True: [(distance ? ?A)]
	Never True: []
	Sometimes True: [(score ?A), (highScore ?A), (level ?A), (junctionSafety ? ?A)]
(not (lives (level ?A))):
	Always True: [(level ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (junctionSafety ? ?A)]
(not (lives (junctionSafety ? ?A))):
	Always True: [(junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(score ?A), (distance ? ?A), (highScore ?A), (level ?A)]
(not (powerDot (junctionSafety ?A ?))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (powerDot (ghostCentre ?A))):
	Always True: [(ghostCentre ?A), (distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (dot ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (powerDot ?A)):
	Always True: []
	Never True: [(powerDot ?A), (fruit ?A)]
	Sometimes True: [(junctionSafety ?A ?), (ghostCentre ?A), (blinking ?A), (junction ?A), (distance ?A ?), (dot ?A), (edible ?A), (ghost ?A), (thing ?A)]
(not (powerDot (blinking ?A))):
	Always True: [(blinking ?A), (distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: []
(not (powerDot (junction ?A))):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (dot ?A), (powerDot ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []
(not (powerDot (distance ?A ?))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (edible ?A), (ghost ?A)]
(not (powerDot (dot ?A))):
	Always True: [(distance ?A ?), (dot ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (powerDot ?A), (ghost ?A), (fruit ?A)]
	Sometimes True: []
(not (powerDot (edible ?A))):
	Always True: [(distance ?A ?), (edible ?A), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A)]
(not (powerDot (ghost ?A))):
	Always True: [(distance ?A ?), (ghost ?A), (thing ?A)]
	Never True: [(ghostCentre ?A), (junction ?A), (dot ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(blinking ?A), (edible ?A)]
(not (powerDot (thing ?A))):
	Always True: [(distance ?A ?), (thing ?A)]
	Never True: [(junction ?A), (powerDot ?A), (fruit ?A)]
	Sometimes True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (edible ?A), (ghost ?A)]
(not (score ?A)):
	Always True: []
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (lives ?A), (junctionSafety ? ?A)]
(not (score (highScore ?A))):
	Always True: [(highScore ?A)]
	Never True: []
	Sometimes True: []
(not (score (distance ? ?A))):
	Always True: [(distance ? ?A)]
	Never True: []
	Sometimes True: [(level ?A), (lives ?A), (junctionSafety ? ?A)]
(not (score (level ?A))):
	Always True: [(level ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (lives ?A), (junctionSafety ? ?A)]
(not (score (lives ?A))):
	Always True: [(lives ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (junctionSafety ? ?A)]
(not (score (junctionSafety ? ?A))):
	Always True: [(junctionSafety ? ?A)]
	Never True: []
	Sometimes True: [(distance ? ?A), (level ?A), (lives ?A)]
(not (thing ?A)):
	Always True: [(junctionSafety ?A ?), (junction ?A)]
	Never True: [(ghostCentre ?A), (blinking ?A), (dot ?A), (powerDot ?A), (edible ?A), (ghost ?A), (thing ?A), (fruit ?A)]
	Sometimes True: []

Background Knowledge
(junction ?A) <=> (junctionSafety ?A ?)
(junction ?A) <=> (not (thing ?A))
(thing ?A) <=> (distance ?A ?)
(thing ?A) <=> (not (junction ?A))
(dot ?A) => (thing ?A)
(dot ?A) => (not (ghost ?A))
(dot ?A) => (not (ghostCentre ?A))
(dot ?A) => (not (powerDot ?A))
(ghost ?A) => (thing ?A)
(ghost ?A) => (not (dot ?A))
(ghost ?A) => (not (ghostCentre ?A))
(ghost ?A) => (not (powerDot ?A))
(ghostCentre ?A) => (thing ?A)
(ghostCentre ?A) => (not (dot ?A))
(ghostCentre ?A) => (not (ghost ?A))
(ghostCentre ?A) => (not (powerDot ?A))
(junction ?A) => (not (dot ?A))
(junction ?A) => (not (ghost ?A))
(junction ?A) => (not (ghostCentre ?A))
(junction ?A) => (not (powerDot ?A))
(powerDot ?A) => (thing ?A)
(powerDot ?A) => (not (dot ?A))
(powerDot ?A) => (not (ghost ?A))
(powerDot ?A) => (not (ghostCentre ?A))
(blinking ?A) => (ghost ?A)
(blinking ?A) => (thing ?A)
(blinking ?A) => (edible ?A)
(edible ?A) => (ghost ?A)
(edible ?A) => (thing ?A)
(highScore ?A) (not (level ?A)) => (score ?A)
(highScore ?A) (not (level ?A)) => (distance ? ?A)
(highScore ?A) (not (lives ?A)) => (score ?A)
(highScore ?A) (not (lives ?A)) => (distance ? ?A)
(score ?A) (not (level ?A)) => (distance ? ?A)
(score ?A) (not (lives ?A)) => (distance ? ?A)
(distance ?A ?B) => (distance ? ?B)
(junctionSafety ?A ?B) => (junctionSafety ? ?B)
(not (blinking ?A)) => (thing ?A)
(not (blinking ?A)) => (distance ?A ?)
(not (edible ?A)) => (thing ?A)
(not (edible ?A)) => (distance ?A ?)

Global Invariants
Specific Invariants: []
General Invariants: [distance, ghost, ghostCentre, highScore, junction, junctionSafety, level, lives, score, thing]
General Variants: [blinking, dot, edible, powerDot]
Never Present: [fruit]
Invariants count: 360

Observed ranges
(lives (0.0 <= ?#_R <= 2.0)), (score (0.0 <= ?#_R <= 13110.0)), (distance ? (0.0 <= ?#_R <= 52.0)), (level (1.0 <= ?#_R <= 5.0)), (highScore (0.0 <= ?#_R <= 26630.0)), (junctionSafety ? (-12.0 <= ?#_R <= 28.0))