Browsable SBVR Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/sbvr/v1.0/doux/extracted
Source used for this grammar: Guillaume Doux, SBVRvoc.ecore, 2009

Summary

• Total 108 production rules with 169 top alternatives and 597 symbols.
• Vocabulary: 184 = 63 nonterminals + 2 terminals + 119 labels + 0 markers.
• Total 63 nonterminal symbols: 63 defined (LocatedElement, Root, VocabularyEntry, Caption, DefCaption, DescCaption, SrcCaption, DBCaption, GenCCaption, CTypCaption, Necessity, Possibility, RefSCaption, NoteCaption, ExCaption, SynCaption, SynFCaption, SeeCaption, SFCaption, NSURICaption, PrimaryRepresentation, NotFactTypeRepresentation, TermRepresentation, NameRepresentation, FactTypeFormRepresentation, ConceptDefinition, ConceptSource, Note, Sentence, NameSpaceURI, Word, StringWord, QuotedStringWord, NameWord, Verb, ConjonctionnalKeyWord, ModalVerb, Join, Link, Qualif, EndOperator, SBVRExpression, SBVRPropWithKW, ModalForm, SimpleSBVRProp, SubSBVRProp, LinkSBVRConcept, ConjConcept, Concept, NameConcept, ObjectConcept, StringConcept, NounConcept, Qualification, GeneralConcept, NameGConcept, NounGConcept, Qualifier, ModalBegin, ModalBeginC, Boolean, Integer, String), 0 root (—), 2 top (LocatedElement, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 119 labels: [entries], [primaryRep], [caption], [definition], [description], [source] ², [dictionaryBasis], [generalConcept] ², [conceptType], [exp] ³, [referenceScheme], [note], [example], [synonym], [synonymousForm], [see], [subjectField], [namespaceURI], [term], [hasThe], [name] ³, [primaryRep1], [verbExp], [primaryRep2], [conjexp], [sentences], [words], [URI], [val] ³, [is], [relevant], [comprises], [to], [work], [in], [trades], [as], [are], [accepted], [generally], [important], [across], [share], [sets], [assigned], [by], [contains], [for], [has], [specifies], [specified], [and], [or], [if], [whether], [must], [may], [never], [always], [that], [who], [of] ², [quoteS], [the] ², [The], [a], [A], [an], [An], [Each], [each], [Some], [some], [At], [at], [Exactly], [exactly], [given], [thanone], [one], [isobligatorythat], [ispermittedthat], [isprohibitedthat], [isnecessarythat], [ispossiblethat], [isimpossiblethat], [isnotthecasethat], [least], [leastone], [most], [mostone], [leastnandatmostm], [andonlyif], [ornot], [not], [hasPoint], [firstProposition], [nextProposition], [conjonction] ², [endConj], [proposition], [modal] ², [isNeg], [concept1], [modalVerb] ², [verbs] ², [concept2] ², [join], [link], [concept] ², [operatoredConcept], [qualify], [stringWord], [qualif], [noun] ², [op], [endOperator] ³, [min], [max].

Syntax

LocatedElement ::=
	Root

LocatedElement ::=
	VocabularyEntry

LocatedElement ::=
	Caption

LocatedElement ::=
	PrimaryRepresentation

LocatedElement ::=
	ConceptDefinition

LocatedElement ::=
	ConceptSource

LocatedElement ::=
	Note

LocatedElement ::=
	Sentence

LocatedElement ::=
	NameSpaceURI

LocatedElement ::=
	Word

LocatedElement ::=
	SBVRExpression

LocatedElement ::=
	SBVRPropWithKW

LocatedElement ::=
	ModalForm

LocatedElement ::=
	SimpleSBVRProp

LocatedElement ::=
	SubSBVRProp

LocatedElement ::=
	LinkSBVRConcept

LocatedElement ::=
	ConjConcept

LocatedElement ::=
	Concept

LocatedElement ::=
	NounConcept

LocatedElement ::=
	Qualification

LocatedElement ::=
	GeneralConcept

LocatedElement ::=
	Qualifier

LocatedElement ::=
	ModalBegin

Root ::=
	[entries]::VocabularyEntry+

VocabularyEntry ::=
	[primaryRep]::PrimaryRepresentation [caption]::Caption+

Caption ::=
	DefCaption

Caption ::=
	DescCaption

Caption ::=
	SrcCaption

Caption ::=
	DBCaption

Caption ::=
	GenCCaption

Caption ::=
	CTypCaption

Caption ::=
	Necessity

Caption ::=
	Possibility

Caption ::=
	RefSCaption

Caption ::=
	NoteCaption

Caption ::=
	ExCaption

Caption ::=
	SynCaption

Caption ::=
	SynFCaption

Caption ::=
	SeeCaption

Caption ::=
	SFCaption

Caption ::=
	NSURICaption

DefCaption ::=
	[definition]::ConceptDefinition

DescCaption ::=
	[description]::Note

SrcCaption ::=
	[source]::ConceptSource

DBCaption ::=
	[dictionaryBasis]::ConceptSource

GenCCaption ::=
	[generalConcept]::PrimaryRepresentation

CTypCaption ::=
	[conceptType]::PrimaryRepresentation+

Necessity ::=
	[exp]::SBVRExpression

Possibility ::=
	[exp]::SBVRExpression

RefSCaption ::=
	[referenceScheme]::PrimaryRepresentation

NoteCaption ::=
	[note]::Note

ExCaption ::=
	[example]::SBVRExpression+

SynCaption ::=
	[synonym]::PrimaryRepresentation+

SynFCaption ::=
	[synonymousForm]::SBVRExpression+

SeeCaption ::=
	[see]::PrimaryRepresentation

SFCaption ::=
	[subjectField]::PrimaryRepresentation

NSURICaption ::=
	[namespaceURI]::NameSpaceURI

PrimaryRepresentation ::=
	NotFactTypeRepresentation

PrimaryRepresentation ::=
	FactTypeFormRepresentation

NotFactTypeRepresentation ::=
	TermRepresentation

NotFactTypeRepresentation ::=
	NameRepresentation

TermRepresentation ::=
	[term]::StringWord+

NameRepresentation ::=
	[hasThe]::Boolean [name]::NameWord+

FactTypeFormRepresentation ::=
	[primaryRep1]::NotFactTypeRepresentation [verbExp]::Verb+ [primaryRep2]::NotFactTypeRepresentation

ConceptDefinition ::=
	[exp]::Concept [conjexp]::ConjConcept+

ConceptSource ::=
	[source]::Word+

Note ::=
	[sentences]::Sentence+

Sentence ::=
	[words]::Word+

NameSpaceURI ::=
	[URI]::Word+

Word ::=
	StringWord

Word ::=
	QuotedStringWord

Word ::=
	NameWord

StringWord ::=
	[val]::String

QuotedStringWord ::=
	[val]::String

NameWord ::=
	[val]::String

Verb ::=
	[is]::ε
	[relevant]::ε
	[comprises]::ε
	[to]::ε
	[work]::ε
	[in]::ε
	[trades]::ε
	[as]::ε
	[are]::ε
	[accepted]::ε
	[generally]::ε
	[important]::ε
	[across]::ε
	[share]::ε
	[sets]::ε
	[assigned]::ε
	[by]::ε
	[contains]::ε
	[for]::ε
	[has]::ε
	[specifies]::ε
	[specified]::ε

ConjonctionnalKeyWord ::=
	[and]::ε
	[or]::ε
	[if]::ε
	[whether]::ε

ModalVerb ::=
	[must]::ε
	[may]::ε
	[never]::ε
	[always]::ε

Join ::=
	[that]::ε
	[who]::ε

Link ::=
	[of]::ε
	[quoteS]::ε

Qualif ::=
	[the]::ε
	[The]::ε
	[a]::ε
	[A]::ε
	[an]::ε
	[An]::ε
	[Each]::ε
	[each]::ε
	[Some]::ε
	[some]::ε
	[At]::ε
	[at]::ε
	[Exactly]::ε
	[exactly]::ε

EndOperator ::=
	[given]::ε
	[thanone]::ε
	[one]::ε
	[isobligatorythat]::ε
	[ispermittedthat]::ε
	[isprohibitedthat]::ε
	[isnecessarythat]::ε
	[ispossiblethat]::ε
	[isimpossiblethat]::ε
	[isnotthecasethat]::ε
	[least]::ε
	[leastone]::ε
	[most]::ε
	[mostone]::ε
	[leastnandatmostm]::ε
	[andonlyif]::ε
	[ornot]::ε
	[not]::ε
	[of]::ε

SBVRExpression ::=
	[hasPoint]::Boolean [firstProposition]::SimpleSBVRProp [nextProposition]::SBVRPropWithKW+

SBVRPropWithKW ::=
	[conjonction]::ConjonctionnalKeyWord [endConj]::EndOperator [proposition]::SimpleSBVRProp

ModalForm ::=
	[modal]::ModalVerb [isNeg]::Boolean

SimpleSBVRProp ::=
	[modal]::ModalBegin [concept1]::Concept [modalVerb]::ModalForm [verbs]::Verb+ [concept2]::Concept

SubSBVRProp ::=
	[join]::Join [modalVerb]::ModalVerb [verbs]::Verb+ [concept2]::Concept

LinkSBVRConcept ::=
	[link]::Link [concept]::Concept

ConjConcept ::=
	[conjonction]::ConjonctionnalKeyWord [concept]::Concept

Concept ::=
	NameConcept

Concept ::=
	ObjectConcept

Concept ::=
	StringConcept

NameConcept ::=
	[the]::Qualif [name]::NameWord+

ObjectConcept ::=
	[operatoredConcept]::NounConcept [qualify]::Qualification

StringConcept ::=
	[stringWord]::QuotedStringWord+

NounConcept ::=
	[qualif]::Qualifier [noun]::StringWord+

Qualification ::=
	[generalConcept]::GeneralConcept+

GeneralConcept ::=
	NameGConcept

GeneralConcept ::=
	NounGConcept

NameGConcept ::=
	[name]::NameConcept

NounGConcept ::=
	[noun]::StringWord+

Qualifier ::=
	[op]::Qualif [endOperator]::EndOperator [min]::StringWord [max]::StringWord

ModalBegin ::=
	ModalBeginC

ModalBegin ::=
	[endOperator]::EndOperator

ModalBeginC ::=
	[endOperator]::EndOperator

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]