Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
1 lines (1 sloc) 35.8 KB
<ns0:grammar xmlns:ns0="http://planet-sl.org/bgf"><root>pnml.element</root><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/pt-hlpng</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Operator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Equality</nonterminal></ns0:expression><ns0:expression><nonterminal>Inequality</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>Bool</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>BooleanOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>BooleanConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Bool</nonterminal><ns0:expression><selectable><selector>bool</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>And</nonterminal></ns0:expression><ns0:expression><nonterminal>Or</nonterminal></ns0:expression><ns0:expression><nonterminal>Imply</nonterminal></ns0:expression><ns0:expression><nonterminal>Not</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>And</nonterminal><ns0:expression><selectable><selector>and</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Or</nonterminal><ns0:expression><selectable><selector>or</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Not</nonterminal><ns0:expression><selectable><selector>not</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Imply</nonterminal><ns0:expression><selectable><selector>imply</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Equality</nonterminal><ns0:expression><selectable><selector>equality</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Inequality</nonterminal><ns0:expression><selectable><selector>inequality</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanConstant</nonterminal><ns0:expression><selectable><selector>booleanconstant</selector><ns0:expression><sequence><ns0:expression><selectable><selector>value</selector><ns0:expression><choice><ns0:expression><terminal>true</terminal></ns0:expression><ns0:expression><terminal>false</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>Dot</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>DotConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Dot</nonterminal><ns0:expression><selectable><selector>dot</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>DotConstant</nonterminal><ns0:expression><selectable><selector>dotconstant</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Cardinality</nonterminal></ns0:expression><ns0:expression><nonterminal>CardinalityOf</nonterminal></ns0:expression><ns0:expression><nonterminal>Contains</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Add</nonterminal></ns0:expression><ns0:expression><nonterminal>All</nonterminal></ns0:expression><ns0:expression><nonterminal>NumberOf</nonterminal></ns0:expression><ns0:expression><nonterminal>Subtract</nonterminal></ns0:expression><ns0:expression><nonterminal>ScalarProduct</nonterminal></ns0:expression><ns0:expression><nonterminal>Empty</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Add</nonterminal><ns0:expression><selectable><selector>add</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Subtract</nonterminal><ns0:expression><selectable><selector>subtract</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>All</nonterminal><ns0:expression><selectable><selector>all</selector><ns0:expression><sequence><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Empty</nonterminal><ns0:expression><selectable><selector>empty</selector><ns0:expression><sequence><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ScalarProduct</nonterminal><ns0:expression><selectable><selector>scalarproduct</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NumberOf</nonterminal><ns0:expression><selectable><selector>numberof</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Cardinality</nonterminal><ns0:expression><selectable><selector>cardinality</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>CardinalityOf</nonterminal><ns0:expression><selectable><selector>cardinalityof</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Contains</nonterminal><ns0:expression><selectable><selector>contains</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Declarations</nonterminal><ns0:expression><selectable><selector>declarations</selector><ns0:expression><star><ns0:expression><nonterminal>Declaration</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Declaration.content</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>id</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>name</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>Declaration</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>SortDeclaration</nonterminal></ns0:expression><ns0:expression><nonterminal>VariableDeclaration</nonterminal></ns0:expression><ns0:expression><nonterminal>OperatorDeclaration</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>VariableDeclaration</nonterminal><ns0:expression><selectable><selector>variabledecl</selector><ns0:expression><sequence><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration.content</nonterminal><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration</nonterminal><ns0:expression><nonterminal>NamedSort</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration.content</nonterminal><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration</nonterminal><ns0:expression><nonterminal>NamedOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Variable</nonterminal><ns0:expression><selectable><selector>variable</selector><ns0:expression><selectable><selector>refvariable</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NamedSort</nonterminal><ns0:expression><selectable><selector>namedsort</selector><ns0:expression><sequence><ns0:expression><nonterminal>SortDeclaration.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NamedOperator</nonterminal><ns0:expression><selectable><selector>namedoperator</selector><ns0:expression><sequence><ns0:expression><nonterminal>OperatorDeclaration.content</nonterminal></ns0:expression><ns0:expression><selectable><selector>parameter</selector><ns0:expression><star><ns0:expression><nonterminal>VariableDeclaration</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>def</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Term.content</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Term</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Variable</nonterminal></ns0:expression><ns0:expression><nonterminal>Operator</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Sort.content</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Sort</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>BuiltInSort</nonterminal></ns0:expression><ns0:expression><nonterminal>MultisetSort</nonterminal></ns0:expression><ns0:expression><nonterminal>ProductSort</nonterminal></ns0:expression><ns0:expression><nonterminal>UserSort</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetSort</nonterminal><ns0:expression><selectable><selector>multisetsort</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ProductSort</nonterminal><ns0:expression><selectable><selector>productsort</selector><ns0:expression><star><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>UserSort</nonterminal><ns0:expression><selectable><selector>usersort</selector><ns0:expression><selectable><selector>declaration</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Operator.content</nonterminal><ns0:expression><star><ns0:expression><selectable><selector>subterm</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>Operator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>BuiltInOperator</nonterminal></ns0:expression><ns0:expression><nonterminal>BuiltInConstant</nonterminal></ns0:expression><ns0:expression><nonterminal>MultisetOperator</nonterminal></ns0:expression><ns0:expression><nonterminal>Tuple</nonterminal></ns0:expression><ns0:expression><nonterminal>UserOperator</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Tuple</nonterminal><ns0:expression><selectable><selector>tuple</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>UserOperator</nonterminal><ns0:expression><selectable><selector>useroperator</selector><ns0:expression><sequence><ns0:expression><selectable><selector>declaration</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.element</nonterminal><ns0:expression><selectable><selector>pnml</selector><ns0:expression><plus><ns0:expression><nonterminal>pnml.content</nonterminal></ns0:expression></plus></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.content</nonterminal><ns0:expression><nonterminal>net.element</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>net.element</nonterminal><ns0:expression><selectable><selector>net</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>nettype.uri</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>net.labels</nonterminal></ns0:expression><ns0:expression><plus><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression></plus></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>identifier.content</nonterminal><ns0:expression><selectable><selector>id</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/pnmlcoremodel</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>net.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>basicobject.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>page.content</nonterminal><ns0:expression><selectable><selector>page</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>page.labels</nonterminal></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>netobject.content</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>pagegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>netobject.content</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.content</nonterminal></ns0:expression><ns0:expression><nonterminal>refplace.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reftrans.content</nonterminal></ns0:expression><ns0:expression><nonterminal>arc.content</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>page.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>place.content</nonterminal><ns0:expression><selectable><selector>place</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>transition.content</nonterminal><ns0:expression><selectable><selector>transition</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>transition.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>node.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>reference</nonterminal><ns0:expression><selectable><selector>ref</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refplace.content</nonterminal><ns0:expression><selectable><selector>referencePlace</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>reftrans.content</nonterminal><ns0:expression><selectable><selector>referenceTransition</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refnode.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reference</nonterminal></ns0:expression><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>arc.content</nonterminal><ns0:expression><selectable><selector>arc</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><selectable><selector>source</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>target</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>arc.labels</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>edgegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>pagegraphics.content</nonterminal><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>nodegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>dimension.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>edgegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><star><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletext.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>text</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>annotationstandard.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>annotationgraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletextlabel.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>simpletext.content</nonterminal></ns0:expression><ns0:expression><nonterminal>annotationstandard.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>Name</nonterminal><ns0:expression><selectable><selector>name</selector><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>annotationgraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>offset.element</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>font.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>position.element</nonterminal><ns0:expression><selectable><selector>position</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>offset.element</nonterminal><ns0:expression><selectable><selector>offset</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>coordinate.attributes</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>dimension.element</nonterminal><ns0:expression><selectable><selector>dimension</selector><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>positiveDecimal.content</nonterminal><ns0:expression><value>int</value></ns0:expression></ns0:production><ns0:production><nonterminal>fill.element</nonterminal><ns0:expression><selectable><selector>fill</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-rotation</selector><ns0:expression><choice><ns0:expression><terminal>vertical</terminal></ns0:expression><ns0:expression><terminal>horizontal</terminal></ns0:expression><ns0:expression><terminal>diagonal</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>image</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>line.element</nonterminal><ns0:expression><selectable><selector>line</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>shape</selector><ns0:expression><choice><ns0:expression><terminal>line</terminal></ns0:expression><ns0:expression><terminal>curve</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>width</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><choice><ns0:expression><terminal>solid</terminal></ns0:expression><ns0:expression><terminal>dash</terminal></ns0:expression><ns0:expression><terminal>dot</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>color.type</nonterminal><ns0:expression><value>string</value></ns0:expression></ns0:production><ns0:production><nonterminal>font.element</nonterminal><ns0:expression><selectable><selector>font</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>family</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>weight</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>size</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>decoration</selector><ns0:expression><choice><ns0:expression><terminal>underline</terminal></ns0:expression><ns0:expression><terminal>overline</terminal></ns0:expression><ns0:expression><terminal>line-through</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>align</selector><ns0:expression><choice><ns0:expression><terminal>left</terminal></ns0:expression><ns0:expression><terminal>center</terminal></ns0:expression><ns0:expression><terminal>right</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>rotation</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>toolspecific.element</nonterminal><ns0:expression><selectable><selector>toolspecific</selector><ns0:expression><sequence><ns0:expression><selectable><selector>tool</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>version</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>anyElement</nonterminal><ns0:expression><star><ns0:expression><choice><ns0:expression><any /></ns0:expression><ns0:expression><value>string</value></ns0:expression><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></choice></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>net.labels</nonterminal><ns0:expression><star><ns0:expression><nonterminal>HLDeclaration</nonterminal></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>page.labels</nonterminal><ns0:expression><star><ns0:expression><nonterminal>HLDeclaration</nonterminal></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Type</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>HLMarking</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>transition.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>Condition</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>HLAnnotation</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>HLDeclaration</nonterminal><ns0:expression><selectable><selector>declaration</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Declarations</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Type</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>HLMarking</nonterminal><ns0:expression><selectable><selector>hlinitialMarking</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Condition</nonterminal><ns0:expression><selectable><selector>condition</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>HLAnnotation</nonterminal><ns0:expression><selectable><selector>hlinscription</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production></ns0:grammar>