module cut_examples2.

  p :- a, b, c.
  b :- d, e, !, f.
  b :- g, h.
  a.
  d.
  e.
  c.
  g.
  h.