sig
  type disjunct
  val is_wp_semantics_true : News.Disjunct.disjunct -> bool
  val get_fact : News.Disjunct.disjunct -> Fact.fact
  val get_predicate : News.Disjunct.disjunct -> Predicate.predicate
  val get_complements : News.Disjunct.disjunct -> Fact.fact list
end