Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
7248 lines (7247 sloc) 768 KB
<?xml version="1.0" encoding="utf-8" ?>
<xmi:XMI xmi:version="2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:sbvr="http://www.omg.org/spec/SBVR/20130601" xmlns:xmi="http://www.omg.org/spec/XMI/20071213"
xsi:schemaLocation="http://www.omg.org/spec/SBVR/20130601 http://www.omg.org/spec/SBVR/20130601/SBVR-XML-Schema.xsd" >
<sbvr:vocabulary xmi:id="vocabularyRegistrationVocabulary" name="ifm-17648"/>
<sbvr:vocabulary xmi:id="meaningAndRepresentationVocabulary" name="ifm-17649"/>
<sbvr:vocabulary xmi:id="logicalFormulationOfSemanticsVocabulary" name="ifm-17650"/>
<sbvr:vocabulary xmi:id="vocabularyForDescribingBusinessVocabularies" name="ifm-17652"/>
<sbvr:vocabulary xmi:id="vocabularyForDescribingBusinessRules" name="ifm-17653"/>
<sbvr:vocabularyIsExpressedInLanguage vocabulary="vocabularyRegistrationVocabulary" language="lang-1"/>
<sbvr:vocabularyIsExpressedInLanguage vocabulary="meaningAndRepresentationVocabulary" language="lang-1"/>
<sbvr:vocabularyIsExpressedInLanguage vocabulary="logicalFormulationOfSemanticsVocabulary" language="lang-1"/>
<sbvr:vocabularyIsExpressedInLanguage vocabulary="vocabularyForDescribingBusinessVocabularies" language="lang-1"/>
<sbvr:vocabularyIsExpressedInLanguage vocabulary="vocabularyForDescribingBusinessRules" language="lang-1"/>
<sbvr:vocabulary1IncorporatesVocabulary2 vocabulary1="logicalFormulationOfSemanticsVocabulary" vocabulary2="meaningAndRepresentationVocabulary"/>
<sbvr:vocabulary1IncorporatesVocabulary2 vocabulary1="vocabularyForDescribingBusinessVocabularies" vocabulary2="meaningAndRepresentationVocabulary"/>
<sbvr:vocabulary1IncorporatesVocabulary2 vocabulary1="vocabularyForDescribingBusinessRules" vocabulary2="vocabularyForDescribingBusinessVocabularies"/>
<sbvr:vocabularyNamespace xmi:id="vns-158" />
<sbvr:vocabularyNamespace xmi:id="vns-159" />
<sbvr:vocabularyNamespace xmi:id="vns-160" />
<sbvr:vocabularyNamespace xmi:id="vns-161" />
<sbvr:vocabularyNamespace xmi:id="vns-162" />
<sbvr:vocabularyNamespaceIsDerivedFromVocabulary vocabularyNamespace="vns-158" vocabulary="vocabularyRegistrationVocabulary"/>
<sbvr:vocabularyNamespaceIsDerivedFromVocabulary vocabularyNamespace="vns-159" vocabulary="meaningAndRepresentationVocabulary"/>
<sbvr:vocabularyNamespaceIsDerivedFromVocabulary vocabularyNamespace="vns-160" vocabulary="logicalFormulationOfSemanticsVocabulary"/>
<sbvr:vocabularyNamespaceIsDerivedFromVocabulary vocabularyNamespace="vns-161" vocabulary="vocabularyForDescribingBusinessVocabularies"/>
<sbvr:vocabularyNamespaceIsDerivedFromVocabulary vocabularyNamespace="vns-162" vocabulary="vocabularyForDescribingBusinessRules"/>
<sbvr:namespaceHasURI namespace="vns-158" URI="uri-vns-158"/>
<sbvr:namespaceHasURI namespace="vns-159" URI="uri-vns-159"/>
<sbvr:namespaceHasURI namespace="vns-160" URI="uri-vns-160"/>
<sbvr:namespaceHasURI namespace="vns-161" URI="uri-vns-161"/>
<sbvr:namespaceHasURI namespace="vns-162" URI="uri-vns-162"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vns-158" language="lang-1"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vns-159" language="lang-1"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vns-160" language="lang-1"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vns-161" language="lang-1"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vns-162" language="lang-1"/>
<sbvr:namespace1IncorporatesNamespace2 namespace1="vns-160" namespace2="vns-159"/>
<sbvr:namespace1IncorporatesNamespace2 namespace1="vns-161" namespace2="vns-159"/>
<sbvr:namespace1IncorporatesNamespace2 namespace1="vns-162" namespace2="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17648" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17649" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17650" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17652" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17653" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17654" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17655" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17656" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17657" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17658" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17659" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17660" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17661" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17662" namespace="vns-158"/>
<sbvr:designationIsInNamespace designation="ifm-17663" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17664" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17665" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17666" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17667" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17668" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17669" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17670" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17671" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17672" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17673" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17674" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17675" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17676" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17677" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17683" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17686" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17692" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17693" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17694" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17695" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17697" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17700" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17701" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17704" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17706" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17708" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17712" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17713" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17714" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17715" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17718" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17723" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17724" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17726" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17728" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17730" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17735" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17739" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17741" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17742" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17745" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17747" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17750" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17751" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17754" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17755" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17756" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17757" namespace="vns-159"/>
<sbvr:designationIsInNamespace designation="ifm-17758" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17759" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17761" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17762" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17763" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17766" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17771" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17772" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17775" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17778" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17781" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17783" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17784" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17785" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17786" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17787" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17788" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17790" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17791" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17792" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17795" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17796" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17797" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17798" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17799" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17800" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17801" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17804" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17805" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17806" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17807" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17808" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17811" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17814" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17815" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17816" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17817" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17818" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17819" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17821" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17823" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17824" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17826" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17827" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17830" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17833" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17836" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17837" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17838" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17839" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17842" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17843" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17844" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17848" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17849" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17851" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17852" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17853" namespace="vns-160"/>
<sbvr:designationIsInNamespace designation="ifm-17859" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17861" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17862" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17865" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17867" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17870" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17874" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17880" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17883" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17888" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17889" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17891" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17893" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17895" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17896" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17897" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17898" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17899" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17902" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17903" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17905" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17907" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17908" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17909" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17910" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17912" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17916" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17917" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17918" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17919" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17920" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17921" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17922" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17923" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17924" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17925" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17926" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17927" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17928" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17929" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17930" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17931" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17932" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17933" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17934" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17935" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17936" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17937" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17938" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17939" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17941" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17942" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17944" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17945" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17946" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17951" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17952" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17953" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17954" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17955" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17956" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17958" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17961" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17963" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17964" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17967" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17968" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17969" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17971" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17973" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17975" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17976" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17979" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17981" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17982" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17986" namespace="vns-161"/>
<sbvr:designationIsInNamespace designation="ifm-17988" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-17991" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-17993" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-17995" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-17997" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-17998" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18000" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18001" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18002" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18003" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18005" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18007" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18008" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18009" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18010" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18011" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18012" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18013" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18014" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18015" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18016" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18017" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18018" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18019" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18020" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18021" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18022" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18023" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18024" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18025" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18026" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18027" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18028" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18029" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18030" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18031" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18035" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18038" namespace="vns-162"/>
<sbvr:designationIsInNamespace designation="ifm-18039" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17678" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17679" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17680" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17681" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17682" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17684" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17685" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17687" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17688" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17689" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17690" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17691" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17696" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17698" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17699" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17702" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17703" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17705" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17707" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17709" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17710" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17711" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17716" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17717" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17719" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17720" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17721" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17722" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17725" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17727" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17729" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17731" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17732" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17733" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17734" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17736" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17737" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17738" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17740" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17743" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17744" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17746" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17748" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17749" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17752" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17753" namespace="vns-159"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17760" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17764" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17765" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17767" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17768" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17769" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17770" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17773" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17774" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17776" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17777" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17779" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17780" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17782" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17789" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17793" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17794" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17802" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17803" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17809" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17810" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17812" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17813" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17820" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17822" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17825" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17828" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17829" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17831" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17832" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17834" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17835" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17840" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17841" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17845" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17846" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17847" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17850" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17854" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17855" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17856" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17857" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17858" namespace="vns-160"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17860" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17863" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17864" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17866" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17868" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17869" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17871" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17872" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17873" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17875" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17876" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17877" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17878" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17879" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17881" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17882" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17884" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17885" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17886" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17887" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17890" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17892" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17894" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17900" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17901" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17904" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17906" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17911" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17913" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17914" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17915" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17940" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17943" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17947" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17948" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17949" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17950" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17957" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17959" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17960" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17962" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17965" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17966" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17970" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17972" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17974" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17977" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17978" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17980" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17983" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17984" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17985" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17987" namespace="vns-161"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17989" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17990" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17992" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17994" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17996" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-17999" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18004" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18006" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18032" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18033" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18034" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18036" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18037" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18040" namespace="vns-162"/>
<sbvr:verbConceptWordingIsInNamespace verbConceptWording="ifm-18041" namespace="vns-162"/>
<sbvr:text xmi:id="txt-vom-25160" value="&amp;#65533; as a designation for the concept ‘u-turn’"/>
<sbvr:text xmi:id="txt-vom-25283" value="(In a bank) The element of guidance that “It is possible that an account balance is negative.”"/>
<sbvr:text xmi:id="txt-vom-25291" value="(In a bank) There is no rule that a person must be over some given age in order to open a savings account: “There is no minimum age for opening a savings account.” This is understood as an advice of permission because ‘minimum age’ is defined as “age that must be reached in order to take part in a given activity” and no restriction has been placed on it. In other words, the behavior ‘opening a bank account’ is not to be disallowed based on age."/>
<sbvr:text xmi:id="txt-vom-25289" value="(In EU-Rent) Advising that it is not necessary for a bad experience that occurs during a rental to be notified before the end of the rental. This might be expressed in various ways, for example as: “It is neither necessary nor impossible that the notification date/time of a bad experience during a rental is the actual return date/time of the rental or earlier.” It is possible (but not necessary) that the notification of a bad experience during a rental occurs after the car has been returned.”"/>
<sbvr:text xmi:id="txt-vom-25288" value="(In EU-Rent) Advising that it is not necessary for a qualified driver to be over 21. This might be expressed in various ways, for example as: “It is neither necessary nor impossible that the age of a qualified driver is at least 21,” or “It is possible (but not necessary) that a qualified driver be under 21.”"/>
<sbvr:text xmi:id="txt-vom-25296" value="(In EU-Rent) Advising that it is not obligatory (or prohibited) that a rented car be dropped off only at the return branch specified in the rental agreement. This might be expressed, for example, as “At the end of a rental, it is not obligatory (but permitted) that a rental car be dropped off at the rental agreement-specified EU-Rent return branch.”"/>
<sbvr:text xmi:id="txt-vom-25295" value="(In EU-Rent) Advising that it is not obligatory that a renter show picture identification at the time of a rental pick-up. This might be expressed in various ways, for example as: “It is neither obligatory nor prohibited that at rental pick-up time the renter shows picture identification,” or “It is not obligatory (but permitted) that a renter shows picture id in order to pick up his car.”"/>
<sbvr:text xmi:id="txt-vom-24775" value="(such as an at-least-n quantification )"/>
<sbvr:text xmi:id="txt-vom-24774" value="(such as an at-most-n quantification )"/>
<sbvr:text xmi:id="txt-vom-24457" value="."/>
<sbvr:text xmi:id="txt-vom-24605" value="."/>
<sbvr:text xmi:id="txt-vom-24949" value="."/>
<sbvr:text xmi:id="txt-vom-25215" value="."/>
<sbvr:text xmi:id="txt-vc-3696" value="...adopts...citing..."/>
<sbvr:text xmi:id="txt-vc-3734" value="...adopts...from...citing..."/>
<sbvr:text xmi:id="txt-vc-3729" value="...authorizes..."/>
<sbvr:text xmi:id="txt-vc-3732" value="...authors..."/>
<sbvr:text xmi:id="txt-vc-3634" value="...binds to..."/>
<sbvr:text xmi:id="txt-vc-3637" value="...binds to..."/>
<sbvr:text xmi:id="txt-vc-3654" value="...binds to..."/>
<sbvr:text xmi:id="txt-vc-3656" value="...binds to..."/>
<sbvr:text xmi:id="txt-vc-3658" value="...binds to..."/>
<sbvr:text xmi:id="txt-vc-3713" value="...comments on..."/>
<sbvr:text xmi:id="txt-vc-3636" value="...considers..."/>
<sbvr:text xmi:id="txt-vc-3653" value="...considers..."/>
<sbvr:text xmi:id="txt-vc-3657" value="...considers..."/>
<sbvr:text xmi:id="txt-vc-3661" value="...constrains..."/>
<sbvr:text xmi:id="txt-vc-3676" value="...contains..."/>
<sbvr:text xmi:id="txt-vc-3692" value="...contains..."/>
<sbvr:text xmi:id="txt-vc-3614" value="...corresponds to..."/>
<sbvr:text xmi:id="txt-vc-3618" value="...corresponds to..."/>
<sbvr:text xmi:id="txt-vc-3664" value="...defines..."/>
<sbvr:text xmi:id="txt-vc-3665" value="...defines..."/>
<sbvr:text xmi:id="txt-vc-3733" value="...defines..."/>
<sbvr:text xmi:id="txt-vc-3599" value="...demonstrates..."/>
<sbvr:text xmi:id="txt-vc-3615" value="...denotes..."/>
<sbvr:text xmi:id="txt-vc-3706" value="...denotes..."/>
<sbvr:text xmi:id="txt-vc-3719" value="...determines..."/>
<sbvr:text xmi:id="txt-vc-3638" value="...embeds..."/>
<sbvr:text xmi:id="txt-vc-3623" value="...equals..."/>
<sbvr:text xmi:id="txt-vc-3597" value="...expresses..."/>
<sbvr:text xmi:id="txt-vc-3687" value="...expresses..."/>
<sbvr:text xmi:id="txt-vc-3612" value="...extensionally uses..."/>
<sbvr:text xmi:id="txt-vc-3627" value="...formalizes..."/>
<sbvr:text xmi:id="txt-vc-3663" value="...formalizes..."/>
<sbvr:text xmi:id="txt-vc-3625" value="...formulates..."/>
<sbvr:text xmi:id="txt-vc-3735" value="...has business jurisdiction over..."/>
<sbvr:text xmi:id="txt-vc-3583" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3592" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3594" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3595" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3596" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3598" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3600" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3606" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3619" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3622" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3632" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3635" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3639" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3640" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3641" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3642" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3643" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3644" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3645" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3648" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3649" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3650" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3651" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3652" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3655" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3660" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3662" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3668" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3670" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3671" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3685" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3689" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3690" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3699" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3707" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3720" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3727" value="...has..."/>
<sbvr:text xmi:id="txt-vc-3712" value="...illustrates..."/>
<sbvr:text xmi:id="txt-vc-3673" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3674" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3684" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3717" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3721" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3722" value="...includes..."/>
<sbvr:text xmi:id="txt-vc-3581" value="...incorporates..."/>
<sbvr:text xmi:id="txt-vc-3603" value="...incorporates..."/>
<sbvr:text xmi:id="txt-vc-3681" value="...incorporates..."/>
<sbvr:text xmi:id="txt-vc-3705" value="...incorporates..."/>
<sbvr:text xmi:id="txt-vc-3646" value="...introduces..."/>
<sbvr:text xmi:id="txt-vc-3617" value="...involves...in..."/>
<sbvr:text xmi:id="txt-vc-3616" value="...is actual..."/>
<sbvr:text xmi:id="txt-vc-3601" value="...is at..."/>
<sbvr:text xmi:id="txt-vc-3633" value="...is based on..."/>
<sbvr:text xmi:id="txt-vc-3725" value="...is based on..."/>
<sbvr:text xmi:id="txt-vc-3580" value="...is coextensive with..."/>
<sbvr:text xmi:id="txt-vc-3714" value="...is composed of..."/>
<sbvr:text xmi:id="txt-vc-3683" value="...is derived from..."/>
<sbvr:text xmi:id="txt-vc-3726" value="...is derived from..."/>
<sbvr:text xmi:id="txt-vc-3728" value="...is derived from..."/>
<sbvr:text xmi:id="txt-vc-3679" value="...is designed for..."/>
<sbvr:text xmi:id="txt-vc-3724" value="...is directly enforceable..."/>
<sbvr:text xmi:id="txt-vc-3688" value="...is essential to..."/>
<sbvr:text xmi:id="txt-vc-3680" value="...is expressed in..."/>
<sbvr:text xmi:id="txt-vc-3585" value="...is false..."/>
<sbvr:text xmi:id="txt-vc-3607" value="...is for..."/>
<sbvr:text xmi:id="txt-vc-3609" value="...is for..."/>
<sbvr:text xmi:id="txt-vc-3610" value="...is for..."/>
<sbvr:text xmi:id="txt-vc-3691" value="...is for..."/>
<sbvr:text xmi:id="txt-vc-3693" value="...is for..."/>
<sbvr:text xmi:id="txt-vc-3631" value="...is free within..."/>
<sbvr:text xmi:id="txt-vc-3698" value="...is implicitly understood..."/>
<sbvr:text xmi:id="txt-vc-3604" value="...is in..."/>
<sbvr:text xmi:id="txt-vc-3605" value="...is in..."/>
<sbvr:text xmi:id="txt-vc-3621" value="...is in..."/>
<sbvr:text xmi:id="txt-vc-3701" value="...is in..."/>
<sbvr:text xmi:id="txt-vc-3703" value="...is in..."/>
<sbvr:text xmi:id="txt-vc-3624" value="...is less than..."/>
<sbvr:text xmi:id="txt-vc-3586" value="...is necessarily true..."/>
<sbvr:text xmi:id="txt-vc-3589" value="...is obligated to be false..."/>
<sbvr:text xmi:id="txt-vc-3588" value="...is obligated to be true..."/>
<sbvr:text xmi:id="txt-vc-3659" value="...is on..."/>
<sbvr:text xmi:id="txt-vc-3590" value="...is permitted to be true..."/>
<sbvr:text xmi:id="txt-vc-3587" value="...is possibly true..."/>
<sbvr:text xmi:id="txt-vc-3723" value="...is practicable..."/>
<sbvr:text xmi:id="txt-vc-3708" value="...is sensory manifestation of..."/>
<sbvr:text xmi:id="txt-vc-3702" value="...is specific to..."/>
<sbvr:text xmi:id="txt-vc-3704" value="...is specific to..."/>
<sbvr:text xmi:id="txt-vc-3584" value="...is true..."/>
<sbvr:text xmi:id="txt-vc-3710" value="...is unambiguous to..."/>
<sbvr:text xmi:id="txt-vc-3630" value="...is unitary..."/>
<sbvr:text xmi:id="txt-vc-3682" value="...is used to express..."/>
<sbvr:text xmi:id="txt-vc-3608" value="...is within..."/>
<sbvr:text xmi:id="txt-vc-3620" value="...is..."/>
<sbvr:text xmi:id="txt-vc-3666" value="...maps to..."/>
<sbvr:text xmi:id="txt-vc-3626" value="...means..."/>
<sbvr:text xmi:id="txt-vc-3667" value="...means..."/>
<sbvr:text xmi:id="txt-vc-3700" value="...objectifies..."/>
<sbvr:text xmi:id="txt-vc-3730" value="...obligates..."/>
<sbvr:text xmi:id="txt-vc-3677" value="...owns..."/>
<sbvr:text xmi:id="txt-vc-3695" value="...owns..."/>
<sbvr:text xmi:id="txt-vc-3716" value="...points to..."/>
<sbvr:text xmi:id="txt-vc-3711" value="...portrays..."/>
<sbvr:text xmi:id="txt-vc-3686" value="...presents..."/>
<sbvr:text xmi:id="txt-vc-3731" value="...prohibits..."/>
<sbvr:text xmi:id="txt-vc-3582" value="...ranges over..."/>
<sbvr:text xmi:id="txt-vc-3628" value="...ranges over..."/>
<sbvr:text xmi:id="txt-vc-3709" value="...regulates its usage of..."/>
<sbvr:text xmi:id="txt-vc-3591" value="...represents..."/>
<sbvr:text xmi:id="txt-vc-3593" value="...represents..."/>
<sbvr:text xmi:id="txt-vc-3629" value="...restricts..."/>
<sbvr:text xmi:id="txt-vc-3647" value="...scopes over..."/>
<sbvr:text xmi:id="txt-vc-3697" value="...serves as designation..."/>
<sbvr:text xmi:id="txt-vc-3675" value="...shares understanding of..."/>
<sbvr:text xmi:id="txt-vc-3611" value="...simply uses..."/>
<sbvr:text xmi:id="txt-vc-3579" value="...specializes..."/>
<sbvr:text xmi:id="txt-vc-3715" value="...supports..."/>
<sbvr:text xmi:id="txt-vc-3672" value="...unites..."/>
<sbvr:text xmi:id="txt-vc-3602" value="...uses..."/>
<sbvr:text xmi:id="txt-vc-3613" value="...uses..."/>
<sbvr:text xmi:id="txt-vc-3669" value="...uses..."/>
<sbvr:text xmi:id="txt-vc-3678" value="...uses..."/>
<sbvr:text xmi:id="txt-vc-3694" value="...uses..."/>
<sbvr:text xmi:id="txt-vc-3718" value="...uses..."/>
<sbvr:text xmi:id="txt-vom-25304" value="[as a necessity statement ] “ It is necessary that the pick-up branch of a one-way rental is not the return branch of that rental.”"/>
<sbvr:text xmi:id="txt-vom-25324" value="[as a non-necessity statement ] “It is not necessary that the notification date/time of a bad experience that occurs during a rental be on or before the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25317" value="[as a non-obligation statement ] “It is not obligatory that the drop-off branch of a rental be the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25318" value="[as a non-obligation statement ] “The drop-off branch of a rental need not be the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25316" value="[as a permission statement ] “It is permitted that the drop-off branch of a rental is not the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25323" value="[as a possibility statement ] “It is possible that the notification date/time of a bad experience that occurs during a rental is after the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25311" value="[as a prohibition statement ] “ It is prohibited that a rental be open if a driver of the rental is a barred driver.”"/>
<sbvr:text xmi:id="txt-vom-25312" value="[as a restricted permission statement ] “ It is permitted that a rental be open only if no driver of the rental is a barred driver.”"/>
<sbvr:text xmi:id="txt-vom-25306" value="[as a restricted possibility statement ] “ It is possible that the pick-up branch of a rental is the return branch of the rental only if the rental is not a one-way rental.”"/>
<sbvr:text xmi:id="txt-vom-25305" value="[as an impossibility statement ] “ It is impossible that the pick-up branch of a one-way rental is the return branch of that rental.”"/>
<sbvr:text xmi:id="txt-vom-25310" value="[as an obligation statement ] “ It is obligatory that a rental that is open has no driver that is a barred driver.”"/>
<sbvr:text xmi:id="txt-vom-24472" value="[SubeGFOL]: proposition (2 &amp;amp; 3), Wff, Closed Wff"/>
<sbvr:text xmi:id="txt-vom-24410" value="[SubeGFOL]: Propositional function, [GFOL] Predicate"/>
<sbvr:text xmi:id="txt-vom-24395" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24406" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24408" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24414" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24416" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24418" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24420" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24423" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24425" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24433" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24450" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24452" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24474" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24499" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24501" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24505" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24512" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24515" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24521" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24526" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24528" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24530" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24532" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24534" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24536" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24548" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24555" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24557" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24559" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24561" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24563" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24574" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24576" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24596" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24598" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24601" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24607" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24628" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24630" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24632" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24634" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24636" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24638" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24640" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24642" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24644" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24646" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24648" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24650" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24652" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24654" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24656" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24661" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24668" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24672" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24674" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24676" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24680" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24682" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24697" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24701" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24703" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24705" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24707" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24709" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24713" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24715" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24717" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24721" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24723" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24727" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24729" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24731" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24733" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24736" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24738" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24742" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24744" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24746" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24749" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24751" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24757" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24759" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24761" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24763" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24765" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24772" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24778" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24780" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24782" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24784" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24788" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24790" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24794" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24796" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24798" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24802" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24804" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24806" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24808" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24815" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24817" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24819" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24821" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24826" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24829" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24841" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24843" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24845" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24847" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24861" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24863" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24865" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24867" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24869" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24871" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24873" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24880" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24882" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24884" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24886" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24889" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24891" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24893" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24895" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24903" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24905" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24907" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24909" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24914" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24920" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24922" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24924" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24929" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24939" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24944" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24946" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24953" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24955" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24967" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24975" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24977" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24980" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24982" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24987" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24993" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25003" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25005" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25010" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25013" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25015" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25017" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25020" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25022" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25025" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25027" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25046" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25049" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25053" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25055" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25057" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25059" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25061" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25063" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25065" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25067" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25069" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25071" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25073" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25075" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25086" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25093" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25095" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25122" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25124" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25135" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25137" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25152" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25155" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25157" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25164" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25166" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25168" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25170" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25172" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25182" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25185" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25187" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25190" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25192" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25196" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25198" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25200" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25206" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25208" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25210" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25212" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25218" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25220" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25222" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25224" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25228" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25230" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25232" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25234" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25239" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25243" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25255" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25259" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25269" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25274" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25279" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25281" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25285" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25300" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25302" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25308" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25314" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25321" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25326" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25328" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25332" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25340" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25342" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25346" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25354" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25362" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25378" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-25380" value="{definition implicit}"/>
<sbvr:text xmi:id="txt-vom-24513" value="‘ definition ’ is used in SBVR in the sense of the formal term “definiens.”"/>
<sbvr:text xmi:id="txt-vom-24551" value="‘| number |’for the verb concept ‘number has absolute value’. The form yields the absolute value of the number."/>
<sbvr:text xmi:id="txt-vom-24545" value="‘car is unavailable’ is a sentential form of a characteristic ."/>
<sbvr:text xmi:id="txt-vom-24544" value="‘car is used in rental agreement’ is a sentential form of a binary verb concept ."/>
<sbvr:text xmi:id="txt-vom-25253" value="‘Directly enforceable’ means that a person who knows about the element of governance could observe relevant business activity (including his or her own behavior) and decide directly whether or not the business was complying with the element of governance."/>
<sbvr:text xmi:id="txt-vom-24809" value="‘late return’ defined as “actuality that a given rental is returned late”. The concept ‘late return’ is defined by a closed projection.. The projection is on a first variable... The first variable ranges over the concept ‘actuality’.. The projection has an auxiliary variable... The auxiliary variable ranges over the concept ‘rental’.. The projection is constrained by an objectification... The objectification binds to the first variable... The objectification considers an atomic formulation.... The atomic formulation is based on the characteristic ‘rental is returned late’..... The ‘rental’ role is bound to the auxiliary variable."/>
<sbvr:text xmi:id="txt-vom-24552" value="‘number1 + number2’ for the verb concept ‘number1 + number2 = number3’. This form yields the third number (the sum of adding the first two numbers)."/>
<sbvr:text xmi:id="txt-vom-25235" value="‘The Highway Code’ published by HMSO, 2005."/>
<sbvr:text xmi:id="txt-vom-24550" value="‘transferred car of car transfer’ for the verb concept ‘car transfer has transferred car’. This form yields a transferred car."/>
<sbvr:text xmi:id="txt-vom-24553" value="‘transferring rental car’ for the verb concept ‘car transfer has transferred car’. This form yields the car transfer, which is an action. Gerunds are used in noun forms like this for actions, events, and states. They are used in sentences like this: “A rental car must be cleaned before transferring the rental car.”"/>
<sbvr:text xmi:id="txt-vom-24832" value="“‘SUV’ is a vehicle type”. In this example, the noun concept ‘SUV’ is mentioned as a concept rather than used to refer to SUVs. The statement is formulated by an existential quantification.. The existential quantification introduces a unitary variable... The unitary variable ranges over the concept ‘noun concept’... The unitary variable is restricted by a noun concept nominalization.... The noun concept nominalization binds to the unitary variable.... The noun concept nominalization considers a projection..... The projection is on one projection variable...... The projection variable ranges over the noun concept ‘SUV’.. The existential quantification scopes over an instantiation formulation... The instantiation formulation considers the concept ‘vehicle type’... The instantiation formulation binds to the unitary variable."/>
<sbvr:text xmi:id="txt-vom-25350" value="“A rental can be an open rental only if the rental car of the rental has been picked up.”"/>
<sbvr:text xmi:id="txt-vom-25336" value="“A rental may be open only if an estimated rental charge is provisionally charged to the credit card of the renter of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25330" value="“A rental must incur a location penalty charge if the drop-off location of the rental is not the EU-Rent site of the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-24854" value="“An agent asks each customer what car model the customer prefers”. The statement is formulated by a universal quantification.. The quantification introduces a first variable... The first variable ranges over the concept ‘customer’.. The quantification scopes over an existential quantification... The existential quantification introduces a second variable.... The second variable ranges over the concept ‘agent’... The existential quantification scopes over a second existential quantification.... The second existential quantification introduces a third variable..... The third variable ranges over the concept ‘question’..... The third variable is restricted by a question nominalization...... The question nominalization binds to the third variable...... The question nominalization considers a projection....... The projection is on a fourth variable........ The variable ranges over the concept ‘car model’....... The projection is constrained by an atomic formulation........ The atomic formulation is based on the verb concept ‘person prefers car model’......... The ‘person’ role is bound to the first variable......... The ‘car model’ role is bound to the fourth variable.... The second existential quantification scopes over an atomic formulation..... The atomic formulation is based on the verb concept ‘person1 asks person2 question’...... The ‘person1’ role is bound to the second variable...... The ‘person2’ role is bound to the first variable...... The ‘question’ role is bound to the third variable."/>
<sbvr:text xmi:id="txt-vom-24859" value="“An agent tells each customer what special offer is available to the customer”. The statement is formulated by a universal quantification.. The quantification introduces a first variable... The first variable ranges over the concept ‘customer’.. The quantification scopes over an existential quantification... The existential quantification introduces a second variable.... The second variable ranges over the concept ‘agent’... The existential quantification scopes over a second existential quantification.... The second existential quantification introduces a third variable..... The third variable ranges over the concept ‘proposition’..... The third variable is restricted by an answer nominalization...... The answer nominalization binds to the third variable...... The answer nominalization considers a projection....... The projection is on a fourth variable........ The variable ranges over the concept ‘special offer’....... The projection is constrained by an atomic formulation........ The atomic formulation is based on the verb concept ‘special offer is available to customer’......... The ‘special offer’ role is bound to the fourth variable......... The ‘customer’ role is bound to the first variable."/>
<sbvr:text xmi:id="txt-vom-24838" value="“Being established by a rental booking is a characteristic attributed to each advance rental”. The characteristic expressed as “being established by a rental booking” is nominalized within the statement. The statement is formulated by a universal quantification.. The universal quantification introduces a first variable... The first variable ranges over the concept ‘advance rental’.. The universal quantification scopes over a first existential quantification... The first existential quantification introduces a second variable.... The second variable ranges over the concept ‘characteristic’.... The second variable is restricted by an atomic formulation..... The atomic formulation is based on the verb concept ‘characteristic is attributed to thing’...... The ‘characteristic’ role is bound to the second variable...... The ‘thing’ role is bound to the first variable... The first existential quantification scopes over a verb concept nominalization.... The verb concept nominalization binds to the second variable.... The verb concept nominalization considers a projection..... The projection is on a third variable..... The projection is constrained by a second existential quantification...... The second existential quantification introduces a fourth variable....... The fourth variable ranges over the concept ‘rental booking’...... The second existential quantification scopes over an atomic formulation....... The atomic formulation is based on the verb concept ‘rental booking establishes advanced rental’........ The ‘rental booking’ role is bound to the fourth variable........ The ‘advanced rental’ role is bound to the third variable."/>
<sbvr:text xmi:id="txt-vom-24766" value="“Each car model is supplied by a car manufacturer”. The proposition is meant by a universal quantification.. The universal quantification introduces a first variable... The first variable ranges over the concept ‘car model’.. The universal quantification scopes over an existential quantification... The existential quantification introduces a second variable.... The second variable ranges over the concept ‘car manufacturer’... The existential quantification scopes over an atomic formulation.... The atomic formulation is based on the verb concept ‘car manufacturer supplies car model’..... The ‘car manufacturer’ role is bound to the second variable..... The ‘car model’ role is bound to the first variable."/>
<sbvr:text xmi:id="txt-vom-24850" value="“Each EU-Rent branch posts a sign stating that no personal checks are accepted by the branch”. The statement is formalized by a universal quantification.. The universal quantification is on a first variable... The variable ranges over the concept ‘EU-Rent branch’.. The universal quantification scopes over an existential quantification... The existential quantification introduces a second variable.... The second variable ranges over the concept ‘sign’.... The second variable is restricted by a second existential quantification..... The second existential quantification introduces a third variable...... The third variable ranges over the concept ‘proposition’...... The third variable is restricted by a proposition nominalization....... The proposition nominalization binds to the third variable...... The proposition nominalization considers a logical negation........ The logical operand of the negation is a third existential quantification......... The quantification introduces a fourth variable.......... The variable ranges over the concept ‘personal check’......... The quantification scopes over an atomic formulation.......... The atomic formulation is based on the verb concept ‘branch accepts monetary instrument’........... The ‘branch’ role is bound to the first variable........... The ‘monetary instrument’ role is bound to the fourth variable..... The second existential quantification scopes over an atomic formulation...... The atomic formulation is based on the verb concept ‘sign states proposition’....... The ‘sign’ role is bound to the second variable....... The ‘proposition’ role is bound to the third variable... The first existential quantification scopes over an atomic formulation.... The atomic formulation is based on the verb concept ‘branch posts sign’..... The ‘branch’ role is bound to the first variable..... The ‘sign’ role is bound to the second variable."/>
<sbvr:text xmi:id="txt-vom-25344" value="“Each rental always has exactly one requested car group.”"/>
<sbvr:text xmi:id="txt-vom-24685" value="“Each rental car that is inoperable is unavailable.” In the formulation below, a variable ranges over the concept ‘rental car’ and is restricted by an atomic formulation based on the verb concept ‘vehicle is inoperable’. Referents of the variable are thereby restricted to being rental cars and to being vehicles that are inoperable."/>
<sbvr:text xmi:id="txt-vom-24785" value="“Each rental must have at most three additional drivers.” See the introduction to Clause 9 for a semantic formulation of this rule."/>
<sbvr:text xmi:id="txt-vom-24435" value="“EU-Corp has owned EU-Rent since 1993” is an individual verb concept that is derived from the verb concept “company has owned company since calendar year”."/>
<sbvr:text xmi:id="txt-vom-24811" value="“EU-Rent has reviewed each corporate account”. The verb concept ‘company reviews account’ can be used to formulate the meaning of ‘company has reviewed account’ (the present perfect tense) by using an objectification along with a generic verb concept for the present perfect tense, ‘state of affairs has occurred’. A formulation of the example statement is similar to that of the previous example but uses the verb concept ‘state of affairs has occurred’ rather than ‘state of affairs occurs at place’."/>
<sbvr:text xmi:id="txt-vom-24719" value="“EU-Rent is a car rental company.” The statement is formulated by an instantiation formulation.. The instantiation formulation considers the concept “car rental company”.. The instantiation formulation binds to the individual noun concept ‘EU-Rent’."/>
<sbvr:text xmi:id="txt-vom-24724" value="“EU-Rent may purchase from General Motors Company.” The statement is formulated by a permissibility formulation (a kind of modal formulation) that embeds the entire formulation shown in the previous sub clause in the example under ‘atomic formulation’ - the formulation of “EU-Rent purchases from General Motors Company.” The meaning of the permissibility formulation is that EU-Rent purchases from General Motors Company in some possible world."/>
<sbvr:text xmi:id="txt-vom-24812" value="“EU-Rent privately reviews each corporate account”. A formulation of the example statement is similar to that of the previous two examples, but uses the verb concept ‘state of affairs occurs privately’."/>
<sbvr:text xmi:id="txt-vom-24699" value="“EU-Rent purchases from General Motors Company.” The statement is formulated by an atomic formulation.. The atomic formulation is based on the verb concept ‘company purchases from vendor’.. The atomic formulation has a first role binding... The first role binding is of the role ‘company’ of the verb concept... The first role binding binds to the individual noun concept ‘EU-Rent’.. The atomic formulation has a second role binding... The second role binding is of the role ‘vendor’ of the verb concept... The second role binding binds to the individual noun concept ‘General Motors Company’."/>
<sbvr:text xmi:id="txt-vom-24810" value="“EU-Rent reviews each corporate account at EU-Rent Headquarters”. The statement above could be formulated using a ternary verb concept ‘company reviews account at place’, but such a verb concept is not likely represented in a business vocabulary because it mixes two orthogonal binary verb concepts: ‘company reviews account’ and ‘state of affairs occurs at place’. The formulation below uses the two binary verb concepts and employs an objectification to tie them together. The statement is formulated by a universal quantification.. The quantification introduces a first variable... The first variable ranges over the concept ‘corporate account’.. The quantification scopes over an existential quantification... The existential quantification introduces a second variable.... The second variable ranges over the concept ‘state of affairs’.... The second variable is restricted by an objectification..... The objectification binds to the second variable..... The objectification considers an atomic formulation...... The atomic formulation is based on the verb concept ‘company reviews account’....... The ‘company’ role is bound to the individual noun concept ‘EU-Rent’....... The ‘account’ role is bound to the first variable... The existential quantification scopes over an atomic formulation.... The atomic formulation is based on the verb concept ‘state of affairs occurs at place’..... The ‘state of affairs’ role is bound to the second variable..... The ‘place’ role is bound to the individual noun concept ‘EU-Rent Headquarters’."/>
<sbvr:text xmi:id="txt-vom-24434" value="“EU-Rent was incorporated in Luxembourg in 1991” and “EU-Corp was incorporated in Geneva in 1993” are individual verb concepts that are derived from the verb concept “company was incorporated in jurisdiction in calendar year”."/>
<sbvr:text xmi:id="txt-vom-24813" value="“If a rental car is returned late because the car has a mechanical breakdown ….” In a possible formulation of this example, objectifications of “the car has a mechanical breakdown” and “the rental car is returned late” respectively formulate something for each role of the verb concept ‘actuality causes actuality’."/>
<sbvr:text xmi:id="txt-vom-24932" value="“Is a car available”? The question is meant by a closed projection.. The projection is on a unitary variable... The variable ranges over the concept ‘truth-value’.. The projection is constrained by a universal quantification... The universal quantification introduces a second unitary variable.... The second variable ranges over the concept ‘proposition’.... The second variable is restricted by a proposition nominalization..... The proposition nominalization binds to the second variable..... The proposition nominalization considers an existential quantification...... The existential quantification introduces a third variable....... The variable ranges over the concept ‘car’...... The existential quantification scopes over an atomic formulation....... The atomic formulation is based on the verb concept ‘car is available’........ The ‘car’ role is bound to the third variable."/>
<sbvr:text xmi:id="txt-vom-25347" value="“It is impossible that the same rental car is owned by more than one branch.”"/>
<sbvr:text xmi:id="txt-vom-25343" value="“It is necessary that each rental has exactly one requested car group.”"/>
<sbvr:text xmi:id="txt-vom-25368" value="“It is neither impossible nor necessary that a renter’s age is less than 21 years.”"/>
<sbvr:text xmi:id="txt-vom-25359" value="“It is neither prohibited nor obligatory that the renter shows photo identification at the pick-up time of a rental.”"/>
<sbvr:text xmi:id="txt-vom-25365" value="“It is not necessary that the notification date/time of a bad experience that occurs during a rental be on or before the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25356" value="“It is not obligatory that the drop-off branch of a rental be the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25329" value="“It is obligatory that a rental incurs a location penalty charge if the drop-off location of the rental is not the EU-Rent site of the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25360" value="“It is permitted but not obligatory that the renter shows picture identification at the pick-up time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25335" value="“It is permitted that a rental is open only if an estimated rental charge is provisionally charged to the credit card of the renter of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25355" value="“It is permitted that the drop-off branch of a rental is not the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25367" value="“It is possible but not necessary that a renter’s age is less than 21 years.”"/>
<sbvr:text xmi:id="txt-vom-25349" value="“It is possible that a rental is an open rental only if the rental car of the rental has been picked up.”"/>
<sbvr:text xmi:id="txt-vom-25363" value="“It is possible that the notification date/time of a bad experience that occurs during a rental is after the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25333" value="“It is prohibited that the duration of a rental be more than 90 rental days.”"/>
<sbvr:text xmi:id="txt-vom-24833" value="“No rental’s pick-up branch changes”. The statement is formulated by a logical negation.. The logical operand of the logical negation is an existential quantification... The quantification introduces a first variable.... The first variable ranges over the concept ‘rental’... The quantification scopes over a second existential quantification.... The quantification ranges over a second variable, which is unitary..... The second variable ranges over the concept ‘unitary noun concept’..... The second variable is restricted by a noun concept nominalization...... The noun concept nominalization binds to the second variable...... The noun concept nominalization considers a projection....... The projection is on a third variable, which is unitary........ The third variable ranges over the concept ‘pick-up branch’....... The projection is constrained by an atomic formulation........ The atomic formulation is based on the verb concept ‘rental has pick-up branch’........ The ‘rental’ role binds to the first variable........ The ‘pick-up branch’ role binds to the third variable.... The second quantification scopes over an atomic formulation..... The atomic formulation is based on the verb concept ‘unitary noun concept* changes’..... The ‘unitary noun concept*’ role binds to the second variable. (See C.1.6, Intensional Roles, about the verb concept ‘unitary noun concept* changes.’)"/>
<sbvr:text xmi:id="txt-vom-24429" value="“the consolidated global account (a situational role) is filed in the base currency (a situational role) in the compliant format (a situational role)” specializes the verb concept “account is filed in currency in acceptable format”. It defines the unitary verb concept that currently has the extension “the consolidated global account is filed in Swiss Francs in XBRL”"/>
<sbvr:text xmi:id="txt-vom-25357" value="“The drop-off branch of a rental need not be the return branch of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25334" value="“The duration of a rental must not be more than 90 rental days.”"/>
<sbvr:text xmi:id="txt-vom-24617" value="“The EU-Rent London-Heathrow Branch wants to be profitable”. Even when that branch is unprofitable, the previous statement can correspond to an actuality that involves the desired state of affairs that the EU-Rent London-Heathrow Branch is profitable. The desired state of affairs exists as an object of desire and planning regardless of whether there is ever an actual state of profitability. It exists and is involved in an actuality (an instance of the verb concept ‘company wants state of affairs’) even when the branch is unprofitable. The nature of the desired state of affairs is that it is a ‘desired state of affairs’ - conceived but not perceived. The actual state of affairs that the EU-Rent London-Heathrow Branch is profitable exists only when the branch is profitable. The nature of the actual state of affairs, if it exists, is that it is a happening in the world. It is perceived, as well as being conceived."/>
<sbvr:text xmi:id="txt-vom-24695" value="“The logo is inscribed on each EU-Rent vehicle.” This example is the same as the one above except that the ‘expression’ role is bound to the logo."/>
<sbvr:text xmi:id="txt-vom-25319" value="“The notification date/time of a bad experience that occurs during a rental can be after the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-25364" value="“The notification date/time of a bad experience that occurs during a rental can be after the actual return date/time of the rental.”"/>
<sbvr:text xmi:id="txt-vom-24827" value="“The number of rental cars stored at a given branch must not exceed the car storage capacity of the branch.” This example considers the number of elements in a set (the set of rental cars stored at a branch). The projection of an aggregation formulation is used to define that set, and the aggregation formulation restricts the third variable below so that its referent is that set."/>
<sbvr:text xmi:id="txt-vom-24428" value="“The President (a situational role) flies to the alternate seat of government (a situational role) on Air Force One (a situational role)”. The single state of affairs in the extension changes as, over time, different people, places and aircraft fill the roles."/>
<sbvr:text xmi:id="txt-vom-25348" value="“The same rental car is never owned by more than one branch.”"/>
<sbvr:text xmi:id="txt-vom-24694" value="“The text ‘EU-Rent’ is inscribed on each EU-Rent vehicle.” A logical formulation of this proposition involves a binding to the text “EU-Rent,” which simply refers to that expression, not to the individual noun concept ‘EU-Rent’ nor to any representation of it. The logical formulation also involves a binding to a variable that ranges over the concept ‘EU-Rent vehicle’. The proposition is meant by a universal quantification.. The universal quantification introduces a variable... The variable ranges over the concept ‘EU-Rent vehicle’.. The universal quantification scopes over an atomic formulation... The atomic formulation is based on the verb concept ‘expression is inscribed on object’.... The ‘expression’ role is bound to the text “EU-Rent.”... The ‘object’ role is bound to the variable"/>
<sbvr:text xmi:id="txt-vom-24897" value="A bag projection treats the resulting set of actualities as a set of the corresponding involvements of referents of the projection variables in roles in those actualities. A thing that participates in those involvements may participate in more than one involvement and therefore have multiple “occurrences” in the projection result. In many cases, the use of the projection reduces the set of involvements to the set of things involved (and ignores the fact of multiple occurrence). But in some cases the distinguished involvements/occurrences are important."/>
<sbvr:text xmi:id="txt-vom-24951" value="A body of shared meanings contains meanings of:"/>
<sbvr:text xmi:id="txt-vom-25371" value="a business (e.g., EU-Rent), a governmental body, a standards organization, a professional society, a club, a homeowner’s association"/>
<sbvr:text xmi:id="txt-vom-25006" value="A categorization type is either partial or complete. It is complete if it necessarily categorizes everything of the general concept that it is for."/>
<sbvr:text xmi:id="txt-vom-24439" value="A characteristic always has exactly one role, but it can be defined using verb concepts having multiple roles."/>
<sbvr:text xmi:id="txt-vom-24848" value="A closed logical formulation means exactly one proposition. An open logical formulation does not mean any proposition. In the case of variables being free within a considered logical formulation, the formulation is considered to mean a proposition only in the context of there being a referent thing given for each free variable."/>
<sbvr:text xmi:id="txt-vom-24910" value="A closed projection defines a noun concept by formulating a set of incorporated characteristics that determine the noun concept. These incorporated characteristics include:"/>
<sbvr:text xmi:id="txt-vom-24853" value="A closed projection means at most one question. In the case of variables being free within a projection, the projection is considered to mean a question only in the context of there being a referent thing given for each free variable."/>
<sbvr:text xmi:id="txt-vom-24604" value="A concept ‘tire position’, which has only four instances, has a reference scheme that uses two characteristics, ‘tire position is in front’ and ‘tire position is on the right’. Any of the four positions can be identified by knowing whether or not it is in front and whether or not it is on the right. The meaning of a reference based on this scheme is an individual noun concept having the more general concept ‘tire position’ and having a delimiting characteristic that is either being in front or not being in front and another delimiting characteristic that is either being on the right or not being on the right"/>
<sbvr:text xmi:id="txt-vom-24624" value="A concept corresponds to each instance of the concept. A proposition corresponds to a state of affairs (which might or might not be actual). A proposition that is true corresponds to an actuality."/>
<sbvr:text xmi:id="txt-ifm-18386" value="A concept has an implied characteristic only if it follows by logical implication from some combination of incorporations of characteristics by concepts and/or structural rules that the characteristic is always attributed to each instance of the concept."/>
<sbvr:text xmi:id="txt-vom-24986" value="A concept has an implied characteristic only if it follows by logical implication from some combination of incorporations of characteristics by concepts and/or structural rules that the characteristic is always attributed to each instance of the concept."/>
<sbvr:text xmi:id="txt-vom-24399" value="A concept is related to a concept type by being an instance of the concept type ."/>
<sbvr:text xmi:id="txt-vom-25366" value="A contingency statement may take various forms, each expressing the meaning of the same advice of contingency&apos; as illustrated by the following examples."/>
<sbvr:text xmi:id="txt-vom-24577" value="A designation in an attributive namespace typically represents a role of a binary verb concept . In English, such a designation can typically be used with any of several attributive forms, such as “... has …” or “… of …”. A designation in an attributive namespace can also represent a characteristic ."/>
<sbvr:text xmi:id="txt-vom-24494" value="A detailed vocabulary concerning text is provided by the Unicode specification. Taking the concept ‘text’ from the Unicode specification does not mean that a text is a Unicode encoding, but rather, it implies that a text can be represented by a Unicode encoding in electronic communications. Unicode encodings provide the common means of text representation in word processors, mail systems, the Internet, and so on. The encodings tend to be invisible to people writing and reading the text."/>
<sbvr:text xmi:id="txt-vom-24490" value="a diagram"/>
<sbvr:text xmi:id="txt-vom-24455" value="A full understanding of ‘individual noun concept’ requires a full understanding of the Necessities in sub clause 8.6.2 “Necessities Concerning Extension.”"/>
<sbvr:text xmi:id="txt-vom-24396" value="A general concept incorporates a set of characteristics which are a unique combination that distinguishes that general concept from all other general concepts. See ‘ concept incorporates characteristic ’. If a general concept A and a general concept B have the very same incorporated characteristics, they are the same concept. If they have the very same necessary characteristics, they are logically equivalent and they denote the same things in all possible worlds."/>
<sbvr:text xmi:id="txt-vom-24469" value="A general concept ranged over by a role can be a situational role."/>
<sbvr:text xmi:id="txt-vom-25119" value="A given community may choose to include any number of facets, including just one or none at all."/>
<sbvr:text xmi:id="txt-vom-24584" value="A language can be a natural language or an unnatural one, such as a computer language or a system of mathematical symbols."/>
<sbvr:text xmi:id="txt-vom-24585" value="A language is often identified by its name. ISO provides names of many languages in ISO639-2 (English) and provides short (at most 3 letters) language-independent codes in ISO639-2 (Alpha-3 Code) ."/>
<sbvr:text xmi:id="txt-vom-24684" value="A logical formulation restricts a variable in the same way that a concept ranged over by the variable restricts the variable. It limits what the variable refers to. A restrictive clause in a statement is generally formulated as a logical formulation that restricts a variable. A variable restricted by a logical formulation is, except in rare cases, a free variable of the logical formulation."/>
<sbvr:text xmi:id="txt-vom-24887" value="A logical formulation that constrains a projection restricts the results of the projection. If there is no constraining logical formulation, then there is no restriction other than what is on variables in the projection."/>
<sbvr:text xmi:id="txt-vom-25226" value="a mention or citation of a source of information in a book or article [NODE ‘reference’]"/>
<sbvr:text xmi:id="txt-vom-24549" value="A noun form can have a placeholder for each role of a verb concept, in which case the noun form result comes from the role the first placeholder is for. A noun form can also have one less placeholder than there are roles, in which case the noun form result comes from the role that no placeholder is for."/>
<sbvr:text xmi:id="txt-vom-24786" value="A number of referents is at most one if and only if every referent is the same referent."/>
<sbvr:text xmi:id="txt-vom-24792" value="A number of referents is exactly one if and only if there is a referent and every referent is that same referent."/>
<sbvr:text xmi:id="txt-vom-24799" value="A numeric range quantification is logically equivalent to a conjunction of an at-least-n quantification and an at-most-n quantification using the minimum cardinality and maximum cardinality respectively."/>
<sbvr:text xmi:id="txt-vom-24517" value="A paradoxical expression is not an expression of a statement. A paradox is independent of whether or not the truth-value is known."/>
<sbvr:text xmi:id="txt-vom-25129" value="a particular way in which some thing may be considered; its particular nature, appearance, or quality; the particular part or feature of it [NODE ‘aspect’]"/>
<sbvr:text xmi:id="txt-vom-24347" value="a position in a graded or ordered scale of values that specifies the severity of action imposed in order to put or keep an operative business rule in force"/>
<sbvr:text xmi:id="txt-vom-25275" value="a position on a real or imaginary scale of amount, quantity, extent, or quality [NODE ‘level’]"/>
<sbvr:text xmi:id="txt-vom-24690" value="A possible formulation of the rule, “The pick-up location of each rental must be a EU-Rent branch,” has a variable for ‘pick-up location’ that is unitary with respect to each rental as indicated by the use of the definite article “the.” The possible formulation is an obligation formulation that embeds a universal quantification introducing a variable ranging over the concept “rental” and that embeds a second universal quantification introducing a second variable which is restricted by an atomic formulation based on the verb concept ‘rental has pick-up location’. That second variable is unitary indicating that exactly one pick-up location is meant for each rental. The second universal quantification scopes over a formulation of the pick-up location being a EU-Rent branch. The overall formulation applies the obligation formulation to the pick-up location being a EU-Rent branch. It does not apply the obligation formulation to there being one pick-up branch per rental, which is understood structurally as what is meant in the expression of the rule and not part of the obligation. Note that if the universal quantifications of the formulation above are reversed such that a quantification introducing the variable for ‘pick-up location’ embeds the quantification introducing the variable for ‘rental’, then the variable for ‘pick-up rental’ is not unitary because it would have multiple referents (one for each distinct pick-up location). Such a formulation would not properly capture the sense of the rule statement."/>
<sbvr:text xmi:id="txt-vom-25251" value="A practicable business rule is also always free of any indefinite reference to people (e.g., “you,” “me”), places (e.g., “here”), and time (e.g., “now”). By that means, if the person is displaced in place and/or time from the author(s) of the business rule, the person can read it and still fully understand it, without (a) assistance from any machine (e.g., to “tell” time), and (b) external clarification."/>
<sbvr:text xmi:id="txt-vom-25272" value="a prescribed guide for conduct or action [MWCD ‘rule’]"/>
<sbvr:text xmi:id="txt-vom-25271" value="a prescribed, suggested, or self-imposed guide for conduct or action: a regulation or principle […] [MWU (1a) ‘rule’]"/>
<sbvr:text xmi:id="txt-vom-24875" value="A projection"/>
<sbvr:text xmi:id="txt-vom-24898" value="A projection formalizing the expression, “account balances of customers that are preferred,” is on a variable (account balance) and has an auxiliary variable (customer). Only balances are in the result, but there can be duplicates where multiple customers have the same balance."/>
<sbvr:text xmi:id="txt-vom-24899" value="A projection formalizing the expression, “customers that are preferred,” is closed – there is no variable that is not introduced. But within a formulation of the expression, “Each branch must report the number of car models offered by the branch,” the projection of “car models offered by the branch” is open because it binds to a variable (branch) that is introduced outside of the projection ."/>
<sbvr:text xmi:id="txt-vom-24896" value="A projection formalizing the expression, “customers that are preferred,” is on a single variable (customer). There is no auxiliary variable&apos; so the result is necessarily a set."/>
<sbvr:text xmi:id="txt-vom-24877" value="A projection introduces one or more variables corresponding to involvements in actualities. If the projection is constrained by a logical formulation, then for each combination of variables, one referent for each variable, the actuality is that the meaning of the constraining formulation is true. If the projection has no constraining formulation, then for each combination of variables, one referent for each variable, the actuality is that the referents exist. That is, the basic meaning of a projection is a verb concept in which all of the variables introduced by the projection correspond to roles. The basic meaning corresponds to actualities for which the following proposition holds: t1 is a valid referent of v1 [ AND t2 is a valid referent of v2... AND tn is a valid referent of vn ] [ AND S(t1,..., tn) ] where v1,..., vn are the variables introduced by the projection, t1,..., tn are things, and S(t1,..., tn) is the proposition formulated by the logical formulation that constrains the projection, if any, with those things substituted for the occurrences of the corresponding variables. The meaning of a projection in some uses, however, can be restricted to refer to the involvements of the things in the roles (denoted by the projection variables) in those actualities, or to the things that have those involvements."/>
<sbvr:text xmi:id="txt-vom-25125" value="a property or group of properties of something without which it would not exist or be what it is [NODE ‘essence’]"/>
<sbvr:text xmi:id="txt-vom-24481" value="A proposition can be true with respect to one possible world and false with respect to another. See “possible world” in Clause 10."/>
<sbvr:text xmi:id="txt-vom-24476" value="A proposition is always either true or false with respect to a possible world regardless of whether its truth value is known or is of interest."/>
<sbvr:text xmi:id="txt-vom-24483" value="A proposition is considered to be necessarily true if it is true by definition - the definitions of relevant concepts make it logically impossible for the proposition to be false."/>
<sbvr:text xmi:id="txt-vom-24480" value="A proposition is true if and only the state of affairs to which it corresponds is actual, regardless of whether that state of affairs has been actual in the past or will be actual in the future."/>
<sbvr:text xmi:id="txt-vom-24411" value="A propositional function becomes a proposition when it is closed; it is closed by binding it to a logical constant (an individual noun concept) or a quantified variable (that ranges over some possibly qualified noun concept)."/>
<sbvr:text xmi:id="txt-vom-25081" value="a quality or trait belonging to a person or thing [MWUD property]"/>
<sbvr:text xmi:id="txt-vom-25087" value="a quality or trait belonging to a person or thing; [MWUD ‘property’]"/>
<sbvr:text xmi:id="txt-vom-24769" value="A quantification other than a universal quantification does not necessarily scope over a logical formulation (e.g., formulation of “some customer exists” can simply be an existential quantification introducing a variable that ranges over the concept ‘customer’)."/>
<sbvr:text xmi:id="txt-vom-24930" value="A question using an interrogative operator such as ‘what’, ‘when’, ‘where’, ‘why’, or ‘how’ is generally formulated by a projection on a variable that ranges over a concept that matches the operator. The interrogative ‘what’ is often used with a designation of a noun concept such as in “What car is available?” in which case the variable ranges over the noun concept ‘car’. For each of the other operators the variable ranges over a noun concept fitting to that operator as if ‘what’ had been used with a designation for that concept. Examples of the correspondence of interrogative operators to noun concepts is shown below. “When is a car available?” What time “How is a car driven?” What method “Where is a car?” What location “Who can drive a car?” What person “Why is a car available?” What cause Note that definition of these nouns (underlined above) is outside the scope of SBVR. However, the concept ‘cause’ is a role that ranges over the concept ‘actuality’ so an answer to a ‘why’ question is often formulated using an objectification (the last example under ‘objectification’ considers one actuality as a cause of another)."/>
<sbvr:text xmi:id="txt-vom-24590" value="A reference scheme can also use one or more characteristics."/>
<sbvr:text xmi:id="txt-vom-24591" value="A reference scheme can be partial or complete. It is complete if it can always be used to refer to every instance of a concept. An overall complete reference scheme for a concept can result from there being multiple partial reference schemes for that concept, its more general concepts, and its categories."/>
<sbvr:text xmi:id="txt-vom-24599" value="A reference scheme for ‘car model’ simply uses the ‘name’ role of the binary verb concept ‘car model has name’. An example of a reference based on this reference scheme identifies a particular car model as having the name “Chevrolet Cavalier.” The meaning of the reference is an individual noun concept having this definition: the car model that has the name “Chevrolet Cavalier.”"/>
<sbvr:text xmi:id="txt-vom-24594" value="A reference scheme implies that there is uniqueness – that whatever facts are used to reference an individual thing uniquely identify that one thing."/>
<sbvr:text xmi:id="txt-vom-24589" value="A reference scheme is a way of referring to instances of a concept by way of related things that are either lexical or are otherwise identifiable. A reference scheme usually uses one or more verb concept roles of binary verb concepts in order to identify an instance of a concept from facts about the instance."/>
<sbvr:text xmi:id="txt-vom-24753" value="A referent of the introduced variable satisfies a scope formulation if the meaning formulated by the scope formulation is true with every occurrence of the variable interpreted as referring to the referent."/>
<sbvr:text xmi:id="txt-vom-24725" value="A rental may be open only if an estimated rental charge is provisionally charged for the rental&quot;. The same rule can be stated this way: “It is prohibited that a rental is open if an estimated rental charge is not provisionally charged for the rental.” Both statements can be formulated in the same way: The rule is a proposition meant by an obligation formulation.. The obligation formulation embeds a logical negation.. The logical operand of the logical negation is a universal quantification.... The universal quantification introduces a first variable..... The first variable ranges over the concept ‘rental’.... The universal quantification scopes over an implication..... The consequent of the implication is an atomic formulation...... The atomic formulation is based on the verb concept ‘rental is open’....... The ‘rental’ role is bound to the first variable..... The antecedent of the implication is an existential quantification...... The existential quantification introduces a second variable....... The second variable ranges over the concept ‘estimated rental charge’...... The existential quantification scopes over a logical negation....... The logical operand of the logical negation is an atomic formulation........ The atomic formulation is based on the verb concept ‘estimated rental charge is provisionally charged for rental’......... The ‘estimated rental charge’ role is bound to the second variable......... The ‘rental’ role is bound to the first variable."/>
<sbvr:text xmi:id="txt-vom-25337" value="A restricted permission statement should not be confused with a statement of advice of permission. The latter should never contain ‘only’, which is always interpreted as eliminating or diminishing a degree of freedom (i.e., indicating the presence of a rule). This inclusion of ‘only’ is the key characteristic of restricted permission statements."/>
<sbvr:text xmi:id="txt-vom-25351" value="A restricted possibility statement should not be confused with a statement of advice of possibility. The latter should never contain ‘only’, which is always interpreted as eliminating or diminishing a degree of freedom (i.e., indicating the presence of a rule). This inclusion of ‘only’ is the key characteristic of restricted possibility statements."/>
<sbvr:text xmi:id="txt-vom-24874" value="A restriction on a variable introduced by a projection cannot involve any other variable introduced by the projection."/>
<sbvr:text xmi:id="txt-vom-24404" value="A role can be a general concept or a verb concept role. A role is always understood with respect to actualities of a particular verb concept or to other particular situations."/>
<sbvr:text xmi:id="txt-vom-25266" value="A rule’s being under business jurisdiction means that it is under the jurisdiction of an authority that can opt to change or discard the rule at its own discretion. Laws of physics may be relevant to a company; legislation and regulations may be imposed on it; external standards and best practices (other than business rules) may be relied upon. These things are not business rules from the company&apos;s perspective, since it does not have the standing to change them. The company will decide how to react to laws and regulations, and will create or adopt business rules to ensure compliance with the laws and regulations. Similarly, it will create or adopt business rules to ensure that standards or best practices (other than business rules) are implemented as intended. See sub clause A.2.3."/>
<sbvr:text xmi:id="txt-vom-25244" value="A rulebook contains representations (designations, verb concept wordings, definitions, notes, descriptive examples, etc.) of all meanings of a body of shared meanings. This can include representations of elements of guidance when a body of shared guidance is included in a body of shared meanings."/>
<sbvr:text xmi:id="txt-vom-24689" value="A sensible projection formulating “the renter of a given rental” is on a unitary variable (renter) and has an auxiliary variable (rental). The rental variable being unitary indicates there is exactly one renter for each rental. But a set projection formulating “renter of at least one rental” is not on a unitary variable because the variable for rental is introduced within the logical formulation that constrains the projection and not by the projection itself. The projection result can include multiple renters and does not relate these to particular rentals."/>
<sbvr:text xmi:id="txt-vom-25130" value="a set of circumstances in which one finds oneself; a state of affairs [NODE ‘situation’]"/>
<sbvr:text xmi:id="txt-vom-24077" value="a set of instances of the verb concept role&apos; which is of a binary verb concept&apos; serves as identification or partial identification of an instance of the concept having the reference scheme where the set is the set of all instances of the verb concept role related by way of the binary verb concept that has the verb concept role"/>
<sbvr:text xmi:id="txt-vom-25132" value="A situation typically pertains for some period of time, during which changes may occur."/>
<sbvr:text xmi:id="txt-vom-24489" value="a smile"/>
<sbvr:text xmi:id="txt-vom-24963" value="A speech community may use a vocabulary that is owned by a different speech community."/>
<sbvr:text xmi:id="txt-vom-24964" value="A speech community of specialists (such as accountants of engineers) creates a “layman’s vocabulary” for their specialization, to be used in discourse with general management."/>
<sbvr:text xmi:id="txt-vom-25194" value="a spoken or written representation or account of a person, object, or event [NODE ‘description’]"/>
<sbvr:text xmi:id="txt-vom-24610" value="A state of affairs can be possible or impossible. Some of the possible ones are actualities. A proposition corresponds to a state of affairs . A state of affairs either occurs or does not occur, whereas a proposition is either true or false."/>
<sbvr:text xmi:id="txt-vom-24611" value="A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen."/>
<sbvr:text xmi:id="txt-vom-24516" value="A statement combines a single expression with a single meaning of that expression. If an expression is an ambiguous sentence, one that represents two different propositions, each of the two representations is considered to be a separate statement. See ‘ expression is unambiguous to speech community ’ in 11.3.1.4."/>
<sbvr:text xmi:id="txt-vom-25298" value="a statement that provides advice or information aimed at resolving a problem or difficulty, especially as given by someone in authority [NODE ‘guidance’]"/>
<sbvr:text xmi:id="txt-vom-25144" value="A term is typically formed using a common noun or noun phrase."/>
<sbvr:text xmi:id="txt-vom-24495" value="A text is taken as a sequence of characters. Interpretation of markup is not addressed by this document."/>
<sbvr:text xmi:id="txt-vom-25204" value="a thing characteristic of its kind or illustrating a general rule [NODE ‘example’]"/>
<sbvr:text xmi:id="txt-vom-24651" value="A thing fills a verb concept role in an actuality if and only if the actuality is an instance of the verb concept that has the verb concept role ."/>
<sbvr:text xmi:id="txt-ifm-18163" value="A thing fills a verb concept role in an actuality if and only if the actuality is an instance of the verb concept that has the verb concept role."/>
<sbvr:text xmi:id="txt-vom-24629" value="A thing is an instance of a concept if and only if the thing is in the extension of the concept ."/>
<sbvr:text xmi:id="txt-ifm-18141" value="A thing is an instance of a concept if and only if the thing is in the extension of the concept."/>
<sbvr:text xmi:id="txt-vom-24649" value="A thing is an instance of a verb concept role if and only if the thing fills the verb concept role in an actuality ."/>
<sbvr:text xmi:id="txt-ifm-18161" value="A thing is an instance of a verb concept role if and only if the thing fills the verb concept role in an actuality."/>
<sbvr:text xmi:id="txt-vom-25043" value="A thing is conceptualized as unitary if a semantic community doesn’t think of it as having components, even though some other community may be aware of and concerned about its decomposition."/>
<sbvr:text xmi:id="txt-vom-24857" value="A thing referred to by a bindable target bound to an answer nominalization is a satisfactory proposition if it correctly and completely holds the result of the answer nominalization’s projection. A satisfying proposition incorporates the meaning formulated by the projection in the context of there being a referent thing given for each free variable of the projection. Further, the satisfying proposition refers to each referent of each variable in the projection. If the projection result has multiple elements, a satisfying proposition holds them all, conjunctively. If the projection result is empty, a satisfying projection indicates that it is empty."/>
<sbvr:text xmi:id="txt-vom-25051" value="a thing that retains its identity even though its states and relations may change. [NODE ‘continuant’ 2]"/>
<sbvr:text xmi:id="txt-vom-24931" value="A true/false question is typically nominalized using the interrogative operator ‘whether’ as in “The customer asked whether a car is available,” but is asked (in English) with no such operator: “Is a car available?”. The meaning of ‘whether’ in this context is “What truth-value does this proposition have?”. The formulation of such a question is a projection on a variable that ranges over a characteristic type (here called ‘truth-value’) whose instances are the characteristics ‘proposition is true’ and ‘proposition is false’. The projection is constrained by the truth-value being that of the proposition “a car is available” formulated using proposition nominalization."/>
<sbvr:text xmi:id="txt-vom-24445" value="A unitary noun concept has at most one instance at any given time in a given possible world, but the instance can change over time."/>
<sbvr:text xmi:id="txt-vom-25177" value="A use of an individual noun concept by its name denotes the thing that is in the extension of the individual noun concept."/>
<sbvr:text xmi:id="txt-vom-25159" value="a usu. pictorial representation [MWCD ‘icon’]"/>
<sbvr:text xmi:id="txt-vom-24921" value="A variable maps to a verb concept role only if a closed projection that is on the variable defines a verb concept that has the verb concept role ."/>
<sbvr:text xmi:id="txt-ifm-18350" value="A variable maps to a verb concept role only if a closed projection that is on the variable defines a verb concept that has the verb concept role."/>
<sbvr:text xmi:id="txt-vom-24864" value="A variable that is free within a logical formulation that constrains a projection is free within the projection if and only if the projection is not on the variable and the variable is not an auxiliary variable of the projection ."/>
<sbvr:text xmi:id="txt-ifm-18308" value="A variable that is free within a logical formulation that constrains a projection is free within the projection if and only if the projection is not on the variable and the variable is not an auxiliary variable of the projection."/>
<sbvr:text xmi:id="txt-vom-24762" value="A variable that is free within a logical formulation that is scoped over by a quantification is free within the quantification if and only if the quantification does not introduce the variable ."/>
<sbvr:text xmi:id="txt-ifm-18248" value="A variable that is free within a logical formulation that is scoped over by a quantification is free within the quantification if and only if the quantification does not introduce the variable."/>
<sbvr:text xmi:id="txt-ifm-18250" value="A variable that is free within a logical formulation that restricts a variable that is introduced by a quantification is free within the quantification if and only if the quantification does not introduce the variable."/>
<sbvr:text xmi:id="txt-vom-24764" value="A variable that is free within a logical formulation that restricts a variable that is introduced by a quantification is free within the quantification if and only if the quantification does not introduce the variable."/>
<sbvr:text xmi:id="txt-ifm-18316" value="A variable that is free within a logical formulation that restricts an auxiliary variable of a projection is free within the projection if and only if the variable is not the auxiliary variable."/>
<sbvr:text xmi:id="txt-vom-24872" value="A variable that is free within a logical formulation that restricts an auxiliary variable of a projection is free within the projection if and only if the variable is not the auxiliary variable."/>
<sbvr:text xmi:id="txt-ifm-18314" value="A variable that is free within a logical formulation that restricts another variable that is in a projection is free within the projection."/>
<sbvr:text xmi:id="txt-vom-24870" value="A variable that is free within a logical formulation that restricts another variable that is in a projection is free within the projection."/>
<sbvr:text xmi:id="txt-ifm-18312" value="A variable that is in a projection is not free within the projection."/>
<sbvr:text xmi:id="txt-vom-24868" value="A variable that is in a projection is not free within the projection."/>
<sbvr:text xmi:id="txt-vom-24443" value="A verb concept can have two roles that seem to be identical (e.g., ‘person is married to person’ where each role can be called ‘spouse’)."/>
<sbvr:text xmi:id="txt-vom-24916" value="A verb concept defined by a closed projection incorporates the following characteristics:"/>
<sbvr:text xmi:id="txt-vom-24835" value="A verb concept nominalization formulates the (anonymous) verb concept defined by a projection. In most uses of verb concept nominalizations, the bindable target is a unitary variable, and the effect is to define the variable to refer to the anonymous verb concept defined by the projection. It is the only referent for which the verb concept nominalization will hold."/>
<sbvr:text xmi:id="txt-vom-25173" value="A verb concept role designation should not be confused with a placeholder or with a term for a situational role, even though all of these can have the same expression. A situational role is a general concept and is not a verb concept role."/>
<sbvr:text xmi:id="txt-vom-25174" value="A verb concept role designation should not be confused with a placeholder, which is part of a verb concept wording. In uses of a verb concept wording, placeholders are replaced. A verb concept role designation can replace a placeholder. Verb concept role designations occur in statements and definitions to refer to what fills the role."/>
<sbvr:text xmi:id="txt-vom-24409" value="A verb concept role is fundamentally understood as a point of involvement in actualities that correspond to a verb concept. Its incorporated characteristics come from the verb concept - what the verb concept requires of instances of the role. It is possible that two verb concept roles incorporate the same characteristics, such as when a binary verb concept means the same thing when roles are reversed, as in ‘person is married to person’."/>
<sbvr:text xmi:id="txt-vom-24475" value="A verb concept role is played by a thing in the domain of discourse - the world of interest. A verb concept is ‘bound’ by specifying the thing(s) that play the verb concept role. Linguistically those things can be specified by a quantified noun phrase or by an individual noun concept or an expression or a pronoun that refers to a specific thing."/>
<sbvr:text xmi:id="txt-vom-24421" value="A verb concept role is played by a thing in the domain of discourse - the world of interest. A verb concept is N&apos;bound&apos; by specifying the thing(s) that play the verb concept role. Linguistically those things can be specified by a quantified noun phrase or by an individual concept or by a pronoun that refers to a specific thing."/>
<sbvr:text xmi:id="txt-vom-24593" value="A verb concept role is used in a reference scheme in either of two ways. A simple use of a verb concept role involves a single instance of the verb concept role in each reference based on the scheme. An extensional use of a verb concept role involves the entire set of related instances of the verb concept role in each reference based on the scheme."/>
<sbvr:text xmi:id="txt-vom-24925" value="A verb concept role that is mapped from a projection variable of a closed projection incorporates the following characteristics (which are the same as if a general concept is defined by the projection with the one modification that all other introduced variables are auxiliary):"/>
<sbvr:text xmi:id="txt-vom-24524" value="A verb concept wording is not a designation for a verb concept. It is a syntactic structure of expressions that is a pattern for using a designation of the verb concept in definitions and statements."/>
<sbvr:text xmi:id="txt-vom-25158" value="A verbal designation, such as a term or name, can contain parts that are nonverbal. Some abbreviations are nonverbal while others, being expressed as words, are terms or names."/>
<sbvr:text xmi:id="txt-vom-24960" value="A vocabulary contains only designations and verb concept wordings. Contrast a terminological dictionary, which further adds definitions, descriptions, etc. A rulebook includes everything that is in a terminological dictionary, plus representations of behavioral elements of guidance in a body of shared guidance."/>
<sbvr:text xmi:id="txt-vom-24471" value="A wff is a special case of statement in which there are no free occurrences of any variable, i.e., either it has constants in place of variables, or its variables are bound, or both."/>
<sbvr:text xmi:id="txt-vom-25247" value="able to be done or put into practice successfully; able to be used, useful [ODE]"/>
<sbvr:text xmi:id="txt-vom-24437" value="abstraction of a property of an object [thing ] or of a set of objects"/>
<sbvr:text xmi:id="txt-vom-24618" value="Actualities are states of affairs that actually happen, as distinct from states of affairs that don’t happen but nevertheless exist as subjects of discourse and can be imagined or planned."/>
<sbvr:text xmi:id="txt-ifm-17739" value="actuality"/>
<sbvr:text xmi:id="txt-vom-24041" value="actuality that a given expression represents a given meaning"/>
<sbvr:text xmi:id="txt-ifm-17912" value="adopted definition"/>
<sbvr:text xmi:id="txt-ph-17913-3" value="adopted definition"/>
<sbvr:text xmi:id="txt-ifm-18038" value="adopting authority"/>
<sbvr:text xmi:id="txt-ph-18040-1" value="adopting authority"/>
<sbvr:text xmi:id="txt-ifm-18040" value="adopting authority adopts element of guidance from owning authority citing reference"/>
<sbvr:text xmi:id="txt-vom-25032" value="Adoption of the definition of ‘concept’ (‘unité de connaissance créée par une combinaison unique de caractères’) from ISO 1087 by the French-speaking SBVR speech community."/>
<sbvr:text xmi:id="txt-vom-25030" value="Adoption of the definition of ‘concept’ from ISO 1087 by the English-speaking SBVR speech community."/>
<sbvr:text xmi:id="txt-ifm-18005" value="advice"/>
<sbvr:text xmi:id="txt-ph-18006-1" value="advice"/>
<sbvr:text xmi:id="txt-ifm-18006" value="advice is derived from business policy"/>
<sbvr:text xmi:id="txt-ifm-18008" value="advice of contingency"/>
<sbvr:text xmi:id="txt-ifm-18010" value="advice of optionality"/>
<sbvr:text xmi:id="txt-ifm-18009" value="advice of permission"/>
<sbvr:text xmi:id="txt-vom-24354" value="advice of permission that is a claim of optionality"/>
<sbvr:text xmi:id="txt-ifm-18007" value="advice of possibility"/>
<sbvr:text xmi:id="txt-vom-24352" value="advice of possibility that is a claim of contingency"/>
<sbvr:text xmi:id="txt-ifm-18017" value="advice statement"/>
<sbvr:text xmi:id="txt-vom-24362" value="advice statement that expresses an advice of permission"/>
<sbvr:text xmi:id="txt-vom-24363" value="advice statement that expresses an advice of possibility"/>
<sbvr:text xmi:id="txt-vom-24353" value="advice that is a claim of permission"/>
<sbvr:text xmi:id="txt-vom-24351" value="advice that is a claim of possibility"/>
<sbvr:text xmi:id="txt-ifm-17836" value="aggregation formulation"/>
<sbvr:text xmi:id="txt-vom-24214" value="all of the concepts within a body of shared meanings&apos; structured according to the relations among them"/>
<sbvr:text xmi:id="txt-vom-24332" value="all of the elements of guidance within a body of shared meanings"/>
<sbvr:text xmi:id="txt-vom-24641" value="An actuality is an instance of a verb concept if the actuality involves a thing in a role of the verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18153" value="An actuality is an instance of a verb concept if the actuality involves a thing in a role of the verb concept."/>
<sbvr:text xmi:id="txt-vom-24664" value="An arithmetical value, expressed by a word, symbol, or figure, representing a particular quantity and used in counting and making calculations [ODE: “number,” 1]"/>
<sbvr:text xmi:id="txt-vom-25376" value="An authority may author guidance statements for adopted elements of guidance as well as for elements of guidance it defines."/>
<sbvr:text xmi:id="txt-vom-25373" value="An authority might be a specialist body that creates elements of guidance for other authorities to adopt, rather than applying the elements of guidance itself."/>
<sbvr:text xmi:id="txt-vom-24933" value="An auxiliary variable of a closed projection that means a question is relevant to formulating the meaning of the question, but the question is answered without identifying referents of the auxiliary variable."/>
<sbvr:text xmi:id="txt-vom-25381" value="An element of guidance cannot be adopted in the abstract; it is adopted via a representation of the meaning - a guidance statement"/>
<sbvr:text xmi:id="txt-vom-24791" value="An exactly-n quantification is logically equivalent to a conjunction of an at-least-n quantification and an at-most-n quantification using the cardinality as minimum cardinality and maximum cardinality respectively."/>
<sbvr:text xmi:id="txt-vom-25277" value="An example set of levels of enforcement, based on [BMM]"/>
<sbvr:text xmi:id="txt-vom-24773" value="An existential quantification, unlike other at-least-n quantifications, does not require distinguishability of referents."/>
<sbvr:text xmi:id="txt-vom-24718" value="An instantiation formulation is equivalent to an existential quantification that introduces a variable ranging over the concept considered by the instantiation formulation and that scopes over an atomic formulation based on the verb concept ‘ thing is thing ’ where one role binding is to the variable and the other is to the bindable target bound to the instantiation formulation ."/>
<sbvr:text xmi:id="txt-vom-24800" value="An objectification is similar to an instantiation formulation in that it is satisfied by a correspondence of a referent thing to a meaning. For an instantiation formulation the meaning is a concept. For an objectification the meaning is a proposition."/>
<sbvr:text xmi:id="txt-vom-25358" value="An optionality statement may take various forms, each expressing the meaning of the same advice of optionality&apos; as illustrated by the following examples."/>
<sbvr:text xmi:id="txt-vom-25001" value="an orderly combination of related parts [AH (3) ‘scheme’]"/>
<sbvr:text xmi:id="txt-vom-24711" value="and binds to a bindable target and that formulates the meaning: the thing to which the bindable target refers is an instance of the concept"/>
<sbvr:text xmi:id="txt-vom-24463" value="and is one of the characteristics that makes up the concept"/>
<sbvr:text xmi:id="txt-vom-24740" value="and that formulates that the meaning of the consequent is true if the meaning of the antecedent is true"/>
<sbvr:text xmi:id="txt-vom-24747" value="and that formulates that the meaning the consequent is true regardless of the meaning the inconsequent"/>
<sbvr:text xmi:id="txt-vom-24839" value="and that formulates the meaning: the thing to which the bindable target refers is the proposition that is formulated by the considered logical formulation"/>
<sbvr:text xmi:id="txt-vom-24752" value="and that has either the meaning: all referents of the variable satisfy a scope formulation ; or the meaning: a bounded number of referents of the variable exist and satisfy a scope formulation&apos; if there is one"/>
<sbvr:text xmi:id="txt-vom-24900" value="and the closed projection refers to the concepts represented in the definition"/>
<sbvr:text xmi:id="txt-vom-24988" value="and the concept does not incorporate the implied characteristic"/>
<sbvr:text xmi:id="txt-ifm-17843" value="answer nominalization"/>
<sbvr:text xmi:id="txt-ifm-17800" value="antecedent"/>
<sbvr:text xmi:id="txt-ph-17802-3" value="antecedent"/>
<sbvr:text xmi:id="txt-vom-24076" value="any given instance of the verb concept role&apos; which is of a binary verb concept&apos; serves as identification or partial identification of an instance of the concept having the reference scheme where the given instance is related by way of the binary verb concept that has the verb concept role"/>
<sbvr:text xmi:id="txt-vom-24608" value="Any representation of a proposition may be used to denote the state(s) of affairs that it corresponds to. A proposition statement serves as a definite description for the state of affairs that the proposition corresponds to."/>
<sbvr:text xmi:id="txt-vom-24089" value="anything perceivable or conceivable"/>
<sbvr:text xmi:id="txt-ifm-18455" value="aspect"/>
<sbvr:text xmi:id="txt-ifm-17926" value="association"/>
<sbvr:text xmi:id="txt-vom-24272" value="association that is defined with respect to a given concept such that each instance of the association is an actuality that a given instance of the concept has a particular property"/>
<sbvr:text xmi:id="txt-ifm-18450" value="assortment"/>
<sbvr:text xmi:id="txt-vom-24546" value="Assuming there is a role ‘renter’ ranging over the concept ‘customer’, the following can all be alternative sentential forms of the same verb concept:"/>
<sbvr:text xmi:id="txt-ifm-18059" value="At least one role of a unitary verb concept ranges over a unitary noun concept that is a general concept."/>
<sbvr:text xmi:id="txt-vom-24424" value="At least one role of a unitary verb concept ranges over a unitary noun concept that is a general concept."/>
<sbvr:text xmi:id="txt-vom-24529" value="At most one role of a verb concept that has a verb concept wording is not represented by a placeholder of the verb concept wording ."/>
<sbvr:text xmi:id="txt-ifm-18096" value="At most one role of a verb concept that has a verb concept wording is not represented by a placeholder of the verb concept wording."/>
<sbvr:text xmi:id="txt-ifm-17819" value="at-least-n quantification"/>
<sbvr:text xmi:id="txt-ph-17820-1" value="at-least-n quantification"/>
<sbvr:text xmi:id="txt-ifm-17820" value="at-least-n quantification has minimum cardinality"/>
<sbvr:text xmi:id="txt-vom-24160" value="at-least-n quantification that has the minimum cardinality 1"/>
<sbvr:text xmi:id="txt-ifm-17821" value="at-most-n quantification"/>
<sbvr:text xmi:id="txt-ph-17822-1" value="at-most-n quantification"/>
<sbvr:text xmi:id="txt-ifm-17822" value="at-most-n quantification has maximum cardinality"/>
<sbvr:text xmi:id="txt-vom-24167" value="at-most-n quantification that has the maximum cardinality 1"/>
<sbvr:text xmi:id="txt-ifm-17823" value="at-most-one quantification"/>
<sbvr:text xmi:id="txt-ifm-17772" value="atomic formulation"/>
<sbvr:text xmi:id="txt-ph-17773-1" value="atomic formulation"/>
<sbvr:text xmi:id="txt-ph-17774-1" value="atomic formulation"/>
<sbvr:text xmi:id="txt-ifm-17773" value="atomic formulation has role binding"/>
<sbvr:text xmi:id="txt-ifm-17774" value="atomic formulation is based on verb concept"/>
<sbvr:text xmi:id="txt-ifm-17724" value="attributive namespace"/>
<sbvr:text xmi:id="txt-ph-17725-1" value="attributive namespace"/>
<sbvr:text xmi:id="txt-ph-17727-1" value="attributive namespace"/>
<sbvr:text xmi:id="txt-ifm-17725" value="attributive namespace is for subject concept"/>
<sbvr:text xmi:id="txt-ifm-17727" value="attributive namespace is within vocabulary namespace"/>
<sbvr:text xmi:id="txt-ifm-18035" value="authority"/>
<sbvr:text xmi:id="txt-ph-18036-1" value="authority"/>
<sbvr:text xmi:id="txt-ph-18037-1" value="authority"/>
<sbvr:text xmi:id="txt-ph-18041-1" value="authority"/>
<sbvr:text xmi:id="txt-ifm-18036" value="authority authors guidance statement"/>
<sbvr:text xmi:id="txt-ifm-18037" value="authority defines element of guidance"/>
<sbvr:text xmi:id="txt-ifm-18041" value="authority has business jurisdiction over element of guidance"/>
<sbvr:text xmi:id="txt-vom-24382" value="authority that adopts some element of guidance"/>
<sbvr:text xmi:id="txt-vom-24383" value="authority that has business jurisdiction over some element of guidance"/>
<sbvr:text xmi:id="txt-ifm-17848" value="auxiliary variable"/>
<sbvr:text xmi:id="txt-ph-17846-3" value="auxiliary variable"/>
<sbvr:text xmi:id="txt-ifm-17852" value="bag projection"/>
<sbvr:text xmi:id="txt-vom-24583" value="based on AH"/>
<sbvr:text xmi:id="txt-vom-25090" value="based on ISO 1087-1 (English) (3.2.22) [‘ partitive relation ’]"/>
<sbvr:text xmi:id="txt-vom-25076" value="based on ISO 1087-1 (English) (3.2.23) [‘ associative relation ’, ‘ pragmatic relation ’]"/>
<sbvr:text xmi:id="txt-vom-24393" value="based on ISO 1087-1 (English) (3.2.3) [&apos; general concept N&apos;]"/>
<sbvr:text xmi:id="txt-vom-24971" value="based on ISO 1087-1 English (3.7.1) [ ‘terminological dictionary’ ]"/>
<sbvr:text xmi:id="txt-vom-25202" value="based on MWCD and NODE"/>
<sbvr:text xmi:id="txt-ifm-18543" value="behavioral business rule"/>
<sbvr:text xmi:id="txt-vom-25237" value="Besides being an element of a speech community representation set, an individual representation can appear multiple times"/>
<sbvr:text xmi:id="txt-ifm-17790" value="binary logical operation"/>
<sbvr:text xmi:id="txt-ph-17793-1" value="binary logical operation"/>
<sbvr:text xmi:id="txt-ph-17794-1" value="binary logical operation"/>
<sbvr:text xmi:id="txt-ifm-17793" value="binary logical operation has logical operand 1"/>
<sbvr:text xmi:id="txt-ifm-17794" value="binary logical operation has logical operand 2"/>
<sbvr:text xmi:id="txt-vom-24149" value="binary logical operation that formulates that the meaning of at least one of its logical operands is false"/>
<sbvr:text xmi:id="txt-vom-24140" value="binary logical operation that formulates that the meaning of at least one of its logical operands is true"/>
<sbvr:text xmi:id="txt-vom-24150" value="binary logical operation that formulates that the meaning of each of its logical operands is false"/>
<sbvr:text xmi:id="txt-vom-24139" value="binary logical operation that formulates that the meaning of each of its logical operands is true"/>
<sbvr:text xmi:id="txt-vom-24141" value="binary logical operation that formulates that the meaning of its logical operands are either all true or all false"/>
<sbvr:text xmi:id="txt-vom-24142" value="binary logical operation that formulates that the meaning of one logical operand is true and the meaning of the other logical operand"/>
<sbvr:text xmi:id="txt-vom-24151" value="binary logical operation that has a consequent and an inconsequent"/>
<sbvr:text xmi:id="txt-vom-24143" value="binary logical operation that operates on an antecedent and a consequent"/>
<sbvr:text xmi:id="txt-ifm-17675" value="binary verb concept"/>
<sbvr:text xmi:id="txt-ifm-17771" value="bindable target"/>
<sbvr:text xmi:id="txt-ph-17776-3" value="bindable target"/>
<sbvr:text xmi:id="txt-ph-17780-3" value="bindable target"/>
<sbvr:text xmi:id="txt-ph-17832-3" value="bindable target"/>
<sbvr:text xmi:id="txt-ph-17835-3" value="bindable target"/>
<sbvr:text xmi:id="txt-ph-17841-3" value="bindable target"/>
<sbvr:text xmi:id="txt-ifm-18211" value="bindable target is bound to instantiation formulation"/>
<sbvr:text xmi:id="txt-ifm-18281" value="bindable target is bound to objectification"/>
<sbvr:text xmi:id="txt-ifm-18290" value="bindable target is bound to projecting formulation"/>
<sbvr:text xmi:id="txt-ifm-18303" value="bindable target is bound to proposition nominalization"/>
<sbvr:text xmi:id="txt-ifm-17870" value="body of shared concepts"/>
<sbvr:text xmi:id="txt-ph-17869-3" value="body of shared concepts"/>
<sbvr:text xmi:id="txt-ph-17871-1" value="body of shared concepts"/>
<sbvr:text xmi:id="txt-ifm-17871" value="body of shared concepts includes concept"/>
<sbvr:text xmi:id="txt-ifm-17988" value="body of shared guidance"/>
<sbvr:text xmi:id="txt-ph-17989-3" value="body of shared guidance"/>
<sbvr:text xmi:id="txt-ph-17990-1" value="body of shared guidance"/>
<sbvr:text xmi:id="txt-ifm-17990" value="body of shared guidance includes element of guidance"/>
<sbvr:text xmi:id="txt-ifm-18530" value="body of shared guidance is included in body of shared meanings"/>
<sbvr:text xmi:id="txt-ifm-17867" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ph-17868-1" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ph-17869-1" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ph-17881-3" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ph-17887-3" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ph-17989-1" value="body of shared meanings"/>
<sbvr:text xmi:id="txt-ifm-17869" value="body of shared meanings includes body of shared concepts"/>
<sbvr:text xmi:id="txt-ifm-17989" value="body of shared meanings includes body of shared guidance"/>
<sbvr:text xmi:id="txt-ifm-17868" value="body of shared meanings unites semantic community"/>
<sbvr:text xmi:id="txt-ph-17873-1" value="body of shared meanings1"/>
<sbvr:text xmi:id="txt-ifm-17873" value="body of shared meanings1 contains body of shared meanings2"/>
<sbvr:text xmi:id="txt-ph-17873-3" value="body of shared meanings2"/>
<sbvr:text xmi:id="txt-ifm-18549" value="business advice of permission or possibility"/>
<sbvr:text xmi:id="txt-ifm-17995" value="business policy"/>
<sbvr:text xmi:id="txt-ph-17999-3" value="business policy"/>
<sbvr:text xmi:id="txt-ph-18006-3" value="business policy"/>
<sbvr:text xmi:id="txt-ifm-18550" value="business policy is basis for advice"/>
<sbvr:text xmi:id="txt-ifm-18536" value="business policy is basis for business rule"/>
<sbvr:text xmi:id="txt-ifm-18013" value="business policy statement"/>
<sbvr:text xmi:id="txt-ifm-17998" value="business rule"/>
<sbvr:text xmi:id="txt-ph-17999-1" value="business rule"/>
<sbvr:text xmi:id="txt-ifm-17999" value="business rule is derived from business policy"/>
<sbvr:text xmi:id="txt-vom-24346" value="business rule that is a claim of obligation"/>
<sbvr:text xmi:id="txt-ifm-17880" value="business vocabulary"/>
<sbvr:text xmi:id="txt-vom-25084" value="By “actually” we mean “in the universe of discourse” (the things that we are talking about), not in a model of the universe of discourse. This meaning of “property” should not be confused with the meaning of “property” in an IT modeling context. There is no 1:1 relationship between “property association” in SBVR and “attribute” or “property” in a class or entity model."/>
<sbvr:text xmi:id="txt-vom-25029" value="By adopting the definition of ‘concept’, the SBVR community adopted the meaning of ‘concept’ as represented by the definition. A meaning cannot be adopted in the abstract; it is adopted via a representation of the meaning - a definition. A definition is expressed in some language, so is adopted by some speech community within the adopting semantic community. Adoption of the definition first adopted by a semantic community (via one of its speech communities) is the adoption of the concept."/>
<sbvr:text xmi:id="txt-vom-25126" value="car (as contrasted with ‘rental car’)"/>
<sbvr:text xmi:id="txt-vom-25083" value="car group has daily price for member affiliation. This example involves a ternary property association, rather than a binary one. (Examples of “member affiliation” might include AARP membership, AAA membership, Costco membership, etc.)"/>
<sbvr:text xmi:id="txt-ifm-17750" value="cardinality"/>
<sbvr:text xmi:id="txt-ph-17749-3" value="cardinality"/>
<sbvr:text xmi:id="txt-ph-17825-3" value="cardinality"/>
<sbvr:text xmi:id="txt-ifm-17930" value="categorization"/>
<sbvr:text xmi:id="txt-ifm-17899" value="categorization scheme"/>
<sbvr:text xmi:id="txt-ph-17900-1" value="categorization scheme"/>
<sbvr:text xmi:id="txt-ph-17901-1" value="categorization scheme"/>
<sbvr:text xmi:id="txt-ifm-17901" value="categorization scheme contains category"/>
<sbvr:text xmi:id="txt-ifm-17900" value="categorization scheme is for general concept"/>
<sbvr:text xmi:id="txt-vom-24246" value="categorization scheme whose contained categories are complete (total) and disjoint with respect to the general concept that has the categorization scheme"/>
<sbvr:text xmi:id="txt-ifm-17903" value="categorization type"/>
<sbvr:text xmi:id="txt-ph-17904-1" value="categorization type"/>
<sbvr:text xmi:id="txt-ifm-17904" value="categorization type is for general concept"/>
<sbvr:text xmi:id="txt-ifm-17897" value="category"/>
<sbvr:text xmi:id="txt-ph-17901-3" value="category"/>
<sbvr:text xmi:id="txt-ifm-18393" value="category is included in categorization scheme"/>
<sbvr:text xmi:id="txt-vom-24240" value="category of [the concept] ‘ characteristic ’ which serves as a criterion of subdivision when establishing concept systems"/>
<sbvr:text xmi:id="txt-vom-24427" value="Changes in the extensions of the unitary noun concepts that fill the roles of a unitary verb concept cause the unitary verb concept to correspond to a different state of affairs."/>
<sbvr:text xmi:id="txt-ifm-17674" value="characteristic"/>
<sbvr:text xmi:id="txt-ph-17680-3" value="characteristic"/>
<sbvr:text xmi:id="txt-ph-17734-3" value="characteristic"/>
<sbvr:text xmi:id="txt-ph-17890-1" value="characteristic"/>
<sbvr:text xmi:id="txt-ifm-17890" value="characteristic is essential to concept"/>
<sbvr:text xmi:id="txt-vom-24235" value="characteristic that is always true of each instance of a given concept"/>
<sbvr:text xmi:id="txt-ifm-17896" value="characteristic type"/>
<sbvr:text xmi:id="txt-vom-24233" value="characteristic which is indispensable to understanding a concept"/>
<sbvr:text xmi:id="txt-ifm-17932" value="characterization"/>
<sbvr:text xmi:id="txt-vom-24592" value="Choice of reference schemes must be based on uniqueness (providing an identifier that refers to exactly one thing), but it should consider more than uniqueness. It should also consider permanence – if the actualities considered by the scheme change often, then references can become invalid. A reference scheme should also not lead into an inescapable reference cycle where things only identify each other, but should lead either directly or indirectly to an expression. It should also consider convenience and relevance from a business perspective."/>
<sbvr:text xmi:id="txt-vom-24074" value="chosen way of identifying instances of a given concept"/>
<sbvr:text xmi:id="txt-vom-25213" value="Chris Cushing is an example of EU-Rent’s concept of ‘rental customer’."/>
<sbvr:text xmi:id="txt-ifm-17931" value="classification"/>
<sbvr:text xmi:id="txt-vom-24477" value="Clause 9.2, Logical Formulations, describes one of the ways to understand the logical structure of propositions, including how concepts, such as individual noun concepts, general concepts, verb concepts and roles, fit into that structure."/>
<sbvr:text xmi:id="txt-ifm-17763" value="closed logical formulation"/>
<sbvr:text xmi:id="txt-ph-17764-1" value="closed logical formulation"/>
<sbvr:text xmi:id="txt-ph-17765-1" value="closed logical formulation"/>
<sbvr:text xmi:id="txt-ifm-17765" value="closed logical formulation formalizes statement"/>
<sbvr:text xmi:id="txt-ifm-17764" value="closed logical formulation means proposition"/>
<sbvr:text xmi:id="txt-ifm-17853" value="closed projection"/>
<sbvr:text xmi:id="txt-ph-17854-1" value="closed projection"/>
<sbvr:text xmi:id="txt-ph-17855-1" value="closed projection"/>
<sbvr:text xmi:id="txt-ph-17856-1" value="closed projection"/>
<sbvr:text xmi:id="txt-ph-17858-1" value="closed projection"/>
<sbvr:text xmi:id="txt-ifm-17855" value="closed projection defines noun concept"/>
<sbvr:text xmi:id="txt-ifm-17856" value="closed projection defines verb concept"/>
<sbvr:text xmi:id="txt-ifm-17854" value="closed projection formalizes definition"/>
<sbvr:text xmi:id="txt-ifm-17858" value="closed projection means question"/>
<sbvr:text xmi:id="txt-ifm-17759" value="closed semantic formulation"/>
<sbvr:text xmi:id="txt-ph-17760-1" value="closed semantic formulation"/>
<sbvr:text xmi:id="txt-ifm-17760" value="closed semantic formulation formulates meaning"/>
<sbvr:text xmi:id="txt-vom-24062" value="collection of designations and/or verb concept wordings that are distinguishable from each other by uniqueness of designator or form"/>
<sbvr:text xmi:id="txt-vom-24227" value="collection of representations including at least one designation or definition of each of a set of concepts from one or more specific subject fields&apos; together with other specifications of facts related to those concepts"/>
<sbvr:text xmi:id="txt-vom-24091" value="collection of zero or more things considered together without regard to order"/>
<sbvr:text xmi:id="txt-ifm-18513" value="comment"/>
<sbvr:text xmi:id="txt-ifm-17976" value="communication content"/>
<sbvr:text xmi:id="txt-ph-17977-1" value="communication content"/>
<sbvr:text xmi:id="txt-ifm-17977" value="communication content is composed of representation"/>
<sbvr:text xmi:id="txt-vom-24325" value="communication content that is used as a resource to supply information or evidence"/>
<sbvr:text xmi:id="txt-ifm-17859" value="community"/>
<sbvr:text xmi:id="txt-ph-17860-1" value="community"/>
<sbvr:text xmi:id="txt-ph-17866-1" value="community"/>
<sbvr:text xmi:id="txt-ifm-17866" value="community has subcommunity"/>
<sbvr:text xmi:id="txt-ifm-17860" value="community has URI"/>
<sbvr:text xmi:id="txt-vom-24209" value="community that is a distinct grouping within another community"/>
<sbvr:text xmi:id="txt-vom-24205" value="community whose unifying characteristic is a shared understanding (perception) of the things that they have to deal with"/>
<sbvr:text xmi:id="txt-vom-25256" value="Compared to a Business Rule, a Business Policy tends to be:"/>
<sbvr:text xmi:id="txt-vom-25276" value="compel observance of or compliance with [NODE ‘enforcement’]"/>
<sbvr:text xmi:id="txt-ifm-17664" value="concept"/>
<sbvr:text xmi:id="txt-ph-17680-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17703-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17705-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17731-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17744-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17767-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17779-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17871-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17872-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17890-3" value="concept"/>
<sbvr:text xmi:id="txt-ph-17892-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17894-1" value="concept"/>
<sbvr:text xmi:id="txt-ph-17940-1" value="concept"/>
<sbvr:text xmi:id="txt-ifm-18124" value="concept has attributive namespace"/>
<sbvr:text xmi:id="txt-ifm-17705" value="concept has definition"/>
<sbvr:text xmi:id="txt-ifm-17703" value="concept has designation"/>
<sbvr:text xmi:id="txt-ifm-18385" value="concept has essential characteristic"/>
<sbvr:text xmi:id="txt-ifm-17940" value="concept has facet"/>
<sbvr:text xmi:id="txt-ifm-17894" value="concept has implied characteristic"/>
<sbvr:text xmi:id="txt-ifm-17744" value="concept has instance"/>
<sbvr:text xmi:id="txt-ifm-17892" value="concept has necessary characteristic"/>
<sbvr:text xmi:id="txt-ifm-18126" value="concept has reference scheme"/>
<sbvr:text xmi:id="txt-ifm-18368" value="concept has shared understanding by semantic community"/>
<sbvr:text xmi:id="txt-vom-24241" value="concept in a generic relation having the broader intension"/>
<sbvr:text xmi:id="txt-vom-24242" value="concept in a generic relation having the narrower intension"/>
<sbvr:text xmi:id="txt-ifm-17680" value="concept incorporates characteristic"/>
<sbvr:text xmi:id="txt-ifm-18367" value="concept is included in body of shared concepts"/>
<sbvr:text xmi:id="txt-ifm-18366" value="concept model"/>
<sbvr:text xmi:id="txt-ifm-17918" value="concept of thing as composite"/>
<sbvr:text xmi:id="txt-ifm-17922" value="concept of thing as continuant"/>
<sbvr:text xmi:id="txt-ifm-17920" value="concept of thing as developed"/>
<sbvr:text xmi:id="txt-ifm-17921" value="concept of thing as occurrent"/>
<sbvr:text xmi:id="txt-ifm-17919" value="concept of thing as primitive"/>
<sbvr:text xmi:id="txt-ifm-17917" value="concept of thing as unitary"/>
<sbvr:text xmi:id="txt-ifm-17924" value="concept of thing existing dependently"/>
<sbvr:text xmi:id="txt-ifm-17923" value="concept of thing existing independently"/>
<sbvr:text xmi:id="txt-vom-24295" value="concept that characterizes the domain of usage within which the expression of a representation has a unique meaning for a given speech community"/>
<sbvr:text xmi:id="txt-vom-24268" value="concept that conceptualizes each instance as existing only as long as one or more other things continue to exist"/>
<sbvr:text xmi:id="txt-vom-24267" value="concept that conceptualizes each instance to exist independently of other things such that existence cannot be ended by the ending of the existence of any other thing"/>
<sbvr:text xmi:id="txt-vom-24264" value="concept that conceptualizes its instances as being developed or derived from something else"/>
<sbvr:text xmi:id="txt-vom-24262" value="concept that conceptualizes its instances as being made of discrete parts or elements that have corresponding concepts in their own right"/>
<sbvr:text xmi:id="txt-vom-24265" value="concept that conceptualizes its instances as existing only at a point in time"/>
<sbvr:text xmi:id="txt-vom-24266" value="concept that conceptualizes its instances as existing over a period of time"/>
<sbvr:text xmi:id="txt-vom-24263" value="concept that conceptualizes its instances as not being developed or derived from anything else"/>
<sbvr:text xmi:id="txt-vom-24261" value="concept that conceptualizes its instances as not being made up of discrete parts or elements"/>
<sbvr:text xmi:id="txt-vom-24283" value="concept that generalizes a given concept but incorporates only those characteristics that are relevant to a particular viewpoint"/>
<sbvr:text xmi:id="txt-vom-24009" value="concept that is the meaning of a noun or noun phrase"/>
<sbvr:text xmi:id="txt-vom-24070" value="concept that provides a context for recognizing designations used to attribute properties to instances of the concept"/>
<sbvr:text xmi:id="txt-vom-24014" value="concept that specializes the concept ‘ state of affairs ’ and that is the meaning of a verb phrase that involves one or more verb concept roles"/>
<sbvr:text xmi:id="txt-ifm-17667" value="concept type"/>
<sbvr:text xmi:id="txt-vom-24247" value="concept type whose instances are always categories of a given concept"/>
<sbvr:text xmi:id="txt-vom-24260" value="concept whose extension can be determined from its definition or from rules"/>
<sbvr:text xmi:id="txt-ph-17678-1" value="concept1"/>
<sbvr:text xmi:id="txt-ph-17679-1" value="concept1"/>
<sbvr:text xmi:id="txt-ifm-18071" value="concept1 has more general concept2"/>
<sbvr:text xmi:id="txt-ifm-17679" value="concept1 is coextensive with concept2"/>
<sbvr:text xmi:id="txt-ifm-17678" value="concept1 specializes concept2"/>
<sbvr:text xmi:id="txt-ph-17678-3" value="concept2"/>
<sbvr:text xmi:id="txt-ph-17679-3" value="concept2"/>
<sbvr:text xmi:id="txt-ifm-18070" value="concept2 generalizes concept1"/>
<sbvr:text xmi:id="txt-ifm-18072" value="concept2 has categorxmi"/>
<sbvr:text xmi:id="txt-vom-24102" value="conceptual structure of meaning"/>
<sbvr:text xmi:id="txt-vom-25252" value="conduct the policy, actions, and affairs of (a state, organization, or people) with authority: control, influence, or regulate (a person, action, or course of events) [ODE, “govern”]"/>
<sbvr:text xmi:id="txt-ifm-17795" value="conjunction"/>
<sbvr:text xmi:id="txt-vom-24119" value="connection of an atomic formulation to a bindable target"/>
<sbvr:text xmi:id="txt-ifm-17801" value="consequent"/>
<sbvr:text xmi:id="txt-ph-17803-3" value="consequent"/>
<sbvr:text xmi:id="txt-ph-17809-3" value="consequent"/>
<sbvr:text xmi:id="txt-vom-25082" value="Consider three statements: “Meeting 1 starts at 1PM”, “Meeting 2 starts at 2PM”, “Meeting 1 ends at 2PM”. These describe three distinguishable properties: starting at 1PM, ending at 2PM and starting at 2PM. Each ‘property’ should not be confused with the verb concept role of the respective property association (which roles could be labeled “starting time” or “ending time”), because starting at 1PM is a different property than starting at 2PM. Also, the ‘property’ is not the thing that fills role (it’s not 1PM or 2PM), because starting at 2PM is a different property than ending at 2PM."/>
<sbvr:text xmi:id="txt-vom-24619" value="Consider two unitary noun concepts, the first defined as “ state of affairs ” that EU-Rent London-Heathrow Branch is profitable” and the second defined as “ actuality ” that EU-Rent London-Heathrow Branch is profitable. The two definitions use the same objectification. The first concept always has an instance, regardless of profitability. The second concept has an instance (the same instance) only if the branch is profitable."/>
<sbvr:text xmi:id="txt-vom-24569" value="Consider two verb concept wordings for the same verb concept: ‘rental is returned on date’ and ‘rental has return date’. The second placeholders of the two forms represent the same role, but they use different designations (‘date’ and ‘return date’). If “Rental 876” denotes a rental, then the statement, “Rental 876 is returned on 30 June 2006,” is understood to use the first verb concept wording because “30 June 2006” is understood to denote a date, but the statement, “Rental 879 has 30 June 2006,” is not understood to use the second verb concept wording because “30 June 2006” is not understood to denote a return date (only a date). “Rental 879 has the return date 30 June 2006” uses the second verb concept wording."/>
<sbvr:text xmi:id="txt-ifm-17935" value="Context of Thing"/>
<sbvr:text xmi:id="txt-ifm-17937" value="contextualized concept"/>
<sbvr:text xmi:id="txt-ifm-18031" value="contingency statement"/>
<sbvr:text xmi:id="txt-vom-24973" value="Contrast a terminological dictionary with a rulebook, which may include representations of behavioral elements of guidance in a body of shared guidance."/>
<sbvr:text xmi:id="txt-vom-25257" value="definite course or method of action selected (as by a government, institution, group, or individual) from among alternatives and in the light of given conditions to guide and usually determine present and future decisions [ MWUD “Policy” 5a ]"/>
<sbvr:text xmi:id="txt-ifm-17907" value="definite description"/>
<sbvr:text xmi:id="txt-ifm-17704" value="definition"/>
<sbvr:text xmi:id="txt-ph-17705-3" value="definition"/>
<sbvr:text xmi:id="txt-ph-17854-3" value="definition"/>
<sbvr:text xmi:id="txt-ph-17914-1" value="definition"/>
<sbvr:text xmi:id="txt-ifm-17909" value="Definition Origin"/>
<sbvr:text xmi:id="txt-ifm-17914" value="definition serves as designation"/>
<sbvr:text xmi:id="txt-vom-24254" value="definition that a speech community ‘owns’ and is responsible for creating and maintaining"/>
<sbvr:text xmi:id="txt-vom-24256" value="definition that a speech community adopts from an external source by providing a reference to the definition"/>
<sbvr:text xmi:id="txt-vom-24249" value="definition which describes the intension of a concept by stating the superordinate concept and the delimiting characteristics"/>
<sbvr:text xmi:id="txt-ifm-18540" value="definitional business rule"/>
<sbvr:text xmi:id="txt-ifm-18537" value="definitional rule"/>
<sbvr:text xmi:id="txt-ifm-17895" value="delimiting characteristic"/>
<sbvr:text xmi:id="txt-ph-17906-3" value="delimiting characteristic"/>
<sbvr:text xmi:id="txt-vom-24990" value="Delimiting characteristics of a concept are inherited as essential characteristics by all categories of that concept."/>
<sbvr:text xmi:id="txt-ifm-17916" value="derivable concept"/>
<sbvr:text xmi:id="txt-ifm-17971" value="description"/>
<sbvr:text xmi:id="txt-ph-17970-1" value="description"/>
<sbvr:text xmi:id="txt-vom-24252" value="description of a concept by enumerating all of its subordinate concepts under one criterion of subdivision"/>
<sbvr:text xmi:id="txt-ifm-17970" value="description portrays meaning"/>
<sbvr:text xmi:id="txt-ifm-17973" value="descriptive example"/>
<sbvr:text xmi:id="txt-ph-17972-1" value="descriptive example"/>
<sbvr:text xmi:id="txt-ifm-17972" value="descriptive example illustrates meaning"/>
<sbvr:text xmi:id="txt-ifm-17700" value="designation"/>
<sbvr:text xmi:id="txt-ph-17702-1" value="designation"/>
<sbvr:text xmi:id="txt-ph-17703-3" value="designation"/>
<sbvr:text xmi:id="txt-ph-17710-3" value="designation"/>
<sbvr:text xmi:id="txt-ph-17717-3" value="designation"/>
<sbvr:text xmi:id="txt-ph-17720-1" value="designation"/>
<sbvr:text xmi:id="txt-ph-17915-1" value="designation"/>
<sbvr:text xmi:id="txt-ifm-17951" value="designation context"/>
<sbvr:text xmi:id="txt-ph-17949-3" value="designation context"/>
<sbvr:text xmi:id="txt-ph-17950-3" value="designation context"/>
<sbvr:text xmi:id="txt-ifm-17702" value="designation has signifier"/>
<sbvr:text xmi:id="txt-ifm-17915" value="designation is implicitly understood"/>
<sbvr:text xmi:id="txt-ifm-17720" value="designation is in namespace"/>
<sbvr:text xmi:id="txt-vom-24058" value="designation of a verb concept role within a verb concept wording marking a place where, in uses of the verb concept wording&apos; an expression denotes what fills the verb concept role"/>
<sbvr:text xmi:id="txt-vom-24308" value="designation that is declared unacceptable by its owning speech community"/>
<sbvr:text xmi:id="txt-vom-24298" value="designation that is not expressed as words of a language"/>
<sbvr:text xmi:id="txt-vom-24302" value="designation that is of a verb concept role and that is recognizable in use in the context of another role of the same verb concept"/>
<sbvr:text xmi:id="txt-vom-24307" value="designation that is selected by its owning speech community for a given concept from among alternative designations for that concept as being most desirable or productive"/>
<sbvr:text xmi:id="txt-vom-24300" value="designation that represents a verb concept and that is demonstrated by a verb concept wording"/>
<sbvr:text xmi:id="txt-vom-24446" value="Different definite descriptions of the same thing can represent different unitary noun concepts that correspond to that thing."/>
<sbvr:text xmi:id="txt-vom-24578" value="Different languages have different attributive forms - different grammatical structures relating a subject to something attributed to it."/>
<sbvr:text xmi:id="txt-ifm-17796" value="disjunction"/>
<sbvr:text xmi:id="txt-vom-24947" value="distinct grouping within a community [NODE ‘sub-community’]"/>
<sbvr:text xmi:id="txt-vom-24734" value="Distinct roles are defined for the two operands of a binary logical operation even though there is no significant difference between the roles for some operations, such as for conjunction. The one distinction that remains, however, is that the roles are distinct from each other, and this distinction is important where an operation has the same logical formulation filling both roles, such as in ‘p and p’ or ‘p if and only if p’."/>
<sbvr:text xmi:id="txt-ifm-18515" value="document content"/>
<sbvr:text xmi:id="txt-vom-24637" value="Each actuality that is an instance of a verb concept involves some thing in each role of the verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18149" value="Each actuality that is an instance of a verb concept involves some thing in each role of the verb concept."/>
<sbvr:text xmi:id="txt-vom-25026" value="Each adopted definition must be for a concept in the body of shared meanings of the semantic community of the speech community ."/>
<sbvr:text xmi:id="txt-ifm-18412" value="Each adopted definition must be for a concept in the body of shared meanings of the semantic community of the speech community."/>
<sbvr:text xmi:id="txt-vom-24777" value="Each at-least-n quantification has exactly one minimum cardinality ."/>
<sbvr:text xmi:id="txt-ifm-18255" value="Each at-least-n quantification has exactly one minimum cardinality."/>
<sbvr:text xmi:id="txt-vom-24781" value="Each at-most-n quantification has exactly one maximum cardinality ."/>
<sbvr:text xmi:id="txt-ifm-18259" value="Each at-most-n quantification has exactly one maximum cardinality."/>
<sbvr:text xmi:id="txt-vom-24696" value="Each atomic formulation is based on exactly one verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18190" value="Each atomic formulation is based on exactly one verb concept."/>
<sbvr:text xmi:id="txt-vom-24575" value="Each attributive namespace is for exactly one subject concept ."/>
<sbvr:text xmi:id="txt-ifm-18122" value="Each attributive namespace is for exactly one subject concept."/>
<sbvr:text xmi:id="txt-vom-24894" value="Each auxiliary variable has exactly one projection position ."/>
<sbvr:text xmi:id="txt-ifm-18335" value="Each auxiliary variable has exactly one projection position."/>
<sbvr:text xmi:id="txt-vom-24888" value="Each auxiliary variable is of exactly one projection ."/>
<sbvr:text xmi:id="txt-ifm-18329" value="Each auxiliary variable is of exactly one projection."/>
<sbvr:text xmi:id="txt-vom-24730" value="Each binary logical operation has exactly one logical operand 1 ."/>
<sbvr:text xmi:id="txt-ifm-18221" value="Each binary logical operation has exactly one logical operand 1."/>
<sbvr:text xmi:id="txt-vom-24732" value="Each binary logical operation has exactly one logical operand 2 ."/>
<sbvr:text xmi:id="txt-ifm-18223" value="Each binary logical operation has exactly one logical operand 2."/>
<sbvr:text xmi:id="txt-vom-24954" value="Each body of shared meanings unites exactly one semantic community ."/>
<sbvr:text xmi:id="txt-ifm-18364" value="Each body of shared meanings unites exactly one semantic community."/>
<sbvr:text xmi:id="txt-vom-25002" value="Each categorization scheme is for at least one general concept ."/>
<sbvr:text xmi:id="txt-ifm-18390" value="Each categorization scheme is for at least one general concept."/>
<sbvr:text xmi:id="txt-vom-25004" value="Each category that is included in a categorization scheme that is for a general concept is a category of that general concept ."/>
<sbvr:text xmi:id="txt-ifm-18394" value="Each category that is included in a categorization scheme that is for a general concept is a category of that general concept."/>
<sbvr:text xmi:id="txt-vom-24025" value="each characteristic that is incorporated by the general concept is incorporated by the role"/>
<sbvr:text xmi:id="txt-vom-24673" value="Each closed logical formulation means exactly one proposition ."/>
<sbvr:text xmi:id="txt-ifm-18179" value="Each closed logical formulation means exactly one proposition."/>
<sbvr:text xmi:id="txt-vom-24675" value="Each closed logical formulation that formalizes a statement means the proposition that is expressed by the statement ."/>
<sbvr:text xmi:id="txt-ifm-18181" value="Each closed logical formulation that formalizes a statement means the proposition that is expressed by the statement."/>
<sbvr:text xmi:id="txt-ifm-18354" value="Each closed projection means at most one question."/>
<sbvr:text xmi:id="txt-vom-24928" value="Each closed projection means at most one question."/>
<sbvr:text xmi:id="txt-vom-24906" value="Each closed projection that defines a noun concept is on at most one variable ."/>
<sbvr:text xmi:id="txt-ifm-18341" value="Each closed projection that defines a noun concept is on at most one variable."/>
<sbvr:text xmi:id="txt-vom-24902" value="Each closed projection that formalizes a definition of a noun concept defines the noun concept ."/>
<sbvr:text xmi:id="txt-ifm-18337" value="Each closed projection that formalizes a definition of a noun concept defines the noun concept."/>
<sbvr:text xmi:id="txt-vom-24904" value="Each closed projection that formalizes a definition of a verb concept defines the verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18339" value="Each closed projection that formalizes a definition of a verb concept defines the verb concept."/>
<sbvr:text xmi:id="txt-vom-24627" value="Each concept has exactly one extension ."/>
<sbvr:text xmi:id="txt-ifm-18139" value="Each concept has exactly one extension."/>
<sbvr:text xmi:id="txt-vom-25014" value="Each definite description is the definition of an individual noun concept ."/>
<sbvr:text xmi:id="txt-ifm-18402" value="Each definite description is the definition of an individual noun concept."/>
<sbvr:text xmi:id="txt-vom-25016" value="Each definite description uses a reference scheme for the individual ."/>
<sbvr:text xmi:id="txt-ifm-18404" value="Each definite description uses a reference scheme for the individual."/>
<sbvr:text xmi:id="txt-vom-25012" value="Each definition of an individual noun concept is a definite description ."/>
<sbvr:text xmi:id="txt-ifm-18400" value="Each definition of an individual noun concept is a definite description."/>
<sbvr:text xmi:id="txt-vom-24511" value="Each definition represents a concept ."/>
<sbvr:text xmi:id="txt-ifm-18085" value="Each definition represents a concept."/>
<sbvr:text xmi:id="txt-vom-24063" value="each designation and verb concept wording in the namespace2 is in the namespace1&apos; and if the namespace1 is a vocabulary namespace&apos; each attributive namespace within the namespace2 is incorporated into an attributive namespace in the namespace1 for the same subject concept"/>
<sbvr:text xmi:id="txt-vom-24294" value="each designation and verb concept wording that is in the vocabulary namespace is in the designation context"/>
<sbvr:text xmi:id="txt-vom-24292" value="each designation and verb concept wording that is in the vocabulary namespace is in the subject field"/>
<sbvr:text xmi:id="txt-vom-24504" value="Each designation represents a concept ."/>
<sbvr:text xmi:id="txt-ifm-18083" value="Each designation represents a concept."/>
<sbvr:text xmi:id="txt-vom-25254" value="Each element of governance that is directly enforceable is practicable ."/>
<sbvr:text xmi:id="txt-ifm-18532" value="Each element of governance that is directly enforceable is practicable."/>
<sbvr:text xmi:id="txt-ifm-18580" value="Each element of guidance is defined by exactly one authority."/>
<sbvr:text xmi:id="txt-vom-25377" value="Each element of guidance is defined by exactly one authority."/>
<sbvr:text xmi:id="txt-vom-24787" value="Each exactly-n quantification has exactly one cardinality ."/>
<sbvr:text xmi:id="txt-ifm-18263" value="Each exactly-n quantification has exactly one cardinality."/>
<sbvr:text xmi:id="txt-vom-25136" value="Each general concept that objectifies a verb concept is coextensive with the verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18460" value="Each general concept that objectifies a verb concept is coextensive with the verb concept."/>
<sbvr:text xmi:id="txt-vom-24741" value="Each implication has exactly one antecedent ."/>
<sbvr:text xmi:id="txt-ifm-18232" value="Each implication has exactly one antecedent."/>
<sbvr:text xmi:id="txt-vom-24743" value="Each implication has exactly one consequent ."/>
<sbvr:text xmi:id="txt-ifm-18234" value="Each implication has exactly one consequent."/>
<sbvr:text xmi:id="txt-vom-24655" value="Each individual noun concept corresponds to at most one thing ."/>
<sbvr:text xmi:id="txt-ifm-18167" value="Each individual noun concept corresponds to at most one thing."/>
<sbvr:text xmi:id="txt-vom-24653" value="Each individual noun concept that corresponds to a thing always corresponds to that thing ."/>
<sbvr:text xmi:id="txt-ifm-18165" value="Each individual noun concept that corresponds to a thing always corresponds to that thing."/>
<sbvr:text xmi:id="txt-vom-24647" value="Each instance of a role that ranges over a general concept is an instance of the general concept ."/>
<sbvr:text xmi:id="txt-ifm-18159" value="Each instance of a role that ranges over a general concept is an instance of the general concept."/>
<sbvr:text xmi:id="txt-vom-24412" value="Each instance of a verb concept is a state of affairs . For each instance, each role of the verb concept is one point of involvement of something in that state of affairs."/>
<sbvr:text xmi:id="txt-vom-24631" value="Each instance of a verb concept is an actuality ."/>
<sbvr:text xmi:id="txt-ifm-18143" value="Each instance of a verb concept is an actuality."/>
<sbvr:text xmi:id="txt-vom-24992" value="Each instance of each characteristic type is a characteristic ."/>
<sbvr:text xmi:id="txt-ifm-18388" value="Each instance of each characteristic type is a characteristic."/>
<sbvr:text xmi:id="txt-vom-25094" value="Each instance of each partitive verb concept is an actuality that a given part is in the composition of a given whole ."/>
<sbvr:text xmi:id="txt-ifm-18447" value="Each instance of each partitive verb concept is an actuality that a given part is in the composition of a given whole."/>
<sbvr:text xmi:id="txt-vom-25085" value="Each instance of each property association is an actuality that a thing has a particular property ."/>
<sbvr:text xmi:id="txt-ifm-18442" value="Each instance of each property association is an actuality that a thing has a particular property."/>
<sbvr:text xmi:id="txt-vom-24714" value="Each instantiation formulation binds to exactly one bindable target ."/>
<sbvr:text xmi:id="txt-ifm-18207" value="Each instantiation formulation binds to exactly one bindable target."/>
<sbvr:text xmi:id="txt-vom-24712" value="Each instantiation formulation considers exactly one concept ."/>
<sbvr:text xmi:id="txt-ifm-18205" value="Each instantiation formulation considers exactly one concept."/>
<sbvr:text xmi:id="txt-vom-24667" value="Each logical formulation is an instance of exactly one logical formulation kind ."/>
<sbvr:text xmi:id="txt-ifm-18175" value="Each logical formulation is an instance of exactly one logical formulation kind."/>
<sbvr:text xmi:id="txt-vom-24745" value="Each logical negation has exactly one logical operand ."/>
<sbvr:text xmi:id="txt-ifm-18236" value="Each logical negation has exactly one logical operand."/>
<sbvr:text xmi:id="txt-vom-24726" value="Each logical operation has at least one logical operand ."/>
<sbvr:text xmi:id="txt-ifm-18217" value="Each logical operation has at least one logical operand."/>
<sbvr:text xmi:id="txt-ifm-18225" value="Each logical operation has at most one logical operand 1."/>
<sbvr:text xmi:id="txt-vom-24735" value="Each logical operation has at most one logical operand 1."/>
<sbvr:text xmi:id="txt-ifm-18227" value="Each logical operation has at most one logical operand 2."/>
<sbvr:text xmi:id="txt-vom-24737" value="Each logical operation has at most one logical operand 2."/>
<sbvr:text xmi:id="txt-vom-24671" value="Each meaning formulated by a closed logical formulation is a proposition ."/>
<sbvr:text xmi:id="txt-ifm-18177" value="Each meaning formulated by a closed logical formulation is a proposition."/>
<sbvr:text xmi:id="txt-vom-24720" value="Each modal formulation embeds exactly one logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18212" value="Each modal formulation embeds exactly one logical formulation."/>
<sbvr:text xmi:id="txt-vom-24793" value="Each numeric range quantification has exactly one maximum cardinality ."/>
<sbvr:text xmi:id="txt-ifm-18267" value="Each numeric range quantification has exactly one maximum cardinality."/>
<sbvr:text xmi:id="txt-vom-24795" value="Each numeric range quantification has exactly one minimum cardinality ."/>
<sbvr:text xmi:id="txt-ifm-18269" value="Each numeric range quantification has exactly one minimum cardinality."/>
<sbvr:text xmi:id="txt-vom-24803" value="Each objectification binds to exactly one bindable target ."/>
<sbvr:text xmi:id="txt-ifm-18275" value="Each objectification binds to exactly one bindable target."/>
<sbvr:text xmi:id="txt-vom-24801" value="Each objectification considers exactly one logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18273" value="Each objectification considers exactly one logical formulation."/>
<sbvr:text xmi:id="txt-vom-25092" value="Each partitive verb concept is a binary verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18445" value="Each partitive verb concept is a binary verb concept."/>
<sbvr:text xmi:id="txt-vom-24560" value="Each placeholder has at most one starting character position ."/>
<sbvr:text xmi:id="txt-ifm-18113" value="Each placeholder has at most one starting character position."/>
<sbvr:text xmi:id="txt-vom-24554" value="Each placeholder is in exactly one verb concept wording ."/>
<sbvr:text xmi:id="txt-ifm-18107" value="Each placeholder is in exactly one verb concept wording."/>
<sbvr:text xmi:id="txt-vom-24562" value="Each placeholder of a verb concept wording that has a text has a starting character position ."/>
<sbvr:text xmi:id="txt-ifm-18115" value="Each placeholder of a verb concept wording that has a text has a starting character position."/>
<sbvr:text xmi:id="txt-vom-24558" value="Each placeholder of each verb concept wording of a verb concept represents a verb concept role of the verb concept ."/>
<sbvr:text xmi:id="txt-ifm-18111" value="Each placeholder of each verb concept wording of a verb concept represents a verb concept role of the verb concept."/>
<sbvr:text xmi:id="txt-vom-24556" value="Each placeholder represents exactly one verb concept role ."/>
<sbvr:text xmi:id="txt-ifm-18109" value="Each placeholder represents exactly one verb concept role."/>
<sbvr:text xmi:id="txt-vom-24816" value="Each projecting formulation binds to exactly one bindable target ."/>
<sbvr:text xmi:id="txt-ifm-18284" value="Each projecting formulation binds to exactly one bindable target."/>
<sbvr:text xmi:id="txt-vom-24814" value="Each projecting formulation has exactly one projection ."/>
<sbvr:text xmi:id="txt-ifm-18282" value="Each projecting formulation has exactly one projection."/>
<sbvr:text xmi:id="txt-vom-24862" value="Each projection is constrained by at most one logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18306" value="Each projection is constrained by at most one logical formulation."/>
<sbvr:text xmi:id="txt-vom-24860" value="Each projection is on at least one variable ."/>
<sbvr:text xmi:id="txt-ifm-18304" value="Each projection is on at least one variable."/>
<sbvr:text xmi:id="txt-vom-24885" value="Each projection that has an auxiliary variable is constrained by a logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18326" value="Each projection that has an auxiliary variable is constrained by a logical formulation."/>
<sbvr:text xmi:id="txt-vom-24633" value="Each proposition corresponds to exactly one state of affairs ."/>
<sbvr:text xmi:id="txt-ifm-18145" value="Each proposition corresponds to exactly one state of affairs."/>
<sbvr:text xmi:id="txt-vom-24842" value="Each proposition nominalization binds to exactly one bindable target ."/>
<sbvr:text xmi:id="txt-ifm-18297" value="Each proposition nominalization binds to exactly one bindable target."/>
<sbvr:text xmi:id="txt-vom-24840" value="Each proposition nominalization considers exactly one logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18295" value="Each proposition nominalization considers exactly one logical formulation."/>
<sbvr:text xmi:id="txt-vom-24417" value="Each proposition that is created by binding all the verb concept roles of a given verb concept means what the definition of the verb concept defines it to mean ."/>
<sbvr:text xmi:id="txt-ifm-18053" value="Each proposition that is created by binding all the verb concept roles of a given verb concept means what the definition of the verb concept defines it to mean."/>
<sbvr:text xmi:id="txt-vom-24635" value="Each proposition that is true corresponds to exactly one actuality ."/>
<sbvr:text xmi:id="txt-ifm-18147" value="Each proposition that is true corresponds to exactly one actuality."/>
<sbvr:text xmi:id="txt-vom-24756" value="Each quantification introduces exactly one variable ."/>
<sbvr:text xmi:id="txt-ifm-18242" value="Each quantification introduces exactly one variable."/>
<sbvr:text xmi:id="txt-vom-24760" value="Each quantification scopes over at most one logical formulation ."/>
<sbvr:text xmi:id="txt-ifm-18246" value="Each quantification scopes over at most one logical formulation."/>
<sbvr:text xmi:id="txt-vom-24858" value="Each reference in a satisfying answer should use a defined reference scheme."/>
<sbvr:text xmi:id="txt-vom-24595" value="Each reference scheme is for at least one concept ."/>
<sbvr:text xmi:id="txt-ifm-18127" value="Each reference scheme is for at least one concept."/>
<sbvr:text xmi:id="txt-vom-24157" value="each referent of the variable introduced by the quantification satisfies the logical formulation if the meaning formulated by the scope formulation is true with every occurrence of the variable interpreted as referring to the referent"/>
<sbvr:text xmi:id="txt-vom-24111" value="each referent of the variable is an instance of the concept"/>
<sbvr:text xmi:id="txt-vom-24498" value="Each representation has exactly one expression ."/>
<sbvr:text xmi:id="txt-ifm-18077" value="Each representation has exactly one expression."/>
<sbvr<