m:forall

Element Information

Model

Source

<xs:element name="forall" substitutionGroup="m:quantifier.class"/>

Sample