(role white)
(role black)
(init o1)
(legal white a)
(legal white b)
(legal black a)
(<= (next o2)
(does white a)
(true o1))
(<= (next o3)
(does white b)
(true o1))
(<= (goal white 0) (true o1))
(<= (goal white 10) (true o2))
(<= (goal white 90) (true o3))
(<= (goal black 0) (true o1))
(<= (goal black 90) (true o2))
(<= (goal black 10) (true o3))
(<= terminal (true o2))
(<= terminal (true o3))
