| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
Logical language: Logical uniqueness quantifier. Proposes the existence of an unique element.
Nested Element Summary | |
| FORMULATYPE |
| FORMULATYPE |
| VAR |
<xs:element name="EXISTSU" substitutionGroup="FORMULATYPE"><xs:complexType></xs:element><xs:sequence></xs:complexType>
</xs:sequence>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |