Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/sbvr/v1.0/xmi/extracted
Source used for this grammar: OMG, sbvrOMG.ecore, 2009
Actuality, StateOfAffairs, Thing, Name, Designation, Representation, Meaning, Expression, BindableTarget, AdoptedDefinition, Definition, Advice, ElementOfGuidance, Proposition, Statement, AdviceOfContingency, AdviceOfPossibility, AdviceOfOptionality, AdviceOfPermission, AdviceStatement, GuidanceStatement, AggregationFormulation, ProjectingFormulation, LogicalFormulation, SemanticFormulation, Projection, Variable, PositiveInteger, NonnegativeInteger, Integer, Number, Quantity, NounConcept, Concept, AttributiveNamespace, Namespace, Uri, Text, Characteristic, FactType, FactTypeForm, Placeholder, FactTypeRole, Role, RoleBinding, ReferenceScheme, Set, AuxiliaryVariable, AnswerNominalization, AssociativeFactType, AssortmentFactType, AtleastnQuantification, Quantification, AtmostnQuantification, AtmostoneQuantification, AtomicFormulation, BagProjection, BinaryFactType, BinaryLogicalOperation, LogicalOperation, BodyOfSharedConcepts, BodyOfSharedGuidance, BodyOfSharedMeanings, BusinessPolicy, ElementOfGovernance, BusinessPolicyStatement, BusinessRule, Rule, BusinessVocabulary, Vocabulary, CategorizationFactType, SpecializationFactType, CategorizationScheme, CategorizationType, CharacteristicType, ConceptType, ObjectType, ClosedLogicalFormulation, ClosedSemanticFormulation, ClosedProjection, CommunicationContent, Community, ConceptOfThingAsComposite, ConceptOfThingAsContinuant, ConceptOfThingAsDeveloped, ConceptOfThingAsOccurrent, ConceptOfThingAsPrimitive, ConceptOfThingAsUnitary, ConceptOfThingExistingDependently, ConceptOfThingExistingIndependently, ConceptualSchema, Conjunction, ContextOfThing, Segmentation, ContextualizationFactType, ContextualizedConcept, ContingencyStatement, StatementOfAdviceOfPossibility, DefiniteDescription, IntensionalDefinition, DerivableConcept, Description, DescriptiveExample, Disjunction, Equivalence, ExactlynQuantification, ExactlyoneQuantification, ExclusiveDisjunction, ExistentialQuantification, ExplicitnessOfRepresentation, ExtensionalDefinition, Facet, Fact, FactModel, FactSymbol, FactTypeHasFactInFactModel, FactTypeNominalization, FactTypeRoleDesignation, FactTypeTemplating, FormalRepresentation, FundamentalConcept, Icon, NonverbalDesignation, Implication, ImpossibilityStatement, StructuralRuleStatement, RuleStatement, IndividualConcept, InformalRepresentation, InstantiationFormulation, IsfacetofFactType, IspropertyofFactType, IsroleofFactType, KindOfGuidanceStatement, Language, LevelOfEnforcement, LogicalFormulationKind, LogicalNegation, ModalFormulation, NandFormulation, NecessityFormulation, NecessityStatement, NonnecessityStatement, NonobligationStatement, StatementOfAdviceOfPermission, NorFormulation, Note, NounConceptNominalization, NounForm, NumericRangeQuantification, Objectification, ObligationFormulation, ObligationStatement, OperativeBusinessRuleStatement, OperativeBusinessRule, OptionalityStatement, OwnedDefinition, PartitiveFactType, PermissibilityFormulation, PermissionStatement, PossibilityFormulation, PossibilityStatement, PreferredDesignation, ProhibitedDesignation, ProhibitionStatement, PropositionNominalization, Question, QuestionNominalization, RealworldNumericalCorrespondence, Reference, RepresentationFormality, Res, RestrictedPermissionStatement, RestrictedPossibilityStatement, Rulebook, SemanticCommunity, SpeechCommunity, SententialForm, SetProjection, Situation, SituationalRole, SpeechCommunityAdoptsAdoptedDefinitionCitingReference, StateOfAffairsInvolvesThingInRole, StructuralBusinessRule, StructuralRule, SubjectField, Term, TerminologicalDictionary, ThingInContext, UniversalQuantification, Viewpoint, VocabularyNamespace, WhetherornotFormulation, Boolean, String), 0 root (—), 3 top (FactTypeHasFactInFactModel, SpeechCommunityAdoptsAdoptedDefinitionCitingReference, StateOfAffairsInvolvesThingInRole), 1 bottom (integer).[name] 12, [implicitlyIsUnderstood] 7, [signifier] 7, [meaning] 8, [expression] 8, [representation] 2, [isPracticable] 2, [isFalse] 2, [isTrue] 2, [statement] 2, [isPossiblyTrue] 2, [isObligatedToBeTrue] 2, [isPermittedToBeTrue] 2, [isNecessarilyTrue] 2, [projection] 6, [constrainingFormulation] 4, [projectionVariable] 4, [auxiliaryVariable] 4, [restrictingFormulation] 2, [projectionPosition] 2, [rangedoverConcept] 2, [isUnitary] 2, [value] 3, [attributiveNamespace] 11, [definition] 11, [moreGeneralConcept] 11, [category] 11, [essentialCharacteristic] 11, [instance] 11, [referenceScheme] 11, [impliedCharacteristic] 11, [necessaryCharacteristic] 11, [designation] 11, [extension] 11, [uri] 6, [factTypeForm] 4, [role] 5, [placeholder] 3, [startingCharacterPosition], [roleBinding] 2, [simplyUsedRole], [identifyingCharacteristic], [extensionallyUsedRole], [cardinality] 4, [element] 2, [minimumCardinality] 3, [scopeFormulation] 2, [maximumCardinality] 3, [logicalOperand2] 7, [logicalOperand1] 7, [logicalOperand] 2, [elementaryFactType], [isDirectlyEnforceable] 2, [categorizationScheme] 4, [categorizationType] 4, [subcommunity] 2, [factType], [fact], [factModel], [consequent] 2, [antecedent], [levelOfEnforcement], [speechCommunity] 2, [adoptedDefinition], [reference], [stateOfAffairs], [thing], [inconsequent].Actuality ::= Representation
StateOfAffairs ::= Actuality
Thing ::= StateOfAffairs
Thing ::= Meaning
Thing ::= BindableTarget
Thing ::= SemanticFormulation
Thing ::= Namespace
Thing ::= RoleBinding
Thing ::= ReferenceScheme
Thing ::= Set
Thing ::= BodyOfSharedConcepts
Thing ::= BodyOfSharedGuidance
Thing ::= CategorizationScheme
Thing ::= Community
Thing ::= ConceptualSchema
Thing ::= FactModel
Thing ::= Language
Thing ::= LevelOfEnforcement
Thing ::= Res
Thing ::= Situation
Thing ::= SubjectField
Thing ::= TerminologicalDictionary
Thing ::= Viewpoint
Thing ::=
[name]::NameName ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
Designation ::= Name
Designation ::= Placeholder
Designation ::= FactSymbol
Designation ::= FactTypeRoleDesignation
Designation ::= NonverbalDesignation
Designation ::= PreferredDesignation
Designation ::= ProhibitedDesignation
Designation ::= Term
Designation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
Representation ::= Designation
Representation ::= Definition
Representation ::= Statement
Representation ::= FactTypeForm
Representation ::= CommunicationContent
Representation ::= Description
Representation ::= DescriptiveExample
Representation ::= FormalRepresentation
Representation ::= InformalRepresentation
Representation ::= Note
Representation ::= Reference
Representation ::= [meaning]::Meaning [expression]::Expression
Meaning ::= Proposition
Meaning ::= Concept
Meaning ::= Question
Meaning ::=
[representation]::RepresentationExpression ::= Text
BindableTarget ::= Expression
BindableTarget ::= Variable
BindableTarget ::= IndividualConcept
BindableTarget ::= Expression Variable
AdoptedDefinition ::= ε
Definition ::= AdoptedDefinition
Definition ::= IntensionalDefinition
Definition ::= ExtensionalDefinition
Definition ::= OwnedDefinition
Definition ::= AdoptedDefinition IntensionalDefinition ExtensionalDefinition OwnedDefinition
Advice ::= AdviceOfPossibility
Advice ::= AdviceOfPermission
Advice ::= AdviceOfPossibility AdviceOfPermission
ElementOfGuidance ::= Advice
ElementOfGuidance ::= ElementOfGovernance
ElementOfGuidance ::= BusinessRule
ElementOfGuidance ::= [isPracticable]::Boolean
Proposition ::= ElementOfGuidance
Proposition ::= Rule
Proposition ::= Fact
Proposition ::=
[isFalse]::Boolean [isTrue]::Boolean [statement]::Statement [isPossiblyTrue]::Boolean [isObligatedToBeTrue]::Boolean [isPermittedToBeTrue]::Boolean [isNecessarilyTrue]::BooleanStatement ::= GuidanceStatement
AdviceOfContingency ::= ε
AdviceOfPossibility ::= AdviceOfContingency
AdviceOfOptionality ::= ε
AdviceOfPermission ::= AdviceOfOptionality
AdviceStatement ::= StatementOfAdviceOfPossibility
AdviceStatement ::= StatementOfAdviceOfPermission
AdviceStatement ::= StatementOfAdviceOfPossibility StatementOfAdviceOfPermission
GuidanceStatement ::= AdviceStatement
GuidanceStatement ::= BusinessPolicyStatement
GuidanceStatement ::= RuleStatement
GuidanceStatement ::= AdviceStatement BusinessPolicyStatement RuleStatement
AggregationFormulation ::= [projection]::Projection
ProjectingFormulation ::= AggregationFormulation
ProjectingFormulation ::= AnswerNominalization
ProjectingFormulation ::= FactTypeNominalization
ProjectingFormulation ::= NounConceptNominalization
ProjectingFormulation ::= QuestionNominalization
ProjectingFormulation ::= [projection]::Projection
LogicalFormulation ::= ProjectingFormulation
LogicalFormulation ::= Quantification
LogicalFormulation ::= AtomicFormulation
LogicalFormulation ::= LogicalOperation
LogicalFormulation ::= InstantiationFormulation
LogicalFormulation ::= ModalFormulation
LogicalFormulation ::= Objectification
LogicalFormulation ::= PropositionNominalization
LogicalFormulation ::= ClosedLogicalFormulation
LogicalFormulation ::= ProjectingFormulation Quantification AtomicFormulation LogicalOperation InstantiationFormulation ModalFormulation Objectification PropositionNominalization
SemanticFormulation ::= LogicalFormulation
SemanticFormulation ::= Projection
SemanticFormulation ::= ClosedSemanticFormulation
SemanticFormulation ::= LogicalFormulation Projection ClosedSemanticFormulation
Projection ::= BagProjection
Projection ::= ClosedProjection
Projection ::= SetProjection
Projection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
Variable ::= AuxiliaryVariable
Variable ::= [restrictingFormulation]::LogicalFormulation [projectionPosition]::PositiveInteger [rangedoverConcept]::Concept [isUnitary]::Boolean
PositiveInteger ::= ε
NonnegativeInteger ::= PositiveInteger
Integer ::= NonnegativeInteger
Integer ::= [value]::integer
Number ::= Integer
Quantity ::= Number
NounConcept ::= Quantity
NounConcept ::= Role
NounConcept ::= ContextualizedConcept
NounConcept ::= IndividualConcept
NounConcept ::= Quantity Role ContextualizedConcept
Concept ::= NounConcept
Concept ::= FactType
Concept ::= CategorizationType
Concept ::= ObjectType
Concept ::= ConceptOfThingAsComposite
Concept ::= ConceptOfThingAsContinuant
Concept ::= ConceptOfThingAsDeveloped
Concept ::= ConceptOfThingAsOccurrent
Concept ::= ConceptOfThingAsPrimitive
Concept ::= ConceptOfThingAsUnitary
Concept ::= ConceptOfThingExistingDependently
Concept ::= ConceptOfThingExistingIndependently
Concept ::= DerivableConcept
Concept ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
AttributiveNamespace ::=
[uri]::UriNamespace ::= AttributiveNamespace
Namespace ::= VocabularyNamespace
Namespace ::=
[uri]::UriUri ::= [value]::String
Text ::= Uri
Text ::= [value]::String
Characteristic ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
FactType ::= Characteristic
FactType ::= AssociativeFactType
FactType ::= AssortmentFactType
FactType ::= BinaryFactType
FactType ::= SpecializationFactType
FactType ::= IsroleofFactType
FactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
FactTypeForm ::= NounForm
FactTypeForm ::= SententialForm
FactTypeForm ::=
[placeholder]::PlaceholderPlaceholder ::= [startingCharacterPosition]::PositiveInteger
FactTypeRole ::=
[roleBinding]::RoleBindingRole ::= FactTypeRole
Role ::= SituationalRole
RoleBinding ::=
[name]::NameReferenceScheme ::= [simplyUsedRole]::FactTypeRole [identifyingCharacteristic]::Characteristic [extensionallyUsedRole]::FactTypeRole
Set ::= BodyOfSharedMeanings
Set ::= Vocabulary
Set ::= Rulebook
Set ::=
[cardinality]::NonnegativeInteger [element]::ThingAuxiliaryVariable ::= [restrictingFormulation]::LogicalFormulation [projectionPosition]::PositiveInteger [rangedoverConcept]::Concept [isUnitary]::Boolean
AnswerNominalization ::= [projection]::Projection
AssociativeFactType ::= IspropertyofFactType
AssortmentFactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
AtleastnQuantification ::= ExistentialQuantification
AtleastnQuantification ::= [minimumCardinality]::NonnegativeInteger
Quantification ::= AtleastnQuantification
Quantification ::= AtmostnQuantification
Quantification ::= ExactlynQuantification
Quantification ::= NumericRangeQuantification
Quantification ::= UniversalQuantification
Quantification ::= [scopeFormulation]::LogicalFormulation
AtmostnQuantification ::= AtmostoneQuantification
AtmostnQuantification ::= [maximumCardinality]::NonnegativeInteger
AtmostoneQuantification ::= [maximumCardinality]::NonnegativeInteger
AtomicFormulation ::=
[roleBinding]::RoleBindingBagProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
BinaryFactType ::= PartitiveFactType
BinaryLogicalOperation ::= Conjunction
BinaryLogicalOperation ::= Disjunction
BinaryLogicalOperation ::= Equivalence
BinaryLogicalOperation ::= ExclusiveDisjunction
BinaryLogicalOperation ::= Implication
BinaryLogicalOperation ::= NandFormulation
BinaryLogicalOperation ::= NorFormulation
BinaryLogicalOperation ::= WhetherornotFormulation
BinaryLogicalOperation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
LogicalOperation ::= BinaryLogicalOperation
LogicalOperation ::= LogicalNegation
LogicalOperation ::= [logicalOperand]::LogicalFormulation
BodyOfSharedConcepts ::=
[name]::NameBodyOfSharedGuidance ::=
[name]::NameBodyOfSharedMeanings ::=
[elementaryFactType]::FactTypeBusinessPolicy ::= [isDirectlyEnforceable]::Boolean
ElementOfGovernance ::= BusinessPolicy
ElementOfGovernance ::= OperativeBusinessRule
ElementOfGovernance ::= [isDirectlyEnforceable]::Boolean
BusinessPolicyStatement ::= ε
BusinessRule ::= StructuralBusinessRule
BusinessRule ::= OperativeBusinessRule
BusinessRule ::= [isPracticable]::Boolean
Rule ::= StructuralRule
Rule ::= BusinessRule
BusinessVocabulary ::= ε
Vocabulary ::= BusinessVocabulary
CategorizationFactType ::= ε
SpecializationFactType ::= CategorizationFactType
SpecializationFactType ::= ContextualizationFactType
SpecializationFactType ::= CategorizationFactType ContextualizationFactType
CategorizationScheme ::= Segmentation
CategorizationScheme ::= ExplicitnessOfRepresentation
CategorizationScheme ::= FactTypeTemplating
CategorizationScheme ::= KindOfGuidanceStatement
CategorizationScheme ::= RealworldNumericalCorrespondence
CategorizationScheme ::= Segmentation ExplicitnessOfRepresentation FactTypeTemplating KindOfGuidanceStatement RealworldNumericalCorrespondence
CategorizationType ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
CharacteristicType ::= ε
ConceptType ::= CharacteristicType
ObjectType ::= ConceptType
ObjectType ::= FundamentalConcept
ObjectType ::= LogicalFormulationKind
ObjectType ::= SituationalRole
ObjectType ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
ClosedLogicalFormulation ::= ε
ClosedSemanticFormulation ::= ClosedLogicalFormulation
ClosedSemanticFormulation ::= ε
ClosedProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
CommunicationContent ::= [meaning]::Meaning [expression]::Expression
Community ::= SemanticCommunity
Community ::= SpeechCommunity
Community ::= [uri]::Uri [subcommunity]::Community
ConceptOfThingAsComposite ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsContinuant ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsDeveloped ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsOccurrent ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsPrimitive ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingAsUnitary ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingExistingDependently ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptOfThingExistingIndependently ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
ConceptualSchema ::=
[name]::NameConjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ContextOfThing ::= ε
Segmentation ::= ContextOfThing
Segmentation ::= RepresentationFormality
Segmentation ::= ThingInContext
Segmentation ::= ContextOfThing RepresentationFormality ThingInContext
ContextualizationFactType ::= IsfacetofFactType
ContextualizedConcept ::= Facet
ContingencyStatement ::= ε
StatementOfAdviceOfPossibility ::= ContingencyStatement
StatementOfAdviceOfPossibility ::= NonnecessityStatement
StatementOfAdviceOfPossibility ::= PossibilityStatement
StatementOfAdviceOfPossibility ::= ContingencyStatement NonnecessityStatement PossibilityStatement
DefiniteDescription ::= ε
IntensionalDefinition ::= DefiniteDescription
DerivableConcept ::= [attributiveNamespace]::AttributiveNamespace [definition]::Definition [moreGeneralConcept]::Concept [category]::Concept [essentialCharacteristic]::Characteristic [instance]::Thing [referenceScheme]::ReferenceScheme [impliedCharacteristic]::Characteristic [necessaryCharacteristic]::Characteristic [designation]::Designation [extension]::Set
Description ::= [meaning]::Meaning [expression]::Expression
DescriptiveExample ::= [meaning]::Meaning [expression]::Expression
Disjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
Equivalence ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ExactlynQuantification ::= ExactlyoneQuantification
ExactlynQuantification ::= [cardinality]::NonnegativeInteger
ExactlyoneQuantification ::= [cardinality]::NonnegativeInteger
ExclusiveDisjunction ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
ExistentialQuantification ::= [minimumCardinality]::NonnegativeInteger
ExplicitnessOfRepresentation ::= ε
ExtensionalDefinition ::= ε
Facet ::= ε
Fact ::=
[isFalse]::Boolean [isTrue]::Boolean [statement]::Statement [isPossiblyTrue]::Boolean [isObligatedToBeTrue]::Boolean [isPermittedToBeTrue]::Boolean [isNecessarilyTrue]::BooleanFactModel ::=
[name]::NameFactSymbol ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
FactTypeHasFactInFactModel ::= [factType]::FactType [fact]::Fact [factModel]::FactModel
FactTypeNominalization ::= [projection]::Projection
FactTypeRoleDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
FactTypeTemplating ::= ε
FormalRepresentation ::= [meaning]::Meaning [expression]::Expression
FundamentalConcept ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
Icon ::= ε
NonverbalDesignation ::= Icon
Implication ::= [consequent]::LogicalFormulation [antecedent]::LogicalFormulation
ImpossibilityStatement ::= ε
StructuralRuleStatement ::= ImpossibilityStatement
StructuralRuleStatement ::= NecessityStatement
StructuralRuleStatement ::= RestrictedPossibilityStatement
StructuralRuleStatement ::= ImpossibilityStatement NecessityStatement RestrictedPossibilityStatement
RuleStatement ::= StructuralRuleStatement
RuleStatement ::= OperativeBusinessRuleStatement
RuleStatement ::= StructuralRuleStatement OperativeBusinessRuleStatement
IndividualConcept ::= ε
InformalRepresentation ::= [meaning]::Meaning [expression]::Expression
InstantiationFormulation ::= ε
IsfacetofFactType ::= ε
IspropertyofFactType ::= ε
IsroleofFactType ::= [factTypeForm]::FactTypeForm [role]::FactTypeRole
KindOfGuidanceStatement ::= ε
Language ::=
[name]::NameLevelOfEnforcement ::=
[name]::NameLogicalFormulationKind ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
LogicalNegation ::= [logicalOperand]::LogicalFormulation
ModalFormulation ::= NecessityFormulation
ModalFormulation ::= ObligationFormulation
ModalFormulation ::= PermissibilityFormulation
ModalFormulation ::= PossibilityFormulation
ModalFormulation ::= NecessityFormulation ObligationFormulation PermissibilityFormulation PossibilityFormulation
NandFormulation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
NecessityFormulation ::= ε
NecessityStatement ::= ε
NonnecessityStatement ::= ε
NonobligationStatement ::= ε
StatementOfAdviceOfPermission ::= NonobligationStatement
StatementOfAdviceOfPermission ::= OptionalityStatement
StatementOfAdviceOfPermission ::= PermissionStatement
StatementOfAdviceOfPermission ::= NonobligationStatement OptionalityStatement PermissionStatement
NorFormulation ::= [logicalOperand2]::LogicalFormulation [logicalOperand1]::LogicalFormulation
Note ::= [meaning]::Meaning [expression]::Expression
NounConceptNominalization ::= [projection]::Projection
NounForm ::=
[placeholder]::PlaceholderNumericRangeQuantification ::= [maximumCardinality]::NonnegativeInteger [minimumCardinality]::NonnegativeInteger
Objectification ::= ε
ObligationFormulation ::= ε
ObligationStatement ::= ε
OperativeBusinessRuleStatement ::= ObligationStatement
OperativeBusinessRuleStatement ::= ProhibitionStatement
OperativeBusinessRuleStatement ::= RestrictedPermissionStatement
OperativeBusinessRuleStatement ::= ObligationStatement ProhibitionStatement RestrictedPermissionStatement
OperativeBusinessRule ::=
[levelOfEnforcement]::LevelOfEnforcementOptionalityStatement ::= ε
OwnedDefinition ::= ε
PartitiveFactType ::= ε
PermissibilityFormulation ::= ε
PermissionStatement ::= ε
PossibilityFormulation ::= ε
PossibilityStatement ::= ε
PreferredDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
ProhibitedDesignation ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
ProhibitionStatement ::= ε
PropositionNominalization ::= ε
Question ::=
[representation]::RepresentationQuestionNominalization ::= [projection]::Projection
RealworldNumericalCorrespondence ::= ε
Reference ::= [meaning]::Meaning [expression]::Expression
RepresentationFormality ::= ε
Res ::=
[name]::NameRestrictedPermissionStatement ::= ε
RestrictedPossibilityStatement ::= ε
Rulebook ::=
[cardinality]::NonnegativeInteger [element]::ThingSemanticCommunity ::=
[speechCommunity]::SpeechCommunitySpeechCommunity ::= [uri]::Uri [subcommunity]::Community
SententialForm ::=
[placeholder]::PlaceholderSetProjection ::= [constrainingFormulation]::LogicalFormulation [projectionVariable]::Variable [auxiliaryVariable]::AuxiliaryVariable
Situation ::=
[name]::NameSituationalRole ::= [categorizationScheme]::CategorizationScheme [categorizationType]::CategorizationType
SpeechCommunityAdoptsAdoptedDefinitionCitingReference ::= [speechCommunity]::SpeechCommunity [adoptedDefinition]::AdoptedDefinition [reference]::Reference
StateOfAffairsInvolvesThingInRole ::= [stateOfAffairs]::StateOfAffairs [thing]::Thing [role]::Role
StructuralBusinessRule ::= ε
StructuralRule ::= StructuralBusinessRule
StructuralRule ::= ε
SubjectField ::=
[name]::NameTerm ::= [implicitlyIsUnderstood]::Boolean [signifier]::Expression
TerminologicalDictionary ::=
[uri]::UriThingInContext ::= ε
UniversalQuantification ::= [scopeFormulation]::LogicalFormulation
Viewpoint ::=
[name]::NameVocabularyNamespace ::=
[uri]::UriWhetherornotFormulation ::= [inconsequent]::LogicalFormulation [consequent]::LogicalFormulation
Boolean ::= "true" "false"
String ::= string
