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