minimal models disjunctive minimal model state MS extended generalized closed world assumption EGCWA general minimal model state
Help