Content-logic.class

Element Group Information

Model

and | or | xor | not | exists | forall | implies
Children: and, exists, forall, implies, not, or, xor

Used By

Element Group ContExpr.class

Source 

<xs:group name="Content-logic.class">
  <xs:choice>
    <xs:element ref="and"/>
    <xs:element ref="or"/>
    <xs:element ref="xor"/>
    <xs:element ref="not"/>
    <xs:element ref="exists"/>
    <xs:element ref="forall"/>
    <xs:element ref="implies"/>
  </xs:choice>
</xs:group>