group Content-logic.class
diagram
version
namespace http://www.w3.org/1998/Math/MathML
children and or xor not exists forall implies
used by
{}:ContExpr.class
source <xsd:group name="Content-logic.class">
<xsd:choice>
<xsd:element ref="and">
</xsd:element>
<xsd:element ref="or">
</xsd:element>
<xsd:element ref="xor">
</xsd:element>
<xsd:element ref="not">
</xsd:element>
<xsd:element ref="exists">
</xsd:element>
<xsd:element ref="forall">
</xsd:element>
<xsd:element ref="implies">
</xsd:element>
</xsd:choice>
</xsd:group>