possible models disjunctive possible model state negative possible model state general possible model state
Help