(i "MB")
(r 0 1)
(s 0 1)
(c 0 1 '(oGR))  ;create a subgoal for operator oGR
(r 1 1)
(s 1 1)
(s 1 2)
(m 1 1)
(s 1 1)
(s 1 2)
(m 1 2)
(s 1 2)
(x)
