o1 { a v -b :- c, not d. }

o2 : o1 { -a v c.
          b.
          c :- b. }