You are not logged in. login register
Game duplicatestatemedium
name duplicatestatemedium
creator admin
number of roles 1
stylesheet generic/generic.xsl
GDL v1
enabled
matches show matches
statistics show game statistics
description

Game Description

; duplicatestatemedium
(role robot)
(init (depth level1))
(init (prev-goal 0))
(<= (legal robot (move ?direction))
    (direction ?direction))
(<= (next (choice ?x ?y))
    (true (choice ?x ?y)))
(<= (next (depth ?y))
    (true (depth ?x))
    (succ ?x ?y))
(<= (next (choice ?d ?x))
    (does robot (move ?x))
    (true (depth ?d))
    move-distinguished)
(<= (next (choice ?d generic))
    (true (depth ?d))
    (not move-distinguished))
(<= (next (prev-goal ?x))
    (state-goal ?x))
(<= (next (prev-goal ?x))
    (not goal-defined)
    (true (prev-goal ?x)))
(<= goal-defined
    (state-goal ?x))
(<= (goal robot ?g)
    (state-goal ?g))
(<= (goal robot ?g)
    (not goal-defined)
    (true (prev-goal ?g)))
(<= (state-goal 11)
    (true (choice level1 c3))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 22)
    (true (choice level1 c4))
    (true (choice level2 c1))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 33)
    (true (choice level1 c3))
    (true (choice level2 c3))
    (true (choice level3 c2))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 44)
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c3))
    (true (choice level4 c4))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 55)
    (true (choice level1 c2))
    (true (choice level2 c2))
    (true (choice level3 c2))
    (true (choice level4 c3))
    (true (choice level5 c4))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 66)
    (true (choice level1 c4))
    (true (choice level2 c4))
    (true (choice level3 c1))
    (true (choice level4 c4))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c3)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c1)))
    (not (true (choice level3 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 77)
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (true (choice level4 c1))
    (true (choice level5 c3))
    (true (choice level6 c1))
    (true (choice level7 c1))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level2 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2)))
    (not (true (choice level3 c4)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 88)
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (true (choice level7 c3))
    (true (choice level8 c2))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level3 c3)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level5 c4)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level4 c4)))
    (not (true (choice level1 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c2)))
    (not (true (choice level4 c4)))
    (not (true (choice level5 c4)))
    (not (true (choice level6 c3)))
    (not (true (choice level7 c2)))
    (not (true (choice level8 c4)))
    (not (true (choice level9 c3))))
(<= (state-goal 100)
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (true (choice level6 c3))
    (true (choice level7 c2))
    (true (choice level8 c4))
    (true (choice level9 c3))
    (not (true (choice level1 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level1 c3)))
    (not (true (choice level2 c3)))
    (not (true (choice level3 c2)))
    (not (true (choice level1 c3)))
    (not (true (choice level3 c3)))
    (not (true (choice level2 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c3)))
    (not (true (choice level1 c4)))
    (not (true (choice level2 c4)))
    (not (true (choice level3 c1)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level3 c2)))
    (not (true (choice level4 c1)))
    (not (true (choice level5 c3)))
    (not (true (choice level6 c1)))
    (not (true (choice level7 c1)))
    (not (true (choice level1 c3)))
    (not (true (choice level4 c3)))
    (not (true (choice level5 c1)))
    (not (true (choice level6 c2)))
    (not (true (choice level7 c3)))
    (not (true (choice level8 c2))))
(<= terminal
    (true (depth level10)))
(succ level1 level2)
(succ level2 level3)
(succ level3 level4)
(succ level4 level5)
(succ level5 level6)
(succ level6 level7)
(succ level7 level8)
(succ level8 level9)
(succ level9 level10)
(direction c1)
(direction c2)
(direction c3)
(direction c4)
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c3))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c4))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (not (distinct ?dir c1))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c3))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (not (distinct ?dir c3))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c3))
    (not (distinct ?dir c2))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c3))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (not (distinct ?dir c1))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (not (distinct ?dir c3))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c3))
    (not (distinct ?dir c4))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c2))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (not (distinct ?dir c2))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c2))
    (not (distinct ?dir c2))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c2))
    (true (choice level3 c2))
    (not (distinct ?dir c3))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c2))
    (true (choice level3 c2))
    (true (choice level4 c3))
    (not (distinct ?dir c4))
    (not (distinct ?lev level5)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c4))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (not (distinct ?dir c4))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (true (choice level2 c4))
    (not (distinct ?dir c1))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (true (choice level2 c4))
    (true (choice level3 c1))
    (not (distinct ?dir c4))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (true (choice level2 c4))
    (true (choice level3 c1))
    (true (choice level4 c4))
    (not (distinct ?dir c1))
    (not (distinct ?lev level5)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c4))
    (true (choice level2 c4))
    (true (choice level3 c1))
    (true (choice level4 c4))
    (true (choice level5 c1))
    (not (distinct ?dir c2))
    (not (distinct ?lev level6)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c2))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (not (distinct ?dir c1))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (not (distinct ?dir c2))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (not (distinct ?dir c1))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (true (choice level4 c1))
    (not (distinct ?dir c3))
    (not (distinct ?lev level5)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (true (choice level4 c1))
    (true (choice level5 c3))
    (not (distinct ?dir c1))
    (not (distinct ?lev level6)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c2))
    (true (choice level4 c1))
    (true (choice level5 c3))
    (true (choice level6 c1))
    (not (distinct ?dir c1))
    (not (distinct ?lev level7)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c3))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (not (distinct ?dir c1))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (not (distinct ?dir c4))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (not (distinct ?dir c3))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (not (distinct ?dir c1))
    (not (distinct ?lev level5)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (true (choice level5 c1))
    (not (distinct ?dir c2))
    (not (distinct ?lev level6)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (not (distinct ?dir c3))
    (not (distinct ?lev level7)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c3))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c3))
    (true (choice level5 c1))
    (true (choice level6 c2))
    (true (choice level7 c3))
    (not (distinct ?dir c2))
    (not (distinct ?lev level8)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (not (distinct ?dir c2))
    (not (distinct ?lev level1)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (not (distinct ?dir c1))
    (not (distinct ?lev level2)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (not (distinct ?dir c4))
    (not (distinct ?lev level3)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (not (distinct ?dir c4))
    (not (distinct ?lev level4)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (not (distinct ?dir c4))
    (not (distinct ?lev level5)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (not (distinct ?dir c3))
    (not (distinct ?lev level6)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (true (choice level6 c3))
    (not (distinct ?dir c2))
    (not (distinct ?lev level7)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (true (choice level6 c3))
    (true (choice level7 c2))
    (not (distinct ?dir c4))
    (not (distinct ?lev level8)))
(<= move-distinguished
    (does robot (move ?dir))
    (true (depth ?lev))
    (true (choice level1 c2))
    (true (choice level2 c1))
    (true (choice level3 c4))
    (true (choice level4 c4))
    (true (choice level5 c4))
    (true (choice level6 c3))
    (true (choice level7 c2))
    (true (choice level8 c4))
    (not (distinct ?dir c3))
    (not (distinct ?lev level9)))

sees_XML(...) rules

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