public static IDisjunct simplify ( IDisjunct disjunct ) { IAssertion assertion = toAssertion ( disjunct ) ; return assertion == null ? disjunct : assertion ; }
Returns the simple form of the given disjunction .