(i "MB")   ; only subgoal creation for operators
(r 0 1)
(p 0)
(c 0 1 '(oGR))
(r 1 1)
(p 1)
(c 1 1 '(oPB))
(c 1 2 '(oCL))
(r 2 1)
(s 2 1)
(r 3 1)
(s 3 1)
(x)
