(role you)
(opposite left right)
(opposite right left)
(init (you left))
(init (at c left))
(init (at g left))
(init (at w left))
(<= (legal you (take ?x))
(true (you ?side))
(true (at ?x ?side)))
(legal you (take nothing))
(<= (next (you ?new))
(true (you ?old))
(opposite ?new ?old))
(<= (next (at ?x ?new))
(does you (take ?x))
(true (at ?x ?old))
(opposite ?new ?old))
(<= (next (at ?x ?old))
(true (at ?x ?old))
(not (does you (take ?x))))
(<= terminal
good)
(<= terminal
bad)
(<= (goal you 100)
good)
(<= (goal you 0)
bad)
(<= good
(true (at c right))
(true (at g right))
(true (at w right)))
(<= bad
(true (at c ?side))
(true (at g ?side))
(not (true (you ?side))))
(<= bad
(true (at g ?side))
(true (at w ?side))
(not (true (you ?side))))
Hint: There are 4 possible moves.
Hint: No matter which move you take, the resulting state again contains 4 features.
Use the knowledge you gained from the previous two tasks to draw the entire state transition system for the game.