states

fun states(clause: Clause): Boolean

Whether clause is a fact stating a flag