Game Description

(role row)
(role column)

(init (reward r1 c1  90  90))
(init (reward r1 c2  40  30))
(init (reward r1 c3  20  80))
(init (reward r2 c1  30  40))
(init (reward r2 c2   0   0))
(init (reward r2 c3  50 100))
(init (reward r3 c1  80  20))
(init (reward r3 c2 100  50))
(init (reward r3 c3  10  10))

(<= (legal row ?m1)
	(true (reward ?m1 ?m2 ?r1 ?r2)))
(<= (legal column ?m2)
	(true (reward ?m1 ?m2 ?r1 ?r2)))

(<= (next (did ?p ?m))
	(does ?p ?m))

(<= (next (reward ?m1 ?m2 ?r1 ?r2))
	(true (reward ?m1 ?m2 ?r1 ?r2)))
	
(<= (goal row ?r1)
	(true (did row ?m1))
	(true (did column ?m2))
	(true (reward ?m1 ?m2 ?r1 ?r2)))

(<= (goal column ?r2)
	(true (did row ?m1))
	(true (did column ?m2))
	(true (reward ?m1 ?m2 ?r1 ?r2)))

(<= terminal
	(true (did ?p ?m)))

sees_XML(...) rules

(<= (sees_xml random ?t) (true ?t))
(<= (sees_xml ?p ?t) (role ?p) (distinct ?p random) (true ?t))