Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
5413 lines (5412 sloc) 135 KB
<?xml version="1.0" encoding="UTF-8"?>
<xns1:grammar xmlns:xns1="http://planet-sl.org/bgf">
<xns1:production>
<nonterminal>Actuality</nonterminal>
<xns1:expression>
<nonterminal>Representation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StateOfAffairs</nonterminal>
<xns1:expression>
<nonterminal>Actuality</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>StateOfAffairs</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>BindableTarget</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>SemanticFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Namespace</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>RoleBinding</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>BodyOfSharedConcepts</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>BodyOfSharedGuidance</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>CategorizationScheme</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Community</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>ConceptualSchema</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>FactModel</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Language</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>LevelOfEnforcement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Res</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Situation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>SubjectField</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>TerminologicalDictionary</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<nonterminal>Viewpoint</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Thing</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Name</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>implicitlyIsUnderstood</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>signifier</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>Placeholder</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>FactSymbol</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>FactTypeRoleDesignation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>NonverbalDesignation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>PreferredDesignation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>ProhibitedDesignation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<nonterminal>Term</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Designation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>implicitlyIsUnderstood</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>signifier</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Statement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>FactTypeForm</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>CommunicationContent</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Description</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>DescriptiveExample</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>FormalRepresentation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>InformalRepresentation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Note</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<nonterminal>Reference</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Representation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Meaning</nonterminal>
<xns1:expression>
<nonterminal>Proposition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Meaning</nonterminal>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Meaning</nonterminal>
<xns1:expression>
<nonterminal>Question</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Meaning</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>representation</selector>
<xns1:expression>
<nonterminal>Representation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Expression</nonterminal>
<xns1:expression>
<nonterminal>Text</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BindableTarget</nonterminal>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BindableTarget</nonterminal>
<xns1:expression>
<nonterminal>Variable</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BindableTarget</nonterminal>
<xns1:expression>
<nonterminal>IndividualConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BindableTarget</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>Variable</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdoptedDefinition</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Definition</nonterminal>
<xns1:expression>
<nonterminal>AdoptedDefinition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Definition</nonterminal>
<xns1:expression>
<nonterminal>IntensionalDefinition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Definition</nonterminal>
<xns1:expression>
<nonterminal>ExtensionalDefinition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Definition</nonterminal>
<xns1:expression>
<nonterminal>OwnedDefinition</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Definition</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>AdoptedDefinition</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>IntensionalDefinition</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ExtensionalDefinition</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>OwnedDefinition</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Advice</nonterminal>
<xns1:expression>
<nonterminal>AdviceOfPossibility</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Advice</nonterminal>
<xns1:expression>
<nonterminal>AdviceOfPermission</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Advice</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>AdviceOfPossibility</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>AdviceOfPermission</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGuidance</nonterminal>
<xns1:expression>
<nonterminal>Advice</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGuidance</nonterminal>
<xns1:expression>
<nonterminal>ElementOfGovernance</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGuidance</nonterminal>
<xns1:expression>
<nonterminal>BusinessRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGuidance</nonterminal>
<xns1:expression>
<selectable>
<selector>isPracticable</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Proposition</nonterminal>
<xns1:expression>
<nonterminal>ElementOfGuidance</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Proposition</nonterminal>
<xns1:expression>
<nonterminal>Rule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Proposition</nonterminal>
<xns1:expression>
<nonterminal>Fact</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Proposition</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>isFalse</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>statement</selector>
<xns1:expression>
<nonterminal>Statement</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isPossiblyTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isObligatedToBeTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isPermittedToBeTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isNecessarilyTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Statement</nonterminal>
<xns1:expression>
<nonterminal>GuidanceStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceOfContingency</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceOfPossibility</nonterminal>
<xns1:expression>
<nonterminal>AdviceOfContingency</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceOfOptionality</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceOfPermission</nonterminal>
<xns1:expression>
<nonterminal>AdviceOfOptionality</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceStatement</nonterminal>
<xns1:expression>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceStatement</nonterminal>
<xns1:expression>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AdviceStatement</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>GuidanceStatement</nonterminal>
<xns1:expression>
<nonterminal>AdviceStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>GuidanceStatement</nonterminal>
<xns1:expression>
<nonterminal>BusinessPolicyStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>GuidanceStatement</nonterminal>
<xns1:expression>
<nonterminal>RuleStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>GuidanceStatement</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>AdviceStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>BusinessPolicyStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>RuleStatement</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AggregationFormulation</nonterminal>
<xns1:expression>
<selectable>
<selector>projection</selector>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<nonterminal>AggregationFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<nonterminal>AnswerNominalization</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<nonterminal>FactTypeNominalization</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<nonterminal>NounConceptNominalization</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<nonterminal>QuestionNominalization</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ProjectingFormulation</nonterminal>
<xns1:expression>
<selectable>
<selector>projection</selector>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>ProjectingFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>Quantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>AtomicFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>LogicalOperation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>InstantiationFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>ModalFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>Objectification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>PropositionNominalization</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<nonterminal>ClosedLogicalFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulation</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>ProjectingFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>Quantification</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>AtomicFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>LogicalOperation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>InstantiationFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ModalFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>Objectification</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>PropositionNominalization</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SemanticFormulation</nonterminal>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SemanticFormulation</nonterminal>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SemanticFormulation</nonterminal>
<xns1:expression>
<nonterminal>ClosedSemanticFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SemanticFormulation</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ClosedSemanticFormulation</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Projection</nonterminal>
<xns1:expression>
<nonterminal>BagProjection</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Projection</nonterminal>
<xns1:expression>
<nonterminal>ClosedProjection</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Projection</nonterminal>
<xns1:expression>
<nonterminal>SetProjection</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Projection</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>constrainingFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>projectionVariable</selector>
<xns1:expression>
<nonterminal>Variable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>auxiliaryVariable</selector>
<xns1:expression>
<nonterminal>AuxiliaryVariable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Variable</nonterminal>
<xns1:expression>
<nonterminal>AuxiliaryVariable</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Variable</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>restrictingFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>projectionPosition</selector>
<xns1:expression>
<nonterminal>PositiveInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>rangedoverConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isUnitary</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>PositiveInteger</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NonnegativeInteger</nonterminal>
<xns1:expression>
<nonterminal>PositiveInteger</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Integer</nonterminal>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Integer</nonterminal>
<xns1:expression>
<selectable>
<selector>value</selector>
<xns1:expression>
<nonterminal>integer</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Number</nonterminal>
<xns1:expression>
<nonterminal>Integer</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantity</nonterminal>
<xns1:expression>
<nonterminal>Number</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConcept</nonterminal>
<xns1:expression>
<nonterminal>Quantity</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConcept</nonterminal>
<xns1:expression>
<nonterminal>Role</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConcept</nonterminal>
<xns1:expression>
<nonterminal>ContextualizedConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConcept</nonterminal>
<xns1:expression>
<nonterminal>IndividualConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConcept</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>Quantity</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>Role</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ContextualizedConcept</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>NounConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>FactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>CategorizationType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ObjectType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsComposite</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsContinuant</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsDeveloped</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsOccurrent</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsPrimitive</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingAsUnitary</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingExistingDependently</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>ConceptOfThingExistingIndependently</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<nonterminal>DerivableConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Concept</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AttributiveNamespace</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>uri</selector>
<xns1:expression>
<nonterminal>Uri</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Namespace</nonterminal>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Namespace</nonterminal>
<xns1:expression>
<nonterminal>VocabularyNamespace</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Namespace</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>uri</selector>
<xns1:expression>
<nonterminal>Uri</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Uri</nonterminal>
<xns1:expression>
<selectable>
<selector>value</selector>
<xns1:expression>
<nonterminal>String</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Text</nonterminal>
<xns1:expression>
<nonterminal>Uri</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Text</nonterminal>
<xns1:expression>
<selectable>
<selector>value</selector>
<xns1:expression>
<nonterminal>String</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Characteristic</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>factTypeForm</selector>
<xns1:expression>
<nonterminal>FactTypeForm</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>role</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>AssociativeFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>AssortmentFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>BinaryFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>SpecializationFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<nonterminal>IsroleofFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactType</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>factTypeForm</selector>
<xns1:expression>
<nonterminal>FactTypeForm</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>role</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeForm</nonterminal>
<xns1:expression>
<nonterminal>NounForm</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeForm</nonterminal>
<xns1:expression>
<nonterminal>SententialForm</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeForm</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>placeholder</selector>
<xns1:expression>
<nonterminal>Placeholder</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Placeholder</nonterminal>
<xns1:expression>
<selectable>
<selector>startingCharacterPosition</selector>
<xns1:expression>
<nonterminal>PositiveInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeRole</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>roleBinding</selector>
<xns1:expression>
<nonterminal>RoleBinding</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Role</nonterminal>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Role</nonterminal>
<xns1:expression>
<nonterminal>SituationalRole</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>RoleBinding</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ReferenceScheme</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>simplyUsedRole</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>identifyingCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>extensionallyUsedRole</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Set</nonterminal>
<xns1:expression>
<nonterminal>BodyOfSharedMeanings</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Set</nonterminal>
<xns1:expression>
<nonterminal>Vocabulary</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Set</nonterminal>
<xns1:expression>
<nonterminal>Rulebook</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Set</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>cardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>element</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AuxiliaryVariable</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>restrictingFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>projectionPosition</selector>
<xns1:expression>
<nonterminal>PositiveInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>rangedoverConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isUnitary</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AnswerNominalization</nonterminal>
<xns1:expression>
<selectable>
<selector>projection</selector>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AssociativeFactType</nonterminal>
<xns1:expression>
<nonterminal>IspropertyofFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AssortmentFactType</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>factTypeForm</selector>
<xns1:expression>
<nonterminal>FactTypeForm</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>role</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtleastnQuantification</nonterminal>
<xns1:expression>
<nonterminal>ExistentialQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtleastnQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>minimumCardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<nonterminal>AtleastnQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<nonterminal>AtmostnQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<nonterminal>ExactlynQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<nonterminal>NumericRangeQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<nonterminal>UniversalQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Quantification</nonterminal>
<xns1:expression>
<selectable>
<selector>scopeFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtmostnQuantification</nonterminal>
<xns1:expression>
<nonterminal>AtmostoneQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtmostnQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>maximumCardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtmostoneQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>maximumCardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>AtomicFormulation</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>roleBinding</selector>
<xns1:expression>
<nonterminal>RoleBinding</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BagProjection</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>constrainingFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>projectionVariable</selector>
<xns1:expression>
<nonterminal>Variable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>auxiliaryVariable</selector>
<xns1:expression>
<nonterminal>AuxiliaryVariable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryFactType</nonterminal>
<xns1:expression>
<nonterminal>PartitiveFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>Conjunction</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>Disjunction</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>Equivalence</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>ExclusiveDisjunction</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>Implication</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>NandFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>NorFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>WhetherornotFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BinaryLogicalOperation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>BinaryLogicalOperation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalOperation</nonterminal>
<xns1:expression>
<nonterminal>LogicalNegation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalOperation</nonterminal>
<xns1:expression>
<selectable>
<selector>logicalOperand</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BodyOfSharedConcepts</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BodyOfSharedGuidance</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BodyOfSharedMeanings</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>elementaryFactType</selector>
<xns1:expression>
<nonterminal>FactType</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessPolicy</nonterminal>
<xns1:expression>
<selectable>
<selector>isDirectlyEnforceable</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGovernance</nonterminal>
<xns1:expression>
<nonterminal>BusinessPolicy</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGovernance</nonterminal>
<xns1:expression>
<nonterminal>OperativeBusinessRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ElementOfGovernance</nonterminal>
<xns1:expression>
<selectable>
<selector>isDirectlyEnforceable</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessPolicyStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessRule</nonterminal>
<xns1:expression>
<nonterminal>StructuralBusinessRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessRule</nonterminal>
<xns1:expression>
<nonterminal>OperativeBusinessRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessRule</nonterminal>
<xns1:expression>
<selectable>
<selector>isPracticable</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Rule</nonterminal>
<xns1:expression>
<nonterminal>StructuralRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Rule</nonterminal>
<xns1:expression>
<nonterminal>BusinessRule</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>BusinessVocabulary</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Vocabulary</nonterminal>
<xns1:expression>
<nonterminal>BusinessVocabulary</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationFactType</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SpecializationFactType</nonterminal>
<xns1:expression>
<nonterminal>CategorizationFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SpecializationFactType</nonterminal>
<xns1:expression>
<nonterminal>ContextualizationFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>SpecializationFactType</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>CategorizationFactType</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ContextualizationFactType</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<nonterminal>Segmentation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<nonterminal>ExplicitnessOfRepresentation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<nonterminal>FactTypeTemplating</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<nonterminal>KindOfGuidanceStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<nonterminal>RealworldNumericalCorrespondence</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationScheme</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>Segmentation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ExplicitnessOfRepresentation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>FactTypeTemplating</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>KindOfGuidanceStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>RealworldNumericalCorrespondence</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CategorizationType</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CharacteristicType</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptType</nonterminal>
<xns1:expression>
<nonterminal>CharacteristicType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ObjectType</nonterminal>
<xns1:expression>
<nonterminal>ConceptType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ObjectType</nonterminal>
<xns1:expression>
<nonterminal>FundamentalConcept</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ObjectType</nonterminal>
<xns1:expression>
<nonterminal>LogicalFormulationKind</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ObjectType</nonterminal>
<xns1:expression>
<nonterminal>SituationalRole</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ObjectType</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationScheme</selector>
<xns1:expression>
<nonterminal>CategorizationScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationType</selector>
<xns1:expression>
<nonterminal>CategorizationType</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ClosedLogicalFormulation</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ClosedSemanticFormulation</nonterminal>
<xns1:expression>
<nonterminal>ClosedLogicalFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ClosedSemanticFormulation</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ClosedProjection</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>constrainingFormulation</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>projectionVariable</selector>
<xns1:expression>
<nonterminal>Variable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>auxiliaryVariable</selector>
<xns1:expression>
<nonterminal>AuxiliaryVariable</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>CommunicationContent</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Community</nonterminal>
<xns1:expression>
<nonterminal>SemanticCommunity</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Community</nonterminal>
<xns1:expression>
<nonterminal>SpeechCommunity</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Community</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>uri</selector>
<xns1:expression>
<nonterminal>Uri</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>subcommunity</selector>
<xns1:expression>
<nonterminal>Community</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsComposite</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsContinuant</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsDeveloped</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsOccurrent</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsPrimitive</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingAsUnitary</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingExistingDependently</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptOfThingExistingIndependently</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ConceptualSchema</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Conjunction</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ContextOfThing</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Segmentation</nonterminal>
<xns1:expression>
<nonterminal>ContextOfThing</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Segmentation</nonterminal>
<xns1:expression>
<nonterminal>RepresentationFormality</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Segmentation</nonterminal>
<xns1:expression>
<nonterminal>ThingInContext</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Segmentation</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>ContextOfThing</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>RepresentationFormality</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ThingInContext</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ContextualizationFactType</nonterminal>
<xns1:expression>
<nonterminal>IsfacetofFactType</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ContextualizedConcept</nonterminal>
<xns1:expression>
<nonterminal>Facet</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ContingencyStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
<xns1:expression>
<nonterminal>ContingencyStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
<xns1:expression>
<nonterminal>NonnecessityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
<xns1:expression>
<nonterminal>PossibilityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPossibility</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>ContingencyStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>NonnecessityStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>PossibilityStatement</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>DefiniteDescription</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>IntensionalDefinition</nonterminal>
<xns1:expression>
<nonterminal>DefiniteDescription</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>DerivableConcept</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>attributiveNamespace</selector>
<xns1:expression>
<nonterminal>AttributiveNamespace</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>definition</selector>
<xns1:expression>
<nonterminal>Definition</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>moreGeneralConcept</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>category</selector>
<xns1:expression>
<nonterminal>Concept</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>essentialCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>instance</selector>
<xns1:expression>
<nonterminal>Thing</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>referenceScheme</selector>
<xns1:expression>
<nonterminal>ReferenceScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>impliedCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>necessaryCharacteristic</selector>
<xns1:expression>
<nonterminal>Characteristic</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>designation</selector>
<xns1:expression>
<nonterminal>Designation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>extension</selector>
<xns1:expression>
<nonterminal>Set</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Description</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>DescriptiveExample</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Disjunction</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Equivalence</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExactlynQuantification</nonterminal>
<xns1:expression>
<nonterminal>ExactlyoneQuantification</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExactlynQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>cardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExactlyoneQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>cardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExclusiveDisjunction</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExistentialQuantification</nonterminal>
<xns1:expression>
<selectable>
<selector>minimumCardinality</selector>
<xns1:expression>
<nonterminal>NonnegativeInteger</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExplicitnessOfRepresentation</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ExtensionalDefinition</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Facet</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Fact</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>isFalse</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>statement</selector>
<xns1:expression>
<nonterminal>Statement</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isPossiblyTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isObligatedToBeTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isPermittedToBeTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>isNecessarilyTrue</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactModel</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactSymbol</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>implicitlyIsUnderstood</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>signifier</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeHasFactInFactModel</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>factType</selector>
<xns1:expression>
<nonterminal>FactType</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>fact</selector>
<xns1:expression>
<nonterminal>Fact</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>factModel</selector>
<xns1:expression>
<nonterminal>FactModel</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeNominalization</nonterminal>
<xns1:expression>
<selectable>
<selector>projection</selector>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeRoleDesignation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>implicitlyIsUnderstood</selector>
<xns1:expression>
<nonterminal>Boolean</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>signifier</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FactTypeTemplating</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FormalRepresentation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>FundamentalConcept</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationScheme</selector>
<xns1:expression>
<nonterminal>CategorizationScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationType</selector>
<xns1:expression>
<nonterminal>CategorizationType</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Icon</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NonverbalDesignation</nonterminal>
<xns1:expression>
<nonterminal>Icon</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Implication</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>consequent</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>antecedent</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ImpossibilityStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StructuralRuleStatement</nonterminal>
<xns1:expression>
<nonterminal>ImpossibilityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StructuralRuleStatement</nonterminal>
<xns1:expression>
<nonterminal>NecessityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StructuralRuleStatement</nonterminal>
<xns1:expression>
<nonterminal>RestrictedPossibilityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StructuralRuleStatement</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>ImpossibilityStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>NecessityStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>RestrictedPossibilityStatement</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>RuleStatement</nonterminal>
<xns1:expression>
<nonterminal>StructuralRuleStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>RuleStatement</nonterminal>
<xns1:expression>
<nonterminal>OperativeBusinessRuleStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>RuleStatement</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>StructuralRuleStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>OperativeBusinessRuleStatement</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>IndividualConcept</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>InformalRepresentation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>InstantiationFormulation</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>IsfacetofFactType</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>IspropertyofFactType</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>IsroleofFactType</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>factTypeForm</selector>
<xns1:expression>
<nonterminal>FactTypeForm</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>role</selector>
<xns1:expression>
<nonterminal>FactTypeRole</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>KindOfGuidanceStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Language</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LevelOfEnforcement</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>name</selector>
<xns1:expression>
<nonterminal>Name</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalFormulationKind</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationScheme</selector>
<xns1:expression>
<nonterminal>CategorizationScheme</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>categorizationType</selector>
<xns1:expression>
<nonterminal>CategorizationType</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>LogicalNegation</nonterminal>
<xns1:expression>
<selectable>
<selector>logicalOperand</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ModalFormulation</nonterminal>
<xns1:expression>
<nonterminal>NecessityFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ModalFormulation</nonterminal>
<xns1:expression>
<nonterminal>ObligationFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ModalFormulation</nonterminal>
<xns1:expression>
<nonterminal>PermissibilityFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ModalFormulation</nonterminal>
<xns1:expression>
<nonterminal>PossibilityFormulation</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>ModalFormulation</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>NecessityFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>ObligationFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>PermissibilityFormulation</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>PossibilityFormulation</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NandFormulation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NecessityFormulation</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NecessityStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NonnecessityStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NonobligationStatement</nonterminal>
<xns1:expression>
<epsilon/>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
<xns1:expression>
<nonterminal>NonobligationStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
<xns1:expression>
<nonterminal>OptionalityStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
<xns1:expression>
<nonterminal>PermissionStatement</nonterminal>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>StatementOfAdviceOfPermission</nonterminal>
<xns1:expression>
<choice>
<xns1:expression>
<nonterminal>NonobligationStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>OptionalityStatement</nonterminal>
</xns1:expression>
<xns1:expression>
<nonterminal>PermissionStatement</nonterminal>
</xns1:expression>
</choice>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NorFormulation</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand2</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>logicalOperand1</selector>
<xns1:expression>
<nonterminal>LogicalFormulation</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>Note</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>meaning</selector>
<xns1:expression>
<nonterminal>Meaning</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
<xns1:expression>
<selectable>
<selector>expression</selector>
<xns1:expression>
<nonterminal>Expression</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</sequence>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounConceptNominalization</nonterminal>
<xns1:expression>
<selectable>
<selector>projection</selector>
<xns1:expression>
<nonterminal>Projection</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NounForm</nonterminal>
<xns1:expression>
<plus>
<xns1:expression>
<selectable>
<selector>placeholder</selector>
<xns1:expression>
<nonterminal>Placeholder</nonterminal>
</xns1:expression>
</selectable>
</xns1:expression>
</plus>
</xns1:expression>
</xns1:production>
<xns1:production>
<nonterminal>NumericRangeQuantification</nonterminal>
<xns1:expression>
<sequence>
<xns1:expression>
<selectable>
<selector>maximumCardinality</selector>
<xns1:expression>