(HORN-CLAUSES
  S(a)
)
(RULES
  a -> b | S(a)
)