1 files changed, 4206 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.g b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.g
new file mode 100644
index 00000000..7dd99f99
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.g
@@ -0,0 +1,4206 @@
+/*
+ * generated by Xtext 2.26.0.M1
+ */
+grammar InternalProblem;
+
+options {
+        superClass=AbstractInternalContentAssistParser;
+}
+
+@lexer::header {
+package org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal;
+
+// Hack: Use our own Lexer superclass by means of import. 
+// Currently there is no other way to specify the superclass for the lexer.
+import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
+}
+
+@parser::header {
+package org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal;
+
+import java.io.InputStream;
+import org.eclipse.xtext.*;
+import org.eclipse.xtext.parser.*;
+import org.eclipse.xtext.parser.impl.*;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtext.parser.antlr.XtextTokenStream;
+import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens;
+import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;
+import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.DFA;
+import org.eclipse.viatra.solver.language.services.ProblemGrammarAccess;
+
+}
+@parser::members {
+        private ProblemGrammarAccess grammarAccess;
+
+        public void setGrammarAccess(ProblemGrammarAccess grammarAccess) {
+                this.grammarAccess = grammarAccess;
+        }
+
+        @Override
+        protected Grammar getGrammar() {
+                return grammarAccess.getGrammar();
+        }
+
+        @Override
+        protected String getValueForTokenName(String tokenName) {
+                return tokenName;
+        }
+}
+
+// Entry rule entryRuleProblem
+entryRuleProblem
+:
+{ before(grammarAccess.getProblemRule()); }
+         ruleProblem
+{ after(grammarAccess.getProblemRule()); } 
+         EOF 
+;
+
+// Rule Problem
+ruleProblem 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getProblemAccess().getStatementsAssignment()); }
+                (rule__Problem__StatementsAssignment)*
+                { after(grammarAccess.getProblemAccess().getStatementsAssignment()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleStatement
+entryRuleStatement
+:
+{ before(grammarAccess.getStatementRule()); }
+         ruleStatement
+{ after(grammarAccess.getStatementRule()); } 
+         EOF 
+;
+
+// Rule Statement
+ruleStatement 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getStatementAccess().getAlternatives()); }
+                (rule__Statement__Alternatives)
+                { after(grammarAccess.getStatementAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleClassDeclaration
+entryRuleClassDeclaration
+:
+{ before(grammarAccess.getClassDeclarationRule()); }
+         ruleClassDeclaration
+{ after(grammarAccess.getClassDeclarationRule()); } 
+         EOF 
+;
+
+// Rule ClassDeclaration
+ruleClassDeclaration 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getGroup()); }
+                (rule__ClassDeclaration__Group__0)
+                { after(grammarAccess.getClassDeclarationAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleReferenceDeclaration
+entryRuleReferenceDeclaration
+:
+{ before(grammarAccess.getReferenceDeclarationRule()); }
+         ruleReferenceDeclaration
+{ after(grammarAccess.getReferenceDeclarationRule()); } 
+         EOF 
+;
+
+// Rule ReferenceDeclaration
+ruleReferenceDeclaration 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getGroup()); }
+                (rule__ReferenceDeclaration__Group__0)
+                { after(grammarAccess.getReferenceDeclarationAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRulePredicateDefinition
+entryRulePredicateDefinition
+:
+{ before(grammarAccess.getPredicateDefinitionRule()); }
+         rulePredicateDefinition
+{ after(grammarAccess.getPredicateDefinitionRule()); } 
+         EOF 
+;
+
+// Rule PredicateDefinition
+rulePredicateDefinition 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getGroup()); }
+                (rule__PredicateDefinition__Group__0)
+                { after(grammarAccess.getPredicateDefinitionAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleParameter
+entryRuleParameter
+:
+{ before(grammarAccess.getParameterRule()); }
+         ruleParameter
+{ after(grammarAccess.getParameterRule()); } 
+         EOF 
+;
+
+// Rule Parameter
+ruleParameter 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getParameterAccess().getGroup()); }
+                (rule__Parameter__Group__0)
+                { after(grammarAccess.getParameterAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleConjunction
+entryRuleConjunction
+:
+{ before(grammarAccess.getConjunctionRule()); }
+         ruleConjunction
+{ after(grammarAccess.getConjunctionRule()); } 
+         EOF 
+;
+
+// Rule Conjunction
+ruleConjunction 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getConjunctionAccess().getGroup()); }
+                (rule__Conjunction__Group__0)
+                { after(grammarAccess.getConjunctionAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleLiteral
+entryRuleLiteral
+:
+{ before(grammarAccess.getLiteralRule()); }
+         ruleLiteral
+{ after(grammarAccess.getLiteralRule()); } 
+         EOF 
+;
+
+// Rule Literal
+ruleLiteral 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getLiteralAccess().getAlternatives()); }
+                (rule__Literal__Alternatives)
+                { after(grammarAccess.getLiteralAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleNegativeLiteral
+entryRuleNegativeLiteral
+:
+{ before(grammarAccess.getNegativeLiteralRule()); }
+         ruleNegativeLiteral
+{ after(grammarAccess.getNegativeLiteralRule()); } 
+         EOF 
+;
+
+// Rule NegativeLiteral
+ruleNegativeLiteral 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getNegativeLiteralAccess().getGroup()); }
+                (rule__NegativeLiteral__Group__0)
+                { after(grammarAccess.getNegativeLiteralAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleAtom
+entryRuleAtom
+:
+{ before(grammarAccess.getAtomRule()); }
+         ruleAtom
+{ after(grammarAccess.getAtomRule()); } 
+         EOF 
+;
+
+// Rule Atom
+ruleAtom 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getAtomAccess().getGroup()); }
+                (rule__Atom__Group__0)
+                { after(grammarAccess.getAtomAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleAssertion
+entryRuleAssertion
+:
+{ before(grammarAccess.getAssertionRule()); }
+         ruleAssertion
+{ after(grammarAccess.getAssertionRule()); } 
+         EOF 
+;
+
+// Rule Assertion
+ruleAssertion 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getAssertionAccess().getGroup()); }
+                (rule__Assertion__Group__0)
+                { after(grammarAccess.getAssertionAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleScopeDeclaration
+entryRuleScopeDeclaration
+:
+{ before(grammarAccess.getScopeDeclarationRule()); }
+         ruleScopeDeclaration
+{ after(grammarAccess.getScopeDeclarationRule()); } 
+         EOF 
+;
+
+// Rule ScopeDeclaration
+ruleScopeDeclaration 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getScopeDeclarationAccess().getGroup()); }
+                (rule__ScopeDeclaration__Group__0)
+                { after(grammarAccess.getScopeDeclarationAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleTypeScope
+entryRuleTypeScope
+:
+{ before(grammarAccess.getTypeScopeRule()); }
+         ruleTypeScope
+{ after(grammarAccess.getTypeScopeRule()); } 
+         EOF 
+;
+
+// Rule TypeScope
+ruleTypeScope 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getTypeScopeAccess().getGroup()); }
+                (rule__TypeScope__Group__0)
+                { after(grammarAccess.getTypeScopeAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleMultiplicity
+entryRuleMultiplicity
+:
+{ before(grammarAccess.getMultiplicityRule()); }
+         ruleMultiplicity
+{ after(grammarAccess.getMultiplicityRule()); } 
+         EOF 
+;
+
+// Rule Multiplicity
+ruleMultiplicity 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getMultiplicityAccess().getAlternatives()); }
+                (rule__Multiplicity__Alternatives)
+                { after(grammarAccess.getMultiplicityAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleRangeMultiplicity
+entryRuleRangeMultiplicity
+:
+{ before(grammarAccess.getRangeMultiplicityRule()); }
+         ruleRangeMultiplicity
+{ after(grammarAccess.getRangeMultiplicityRule()); } 
+         EOF 
+;
+
+// Rule RangeMultiplicity
+ruleRangeMultiplicity 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getRangeMultiplicityAccess().getGroup()); }
+                (rule__RangeMultiplicity__Group__0)
+                { after(grammarAccess.getRangeMultiplicityAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleExactMultiplicity
+entryRuleExactMultiplicity
+:
+{ before(grammarAccess.getExactMultiplicityRule()); }
+         ruleExactMultiplicity
+{ after(grammarAccess.getExactMultiplicityRule()); } 
+         EOF 
+;
+
+// Rule ExactMultiplicity
+ruleExactMultiplicity 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getExactMultiplicityAccess().getExactValueAssignment()); }
+                (rule__ExactMultiplicity__ExactValueAssignment)
+                { after(grammarAccess.getExactMultiplicityAccess().getExactValueAssignment()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleUpperBound
+entryRuleUpperBound
+:
+{ before(grammarAccess.getUpperBoundRule()); }
+         ruleUpperBound
+{ after(grammarAccess.getUpperBoundRule()); } 
+         EOF 
+;
+
+// Rule UpperBound
+ruleUpperBound 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getUpperBoundAccess().getAlternatives()); }
+                (rule__UpperBound__Alternatives)
+                { after(grammarAccess.getUpperBoundAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Entry rule entryRuleQualifiedName
+entryRuleQualifiedName
+:
+{ before(grammarAccess.getQualifiedNameRule()); }
+         ruleQualifiedName
+{ after(grammarAccess.getQualifiedNameRule()); } 
+         EOF 
+;
+
+// Rule QualifiedName
+ruleQualifiedName 
+        @init {
+                int stackSize = keepStackSize();
+        }
+        :
+        (
+                { before(grammarAccess.getQualifiedNameAccess().getGroup()); }
+                (rule__QualifiedName__Group__0)
+                { after(grammarAccess.getQualifiedNameAccess().getGroup()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Rule LogicValue
+ruleLogicValue
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getLogicValueAccess().getAlternatives()); }
+                (rule__LogicValue__Alternatives)
+                { after(grammarAccess.getLogicValueAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+// Rule ShortLogicValue
+ruleShortLogicValue
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getShortLogicValueAccess().getAlternatives()); }
+                (rule__ShortLogicValue__Alternatives)
+                { after(grammarAccess.getShortLogicValueAccess().getAlternatives()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Statement__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getStatementAccess().getClassDeclarationParserRuleCall_0()); }
+                ruleClassDeclaration
+                { after(grammarAccess.getStatementAccess().getClassDeclarationParserRuleCall_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getStatementAccess().getPredicateDefinitionParserRuleCall_1()); }
+                rulePredicateDefinition
+                { after(grammarAccess.getStatementAccess().getPredicateDefinitionParserRuleCall_1()); }
+        )
+        |
+        (
+                { before(grammarAccess.getStatementAccess().getAssertionParserRuleCall_2()); }
+                ruleAssertion
+                { after(grammarAccess.getStatementAccess().getAssertionParserRuleCall_2()); }
+        )
+        |
+        (
+                { before(grammarAccess.getStatementAccess().getScopeDeclarationParserRuleCall_3()); }
+                ruleScopeDeclaration
+                { after(grammarAccess.getStatementAccess().getScopeDeclarationParserRuleCall_3()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Alternatives_3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getGroup_3_0()); }
+                (rule__ClassDeclaration__Group_3_0__0)
+                { after(grammarAccess.getClassDeclarationAccess().getGroup_3_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsAssignment_3_1()); }
+                (rule__ClassDeclaration__ReferenceDeclarationsAssignment_3_1)
+                { after(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsAssignment_3_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Alternatives_3_0_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_0()); }
+                (rule__ClassDeclaration__SuperTypesAssignment_3_0_1_0)
+                { after(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1()); }
+                (rule__ClassDeclaration__Group_3_0_1_1__0)
+                { after(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Alternatives_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getContainmentAssignment_0_0()); }
+                (rule__ReferenceDeclaration__ContainmentAssignment_0_0)
+                { after(grammarAccess.getReferenceDeclarationAccess().getContainmentAssignment_0_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getRefersKeyword_0_1()); }
+                'refers'
+                { after(grammarAccess.getReferenceDeclarationAccess().getRefersKeyword_0_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Alternatives_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getGroup_0_0()); }
+                (rule__PredicateDefinition__Group_0_0__0)
+                { after(grammarAccess.getPredicateDefinitionAccess().getGroup_0_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_1()); }
+                'pred'
+                { after(grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Literal__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getLiteralAccess().getAtomParserRuleCall_0()); }
+                ruleAtom
+                { after(grammarAccess.getLiteralAccess().getAtomParserRuleCall_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getLiteralAccess().getNegativeLiteralParserRuleCall_1()); }
+                ruleNegativeLiteral
+                { after(grammarAccess.getLiteralAccess().getNegativeLiteralParserRuleCall_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Alternatives_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getGroup_0_0()); }
+                (rule__Assertion__Group_0_0__0)
+                { after(grammarAccess.getAssertionAccess().getGroup_0_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getAssertionAccess().getGroup_0_1()); }
+                (rule__Assertion__Group_0_1__0)
+                { after(grammarAccess.getAssertionAccess().getGroup_0_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Alternatives_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getTypeScopeAccess().getIncrementAssignment_1_0()); }
+                (rule__TypeScope__IncrementAssignment_1_0)
+                { after(grammarAccess.getTypeScopeAccess().getIncrementAssignment_1_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getTypeScopeAccess().getEqualsSignKeyword_1_1()); }
+                '='
+                { after(grammarAccess.getTypeScopeAccess().getEqualsSignKeyword_1_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Multiplicity__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getMultiplicityAccess().getRangeMultiplicityParserRuleCall_0()); }
+                ruleRangeMultiplicity
+                { after(grammarAccess.getMultiplicityAccess().getRangeMultiplicityParserRuleCall_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getMultiplicityAccess().getExactMultiplicityParserRuleCall_1()); }
+                ruleExactMultiplicity
+                { after(grammarAccess.getMultiplicityAccess().getExactMultiplicityParserRuleCall_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__UpperBound__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getUpperBoundAccess().getINTTerminalRuleCall_0()); }
+                RULE_INT
+                { after(grammarAccess.getUpperBoundAccess().getINTTerminalRuleCall_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getUpperBoundAccess().getAsteriskKeyword_1()); }
+                '*'
+                { after(grammarAccess.getUpperBoundAccess().getAsteriskKeyword_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__LogicValue__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getLogicValueAccess().getTRUEEnumLiteralDeclaration_0()); }
+                ('true')
+                { after(grammarAccess.getLogicValueAccess().getTRUEEnumLiteralDeclaration_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getLogicValueAccess().getFALSEEnumLiteralDeclaration_1()); }
+                ('false')
+                { after(grammarAccess.getLogicValueAccess().getFALSEEnumLiteralDeclaration_1()); }
+        )
+        |
+        (
+                { before(grammarAccess.getLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_2()); }
+                ('unknown')
+                { after(grammarAccess.getLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_2()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ShortLogicValue__Alternatives
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getShortLogicValueAccess().getFALSEEnumLiteralDeclaration_0()); }
+                ('!')
+                { after(grammarAccess.getShortLogicValueAccess().getFALSEEnumLiteralDeclaration_0()); }
+        )
+        |
+        (
+                { before(grammarAccess.getShortLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_1()); }
+                ('?')
+                { after(grammarAccess.getShortLogicValueAccess().getUNKNOWNEnumLiteralDeclaration_1()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__0__Impl
+        rule__ClassDeclaration__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getAbstractAssignment_0()); }
+        (rule__ClassDeclaration__AbstractAssignment_0)?
+        { after(grammarAccess.getClassDeclarationAccess().getAbstractAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__1__Impl
+        rule__ClassDeclaration__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getClassKeyword_1()); }
+        'class'
+        { after(grammarAccess.getClassDeclarationAccess().getClassKeyword_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__2__Impl
+        rule__ClassDeclaration__Group__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getNameAssignment_2()); }
+        (rule__ClassDeclaration__NameAssignment_2)
+        { after(grammarAccess.getClassDeclarationAccess().getNameAssignment_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__3__Impl
+        rule__ClassDeclaration__Group__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getAlternatives_3()); }
+        (rule__ClassDeclaration__Alternatives_3)?
+        { after(grammarAccess.getClassDeclarationAccess().getAlternatives_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__4__Impl
+        rule__ClassDeclaration__Group__5
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getGroup_4()); }
+        (rule__ClassDeclaration__Group_4__0)*
+        { after(grammarAccess.getClassDeclarationAccess().getGroup_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group__5__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group__5__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getFullStopKeyword_5()); }
+        '.'
+        { after(grammarAccess.getClassDeclarationAccess().getFullStopKeyword_5()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ClassDeclaration__Group_3_0__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0__0__Impl
+        rule__ClassDeclaration__Group_3_0__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getExtendsKeyword_3_0_0()); }
+        'extends'
+        { after(grammarAccess.getClassDeclarationAccess().getExtendsKeyword_3_0_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getAlternatives_3_0_1()); }
+        (rule__ClassDeclaration__Alternatives_3_0_1)
+        { after(grammarAccess.getClassDeclarationAccess().getAlternatives_3_0_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ClassDeclaration__Group_3_0_1_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1__0__Impl
+        rule__ClassDeclaration__Group_3_0_1_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getLeftSquareBracketKeyword_3_0_1_1_0()); }
+        '['
+        { after(grammarAccess.getClassDeclarationAccess().getLeftSquareBracketKeyword_3_0_1_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1__1__Impl
+        rule__ClassDeclaration__Group_3_0_1_1__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1_1()); }
+        (rule__ClassDeclaration__Group_3_0_1_1_1__0)?
+        { after(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1__2__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getRightSquareBracketKeyword_3_0_1_1_2()); }
+        ']'
+        { after(grammarAccess.getClassDeclarationAccess().getRightSquareBracketKeyword_3_0_1_1_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ClassDeclaration__Group_3_0_1_1_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1_1__0__Impl
+        rule__ClassDeclaration__Group_3_0_1_1_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_1_1_0()); }
+        (rule__ClassDeclaration__SuperTypesAssignment_3_0_1_1_1_0)
+        { after(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_1_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1_1_1()); }
+        (rule__ClassDeclaration__Group_3_0_1_1_1_1__0)*
+        { after(grammarAccess.getClassDeclarationAccess().getGroup_3_0_1_1_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ClassDeclaration__Group_3_0_1_1_1_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1_1_1__0__Impl
+        rule__ClassDeclaration__Group_3_0_1_1_1_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getCommaKeyword_3_0_1_1_1_1_0()); }
+        ','
+        { after(grammarAccess.getClassDeclarationAccess().getCommaKeyword_3_0_1_1_1_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_3_0_1_1_1_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_3_0_1_1_1_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_1_1_1_1()); }
+        (rule__ClassDeclaration__SuperTypesAssignment_3_0_1_1_1_1_1)
+        { after(grammarAccess.getClassDeclarationAccess().getSuperTypesAssignment_3_0_1_1_1_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ClassDeclaration__Group_4__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_4__0__Impl
+        rule__ClassDeclaration__Group_4__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_4__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getCommaKeyword_4_0()); }
+        ','
+        { after(grammarAccess.getClassDeclarationAccess().getCommaKeyword_4_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_4__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ClassDeclaration__Group_4__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__Group_4__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsAssignment_4_1()); }
+        (rule__ClassDeclaration__ReferenceDeclarationsAssignment_4_1)
+        { after(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsAssignment_4_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ReferenceDeclaration__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__0__Impl
+        rule__ReferenceDeclaration__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getAlternatives_0()); }
+        (rule__ReferenceDeclaration__Alternatives_0)
+        { after(grammarAccess.getReferenceDeclarationAccess().getAlternatives_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__1__Impl
+        rule__ReferenceDeclaration__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeAssignment_1()); }
+        (rule__ReferenceDeclaration__ReferenceTypeAssignment_1)
+        { after(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__2__Impl
+        rule__ReferenceDeclaration__Group__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getLeftSquareBracketKeyword_2()); }
+        '['
+        { after(grammarAccess.getReferenceDeclarationAccess().getLeftSquareBracketKeyword_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__3__Impl
+        rule__ReferenceDeclaration__Group__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getMultiplicityAssignment_3()); }
+        (rule__ReferenceDeclaration__MultiplicityAssignment_3)
+        { after(grammarAccess.getReferenceDeclarationAccess().getMultiplicityAssignment_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__4__Impl
+        rule__ReferenceDeclaration__Group__5
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getRightSquareBracketKeyword_4()); }
+        ']'
+        { after(grammarAccess.getReferenceDeclarationAccess().getRightSquareBracketKeyword_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__5__Impl
+        rule__ReferenceDeclaration__Group__6
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__5__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getNameAssignment_5()); }
+        (rule__ReferenceDeclaration__NameAssignment_5)
+        { after(grammarAccess.getReferenceDeclarationAccess().getNameAssignment_5()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__6
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group__6__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group__6__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getGroup_6()); }
+        (rule__ReferenceDeclaration__Group_6__0)?
+        { after(grammarAccess.getReferenceDeclarationAccess().getGroup_6()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ReferenceDeclaration__Group_6__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group_6__0__Impl
+        rule__ReferenceDeclaration__Group_6__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group_6__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getOppositeKeyword_6_0()); }
+        'opposite'
+        { after(grammarAccess.getReferenceDeclarationAccess().getOppositeKeyword_6_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group_6__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ReferenceDeclaration__Group_6__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__Group_6__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getReferenceDeclarationAccess().getOppositeAssignment_6_1()); }
+        (rule__ReferenceDeclaration__OppositeAssignment_6_1)
+        { after(grammarAccess.getReferenceDeclarationAccess().getOppositeAssignment_6_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__0__Impl
+        rule__PredicateDefinition__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getAlternatives_0()); }
+        (rule__PredicateDefinition__Alternatives_0)
+        { after(grammarAccess.getPredicateDefinitionAccess().getAlternatives_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__1__Impl
+        rule__PredicateDefinition__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getNameAssignment_1()); }
+        (rule__PredicateDefinition__NameAssignment_1)
+        { after(grammarAccess.getPredicateDefinitionAccess().getNameAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__2__Impl
+        rule__PredicateDefinition__Group__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getLeftParenthesisKeyword_2()); }
+        '('
+        { after(grammarAccess.getPredicateDefinitionAccess().getLeftParenthesisKeyword_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__3__Impl
+        rule__PredicateDefinition__Group__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getGroup_3()); }
+        (rule__PredicateDefinition__Group_3__0)?
+        { after(grammarAccess.getPredicateDefinitionAccess().getGroup_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__4__Impl
+        rule__PredicateDefinition__Group__5
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getRightParenthesisKeyword_4()); }
+        ')'
+        { after(grammarAccess.getPredicateDefinitionAccess().getRightParenthesisKeyword_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__5__Impl
+        rule__PredicateDefinition__Group__6
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__5__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getGroup_5()); }
+        (rule__PredicateDefinition__Group_5__0)?
+        { after(grammarAccess.getPredicateDefinitionAccess().getGroup_5()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__6
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group__6__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group__6__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getFullStopKeyword_6()); }
+        '.'
+        { after(grammarAccess.getPredicateDefinitionAccess().getFullStopKeyword_6()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group_0_0__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_0_0__0__Impl
+        rule__PredicateDefinition__Group_0_0__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_0_0__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getErrorAssignment_0_0_0()); }
+        (rule__PredicateDefinition__ErrorAssignment_0_0_0)
+        { after(grammarAccess.getPredicateDefinitionAccess().getErrorAssignment_0_0_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_0_0__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_0_0__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_0_0__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_0_1()); }
+        ('pred')?
+        { after(grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_0_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group_3__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_3__0__Impl
+        rule__PredicateDefinition__Group_3__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getParametersAssignment_3_0()); }
+        (rule__PredicateDefinition__ParametersAssignment_3_0)
+        { after(grammarAccess.getPredicateDefinitionAccess().getParametersAssignment_3_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_3__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getGroup_3_1()); }
+        (rule__PredicateDefinition__Group_3_1__0)*
+        { after(grammarAccess.getPredicateDefinitionAccess().getGroup_3_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group_3_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_3_1__0__Impl
+        rule__PredicateDefinition__Group_3_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getCommaKeyword_3_1_0()); }
+        ','
+        { after(grammarAccess.getPredicateDefinitionAccess().getCommaKeyword_3_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_3_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_3_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getParametersAssignment_3_1_1()); }
+        (rule__PredicateDefinition__ParametersAssignment_3_1_1)
+        { after(grammarAccess.getPredicateDefinitionAccess().getParametersAssignment_3_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group_5__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_5__0__Impl
+        rule__PredicateDefinition__Group_5__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getColonEqualsSignKeyword_5_0()); }
+        ':='
+        { after(grammarAccess.getPredicateDefinitionAccess().getColonEqualsSignKeyword_5_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_5__1__Impl
+        rule__PredicateDefinition__Group_5__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getBodiesAssignment_5_1()); }
+        (rule__PredicateDefinition__BodiesAssignment_5_1)
+        { after(grammarAccess.getPredicateDefinitionAccess().getBodiesAssignment_5_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_5__2__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getGroup_5_2()); }
+        (rule__PredicateDefinition__Group_5_2__0)*
+        { after(grammarAccess.getPredicateDefinitionAccess().getGroup_5_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__PredicateDefinition__Group_5_2__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_5_2__0__Impl
+        rule__PredicateDefinition__Group_5_2__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5_2__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getSemicolonKeyword_5_2_0()); }
+        ';'
+        { after(grammarAccess.getPredicateDefinitionAccess().getSemicolonKeyword_5_2_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5_2__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__PredicateDefinition__Group_5_2__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__Group_5_2__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getPredicateDefinitionAccess().getBodiesAssignment_5_2_1()); }
+        (rule__PredicateDefinition__BodiesAssignment_5_2_1)
+        { after(grammarAccess.getPredicateDefinitionAccess().getBodiesAssignment_5_2_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Parameter__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Parameter__Group__0__Impl
+        rule__Parameter__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Parameter__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getParameterAccess().getParameterTypeAssignment_0()); }
+        (rule__Parameter__ParameterTypeAssignment_0)
+        { after(grammarAccess.getParameterAccess().getParameterTypeAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Parameter__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Parameter__Group__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Parameter__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getParameterAccess().getNameAssignment_1()); }
+        (rule__Parameter__NameAssignment_1)
+        { after(grammarAccess.getParameterAccess().getNameAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Conjunction__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Conjunction__Group__0__Impl
+        rule__Conjunction__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getConjunctionAccess().getLiteralsAssignment_0()); }
+        (rule__Conjunction__LiteralsAssignment_0)
+        { after(grammarAccess.getConjunctionAccess().getLiteralsAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Conjunction__Group__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getConjunctionAccess().getGroup_1()); }
+        (rule__Conjunction__Group_1__0)*
+        { after(grammarAccess.getConjunctionAccess().getGroup_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Conjunction__Group_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Conjunction__Group_1__0__Impl
+        rule__Conjunction__Group_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getConjunctionAccess().getCommaKeyword_1_0()); }
+        ','
+        { after(grammarAccess.getConjunctionAccess().getCommaKeyword_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Conjunction__Group_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__Group_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getConjunctionAccess().getLiteralsAssignment_1_1()); }
+        (rule__Conjunction__LiteralsAssignment_1_1)
+        { after(grammarAccess.getConjunctionAccess().getLiteralsAssignment_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__NegativeLiteral__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__NegativeLiteral__Group__0__Impl
+        rule__NegativeLiteral__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__NegativeLiteral__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getNegativeLiteralAccess().getExclamationMarkKeyword_0()); }
+        '!'
+        { after(grammarAccess.getNegativeLiteralAccess().getExclamationMarkKeyword_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__NegativeLiteral__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__NegativeLiteral__Group__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__NegativeLiteral__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getNegativeLiteralAccess().getAtomAssignment_1()); }
+        (rule__NegativeLiteral__AtomAssignment_1)
+        { after(grammarAccess.getNegativeLiteralAccess().getAtomAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Atom__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group__0__Impl
+        rule__Atom__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getRelationAssignment_0()); }
+        (rule__Atom__RelationAssignment_0)
+        { after(grammarAccess.getAtomAccess().getRelationAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group__1__Impl
+        rule__Atom__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getTransitiveClosureAssignment_1()); }
+        (rule__Atom__TransitiveClosureAssignment_1)?
+        { after(grammarAccess.getAtomAccess().getTransitiveClosureAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group__2__Impl
+        rule__Atom__Group__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getLeftParenthesisKeyword_2()); }
+        '('
+        { after(grammarAccess.getAtomAccess().getLeftParenthesisKeyword_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group__3__Impl
+        rule__Atom__Group__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getGroup_3()); }
+        (rule__Atom__Group_3__0)?
+        { after(grammarAccess.getAtomAccess().getGroup_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group__4__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getRightParenthesisKeyword_4()); }
+        ')'
+        { after(grammarAccess.getAtomAccess().getRightParenthesisKeyword_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Atom__Group_3__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group_3__0__Impl
+        rule__Atom__Group_3__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getArgumentsAssignment_3_0()); }
+        (rule__Atom__ArgumentsAssignment_3_0)
+        { after(grammarAccess.getAtomAccess().getArgumentsAssignment_3_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group_3__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getGroup_3_1()); }
+        (rule__Atom__Group_3_1__0)*
+        { after(grammarAccess.getAtomAccess().getGroup_3_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Atom__Group_3_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group_3_1__0__Impl
+        rule__Atom__Group_3_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getCommaKeyword_3_1_0()); }
+        ','
+        { after(grammarAccess.getAtomAccess().getCommaKeyword_3_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Atom__Group_3_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__Group_3_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAtomAccess().getArgumentsAssignment_3_1_1()); }
+        (rule__Atom__ArgumentsAssignment_3_1_1)
+        { after(grammarAccess.getAtomAccess().getArgumentsAssignment_3_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group__0__Impl
+        rule__Assertion__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getAlternatives_0()); }
+        (rule__Assertion__Alternatives_0)
+        { after(grammarAccess.getAssertionAccess().getAlternatives_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getFullStopKeyword_1()); }
+        '.'
+        { after(grammarAccess.getAssertionAccess().getFullStopKeyword_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_0__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__0__Impl
+        rule__Assertion__Group_0_0__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getRelationAssignment_0_0_0()); }
+        (rule__Assertion__RelationAssignment_0_0_0)
+        { after(grammarAccess.getAssertionAccess().getRelationAssignment_0_0_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__1__Impl
+        rule__Assertion__Group_0_0__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getLeftParenthesisKeyword_0_0_1()); }
+        '('
+        { after(grammarAccess.getAssertionAccess().getLeftParenthesisKeyword_0_0_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__2__Impl
+        rule__Assertion__Group_0_0__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getGroup_0_0_2()); }
+        (rule__Assertion__Group_0_0_2__0)?
+        { after(grammarAccess.getAssertionAccess().getGroup_0_0_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__3__Impl
+        rule__Assertion__Group_0_0__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getRightParenthesisKeyword_0_0_3()); }
+        ')'
+        { after(grammarAccess.getAssertionAccess().getRightParenthesisKeyword_0_0_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__4__Impl
+        rule__Assertion__Group_0_0__5
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getColonKeyword_0_0_4()); }
+        ':'
+        { after(grammarAccess.getAssertionAccess().getColonKeyword_0_0_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0__5__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0__5__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getValueAssignment_0_0_5()); }
+        (rule__Assertion__ValueAssignment_0_0_5)
+        { after(grammarAccess.getAssertionAccess().getValueAssignment_0_0_5()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_0_2__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0_2__0__Impl
+        rule__Assertion__Group_0_0_2__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_0_2_0()); }
+        (rule__Assertion__ArgumentsAssignment_0_0_2_0)
+        { after(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_0_2_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0_2__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getGroup_0_0_2_1()); }
+        (rule__Assertion__Group_0_0_2_1__0)*
+        { after(grammarAccess.getAssertionAccess().getGroup_0_0_2_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_0_2_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0_2_1__0__Impl
+        rule__Assertion__Group_0_0_2_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getCommaKeyword_0_0_2_1_0()); }
+        ','
+        { after(grammarAccess.getAssertionAccess().getCommaKeyword_0_0_2_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_0_2_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_0_2_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_0_2_1_1()); }
+        (rule__Assertion__ArgumentsAssignment_0_0_2_1_1)
+        { after(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_0_2_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1__0__Impl
+        rule__Assertion__Group_0_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getValueAssignment_0_1_0()); }
+        (rule__Assertion__ValueAssignment_0_1_0)?
+        { after(grammarAccess.getAssertionAccess().getValueAssignment_0_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1__1__Impl
+        rule__Assertion__Group_0_1__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getRelationAssignment_0_1_1()); }
+        (rule__Assertion__RelationAssignment_0_1_1)
+        { after(grammarAccess.getAssertionAccess().getRelationAssignment_0_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1__2__Impl
+        rule__Assertion__Group_0_1__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getLeftParenthesisKeyword_0_1_2()); }
+        '('
+        { after(grammarAccess.getAssertionAccess().getLeftParenthesisKeyword_0_1_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1__3__Impl
+        rule__Assertion__Group_0_1__4
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getGroup_0_1_3()); }
+        (rule__Assertion__Group_0_1_3__0)?
+        { after(grammarAccess.getAssertionAccess().getGroup_0_1_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__4
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1__4__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1__4__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getRightParenthesisKeyword_0_1_4()); }
+        ')'
+        { after(grammarAccess.getAssertionAccess().getRightParenthesisKeyword_0_1_4()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_1_3__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1_3__0__Impl
+        rule__Assertion__Group_0_1_3__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_1_3_0()); }
+        (rule__Assertion__ArgumentsAssignment_0_1_3_0)
+        { after(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_1_3_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1_3__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getGroup_0_1_3_1()); }
+        (rule__Assertion__Group_0_1_3_1__0)*
+        { after(grammarAccess.getAssertionAccess().getGroup_0_1_3_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Assertion__Group_0_1_3_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1_3_1__0__Impl
+        rule__Assertion__Group_0_1_3_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getCommaKeyword_0_1_3_1_0()); }
+        ','
+        { after(grammarAccess.getAssertionAccess().getCommaKeyword_0_1_3_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__Assertion__Group_0_1_3_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__Group_0_1_3_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_1_3_1_1()); }
+        (rule__Assertion__ArgumentsAssignment_0_1_3_1_1)
+        { after(grammarAccess.getAssertionAccess().getArgumentsAssignment_0_1_3_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ScopeDeclaration__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group__0__Impl
+        rule__ScopeDeclaration__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getScopeKeyword_0()); }
+        'scope'
+        { after(grammarAccess.getScopeDeclarationAccess().getScopeKeyword_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group__1__Impl
+        rule__ScopeDeclaration__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getTypeScopesAssignment_1()); }
+        (rule__ScopeDeclaration__TypeScopesAssignment_1)
+        { after(grammarAccess.getScopeDeclarationAccess().getTypeScopesAssignment_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group__2__Impl
+        rule__ScopeDeclaration__Group__3
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getGroup_2()); }
+        (rule__ScopeDeclaration__Group_2__0)*
+        { after(grammarAccess.getScopeDeclarationAccess().getGroup_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group__3__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group__3__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getFullStopKeyword_3()); }
+        '.'
+        { after(grammarAccess.getScopeDeclarationAccess().getFullStopKeyword_3()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__ScopeDeclaration__Group_2__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group_2__0__Impl
+        rule__ScopeDeclaration__Group_2__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group_2__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getCommaKeyword_2_0()); }
+        ','
+        { after(grammarAccess.getScopeDeclarationAccess().getCommaKeyword_2_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group_2__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__ScopeDeclaration__Group_2__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__Group_2__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getScopeDeclarationAccess().getTypeScopesAssignment_2_1()); }
+        (rule__ScopeDeclaration__TypeScopesAssignment_2_1)
+        { after(grammarAccess.getScopeDeclarationAccess().getTypeScopesAssignment_2_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__TypeScope__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__TypeScope__Group__0__Impl
+        rule__TypeScope__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getTypeScopeAccess().getTargetTypeAssignment_0()); }
+        (rule__TypeScope__TargetTypeAssignment_0)
+        { after(grammarAccess.getTypeScopeAccess().getTargetTypeAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__TypeScope__Group__1__Impl
+        rule__TypeScope__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getTypeScopeAccess().getAlternatives_1()); }
+        (rule__TypeScope__Alternatives_1)
+        { after(grammarAccess.getTypeScopeAccess().getAlternatives_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__TypeScope__Group__2__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getTypeScopeAccess().getMultiplicityAssignment_2()); }
+        (rule__TypeScope__MultiplicityAssignment_2)
+        { after(grammarAccess.getTypeScopeAccess().getMultiplicityAssignment_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__RangeMultiplicity__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__RangeMultiplicity__Group__0__Impl
+        rule__RangeMultiplicity__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getRangeMultiplicityAccess().getLowerBoundAssignment_0()); }
+        (rule__RangeMultiplicity__LowerBoundAssignment_0)
+        { after(grammarAccess.getRangeMultiplicityAccess().getLowerBoundAssignment_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__RangeMultiplicity__Group__1__Impl
+        rule__RangeMultiplicity__Group__2
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getRangeMultiplicityAccess().getFullStopFullStopKeyword_1()); }
+        '..'
+        { after(grammarAccess.getRangeMultiplicityAccess().getFullStopFullStopKeyword_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__Group__2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__RangeMultiplicity__Group__2__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__Group__2__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getRangeMultiplicityAccess().getUpperBoundAssignment_2()); }
+        (rule__RangeMultiplicity__UpperBoundAssignment_2)
+        { after(grammarAccess.getRangeMultiplicityAccess().getUpperBoundAssignment_2()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__QualifiedName__Group__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__QualifiedName__Group__0__Impl
+        rule__QualifiedName__Group__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_0()); }
+        RULE_ID
+        { after(grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__QualifiedName__Group__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getQualifiedNameAccess().getGroup_1()); }
+        (rule__QualifiedName__Group_1__0)*
+        { after(grammarAccess.getQualifiedNameAccess().getGroup_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__QualifiedName__Group_1__0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__QualifiedName__Group_1__0__Impl
+        rule__QualifiedName__Group_1__1
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group_1__0__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getQualifiedNameAccess().getColonColonKeyword_1_0()); }
+        '::'
+        { after(grammarAccess.getQualifiedNameAccess().getColonColonKeyword_1_0()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group_1__1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        rule__QualifiedName__Group_1__1__Impl
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__QualifiedName__Group_1__1__Impl
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+(
+        { before(grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_1_1()); }
+        RULE_ID
+        { after(grammarAccess.getQualifiedNameAccess().getIDTerminalRuleCall_1_1()); }
+)
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+
+rule__Problem__StatementsAssignment
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getProblemAccess().getStatementsStatementParserRuleCall_0()); }
+                ruleStatement
+                { after(grammarAccess.getProblemAccess().getStatementsStatementParserRuleCall_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__AbstractAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getAbstractAbstractKeyword_0_0()); }
+                (
+                        { before(grammarAccess.getClassDeclarationAccess().getAbstractAbstractKeyword_0_0()); }
+                        'abstract'
+                        { after(grammarAccess.getClassDeclarationAccess().getAbstractAbstractKeyword_0_0()); }
+                )
+                { after(grammarAccess.getClassDeclarationAccess().getAbstractAbstractKeyword_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__NameAssignment_2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getNameIDTerminalRuleCall_2_0()); }
+                RULE_ID
+                { after(grammarAccess.getClassDeclarationAccess().getNameIDTerminalRuleCall_2_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__SuperTypesAssignment_3_0_1_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_0_0()); }
+                (
+                        { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_0_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_0_0_1()); }
+                )
+                { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__SuperTypesAssignment_3_0_1_1_1_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_1_1_0_0()); }
+                (
+                        { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_1_1_0_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_1_1_0_0_1()); }
+                )
+                { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_1_1_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__SuperTypesAssignment_3_0_1_1_1_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_1_1_1_1_0()); }
+                (
+                        { before(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_1_1_1_1_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationIDTerminalRuleCall_3_0_1_1_1_1_1_0_1()); }
+                )
+                { after(grammarAccess.getClassDeclarationAccess().getSuperTypesClassDeclarationCrossReference_3_0_1_1_1_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__ReferenceDeclarationsAssignment_3_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsReferenceDeclarationParserRuleCall_3_1_0()); }
+                ruleReferenceDeclaration
+                { after(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsReferenceDeclarationParserRuleCall_3_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ClassDeclaration__ReferenceDeclarationsAssignment_4_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsReferenceDeclarationParserRuleCall_4_1_0()); }
+                ruleReferenceDeclaration
+                { after(grammarAccess.getClassDeclarationAccess().getReferenceDeclarationsReferenceDeclarationParserRuleCall_4_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__ContainmentAssignment_0_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getContainmentContainsKeyword_0_0_0()); }
+                (
+                        { before(grammarAccess.getReferenceDeclarationAccess().getContainmentContainsKeyword_0_0_0()); }
+                        'contains'
+                        { after(grammarAccess.getReferenceDeclarationAccess().getContainmentContainsKeyword_0_0_0()); }
+                )
+                { after(grammarAccess.getReferenceDeclarationAccess().getContainmentContainsKeyword_0_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__ReferenceTypeAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeClassDeclarationCrossReference_1_0()); }
+                (
+                        { before(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeClassDeclarationIDTerminalRuleCall_1_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeClassDeclarationIDTerminalRuleCall_1_0_1()); }
+                )
+                { after(grammarAccess.getReferenceDeclarationAccess().getReferenceTypeClassDeclarationCrossReference_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__MultiplicityAssignment_3
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getMultiplicityMultiplicityParserRuleCall_3_0()); }
+                ruleMultiplicity
+                { after(grammarAccess.getReferenceDeclarationAccess().getMultiplicityMultiplicityParserRuleCall_3_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__NameAssignment_5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getNameIDTerminalRuleCall_5_0()); }
+                RULE_ID
+                { after(grammarAccess.getReferenceDeclarationAccess().getNameIDTerminalRuleCall_5_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ReferenceDeclaration__OppositeAssignment_6_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getReferenceDeclarationAccess().getOppositeReferenceDeclarationCrossReference_6_1_0()); }
+                (
+                        { before(grammarAccess.getReferenceDeclarationAccess().getOppositeReferenceDeclarationQualifiedNameParserRuleCall_6_1_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getReferenceDeclarationAccess().getOppositeReferenceDeclarationQualifiedNameParserRuleCall_6_1_0_1()); }
+                )
+                { after(grammarAccess.getReferenceDeclarationAccess().getOppositeReferenceDeclarationCrossReference_6_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__ErrorAssignment_0_0_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_0_0_0()); }
+                (
+                        { before(grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_0_0_0()); }
+                        'error'
+                        { after(grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_0_0_0()); }
+                )
+                { after(grammarAccess.getPredicateDefinitionAccess().getErrorErrorKeyword_0_0_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__NameAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getNameIDTerminalRuleCall_1_0()); }
+                RULE_ID
+                { after(grammarAccess.getPredicateDefinitionAccess().getNameIDTerminalRuleCall_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__ParametersAssignment_3_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getParametersParameterParserRuleCall_3_0_0()); }
+                ruleParameter
+                { after(grammarAccess.getPredicateDefinitionAccess().getParametersParameterParserRuleCall_3_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__ParametersAssignment_3_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getParametersParameterParserRuleCall_3_1_1_0()); }
+                ruleParameter
+                { after(grammarAccess.getPredicateDefinitionAccess().getParametersParameterParserRuleCall_3_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__BodiesAssignment_5_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getBodiesConjunctionParserRuleCall_5_1_0()); }
+                ruleConjunction
+                { after(grammarAccess.getPredicateDefinitionAccess().getBodiesConjunctionParserRuleCall_5_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__PredicateDefinition__BodiesAssignment_5_2_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getPredicateDefinitionAccess().getBodiesConjunctionParserRuleCall_5_2_1_0()); }
+                ruleConjunction
+                { after(grammarAccess.getPredicateDefinitionAccess().getBodiesConjunctionParserRuleCall_5_2_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Parameter__ParameterTypeAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getParameterAccess().getParameterTypeClassDeclarationCrossReference_0_0()); }
+                (
+                        { before(grammarAccess.getParameterAccess().getParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getParameterAccess().getParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1()); }
+                )
+                { after(grammarAccess.getParameterAccess().getParameterTypeClassDeclarationCrossReference_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Parameter__NameAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getParameterAccess().getNameIDTerminalRuleCall_1_0()); }
+                RULE_ID
+                { after(grammarAccess.getParameterAccess().getNameIDTerminalRuleCall_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__LiteralsAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getConjunctionAccess().getLiteralsLiteralParserRuleCall_0_0()); }
+                ruleLiteral
+                { after(grammarAccess.getConjunctionAccess().getLiteralsLiteralParserRuleCall_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Conjunction__LiteralsAssignment_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getConjunctionAccess().getLiteralsLiteralParserRuleCall_1_1_0()); }
+                ruleLiteral
+                { after(grammarAccess.getConjunctionAccess().getLiteralsLiteralParserRuleCall_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__NegativeLiteral__AtomAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getNegativeLiteralAccess().getAtomAtomParserRuleCall_1_0()); }
+                ruleAtom
+                { after(grammarAccess.getNegativeLiteralAccess().getAtomAtomParserRuleCall_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__RelationAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAtomAccess().getRelationRelationCrossReference_0_0()); }
+                (
+                        { before(grammarAccess.getAtomAccess().getRelationRelationQualifiedNameParserRuleCall_0_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAtomAccess().getRelationRelationQualifiedNameParserRuleCall_0_0_1()); }
+                )
+                { after(grammarAccess.getAtomAccess().getRelationRelationCrossReference_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__TransitiveClosureAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAtomAccess().getTransitiveClosurePlusSignKeyword_1_0()); }
+                (
+                        { before(grammarAccess.getAtomAccess().getTransitiveClosurePlusSignKeyword_1_0()); }
+                        '+'
+                        { after(grammarAccess.getAtomAccess().getTransitiveClosurePlusSignKeyword_1_0()); }
+                )
+                { after(grammarAccess.getAtomAccess().getTransitiveClosurePlusSignKeyword_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__ArgumentsAssignment_3_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAtomAccess().getArgumentsVariableCrossReference_3_0_0()); }
+                (
+                        { before(grammarAccess.getAtomAccess().getArgumentsVariableIDTerminalRuleCall_3_0_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getAtomAccess().getArgumentsVariableIDTerminalRuleCall_3_0_0_1()); }
+                )
+                { after(grammarAccess.getAtomAccess().getArgumentsVariableCrossReference_3_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Atom__ArgumentsAssignment_3_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAtomAccess().getArgumentsVariableCrossReference_3_1_1_0()); }
+                (
+                        { before(grammarAccess.getAtomAccess().getArgumentsVariableIDTerminalRuleCall_3_1_1_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getAtomAccess().getArgumentsVariableIDTerminalRuleCall_3_1_1_0_1()); }
+                )
+                { after(grammarAccess.getAtomAccess().getArgumentsVariableCrossReference_3_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__RelationAssignment_0_0_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getRelationRelationCrossReference_0_0_0_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getRelationRelationQualifiedNameParserRuleCall_0_0_0_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getRelationRelationQualifiedNameParserRuleCall_0_0_0_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getRelationRelationCrossReference_0_0_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ArgumentsAssignment_0_0_2_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_0_2_0_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_0_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_0_2_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ArgumentsAssignment_0_0_2_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_0_2_1_1_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_0_2_1_1_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_0_2_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ValueAssignment_0_0_5
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getValueLogicValueEnumRuleCall_0_0_5_0()); }
+                ruleLogicValue
+                { after(grammarAccess.getAssertionAccess().getValueLogicValueEnumRuleCall_0_0_5_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ValueAssignment_0_1_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getValueShortLogicValueEnumRuleCall_0_1_0_0()); }
+                ruleShortLogicValue
+                { after(grammarAccess.getAssertionAccess().getValueShortLogicValueEnumRuleCall_0_1_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__RelationAssignment_0_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getRelationRelationCrossReference_0_1_1_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getRelationRelationQualifiedNameParserRuleCall_0_1_1_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getRelationRelationQualifiedNameParserRuleCall_0_1_1_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getRelationRelationCrossReference_0_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ArgumentsAssignment_0_1_3_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_1_3_0_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_0_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_1_3_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__Assertion__ArgumentsAssignment_0_1_3_1_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_1_3_1_1_0()); }
+                (
+                        { before(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1()); }
+                        ruleQualifiedName
+                        { after(grammarAccess.getAssertionAccess().getArgumentsNodeQualifiedNameParserRuleCall_0_1_3_1_1_0_1()); }
+                )
+                { after(grammarAccess.getAssertionAccess().getArgumentsNodeCrossReference_0_1_3_1_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__TypeScopesAssignment_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getScopeDeclarationAccess().getTypeScopesTypeScopeParserRuleCall_1_0()); }
+                ruleTypeScope
+                { after(grammarAccess.getScopeDeclarationAccess().getTypeScopesTypeScopeParserRuleCall_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ScopeDeclaration__TypeScopesAssignment_2_1
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getScopeDeclarationAccess().getTypeScopesTypeScopeParserRuleCall_2_1_0()); }
+                ruleTypeScope
+                { after(grammarAccess.getScopeDeclarationAccess().getTypeScopesTypeScopeParserRuleCall_2_1_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__TargetTypeAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getTypeScopeAccess().getTargetTypeClassDeclarationCrossReference_0_0()); }
+                (
+                        { before(grammarAccess.getTypeScopeAccess().getTargetTypeClassDeclarationIDTerminalRuleCall_0_0_1()); }
+                        RULE_ID
+                        { after(grammarAccess.getTypeScopeAccess().getTargetTypeClassDeclarationIDTerminalRuleCall_0_0_1()); }
+                )
+                { after(grammarAccess.getTypeScopeAccess().getTargetTypeClassDeclarationCrossReference_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__IncrementAssignment_1_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getTypeScopeAccess().getIncrementPlusSignEqualsSignKeyword_1_0_0()); }
+                (
+                        { before(grammarAccess.getTypeScopeAccess().getIncrementPlusSignEqualsSignKeyword_1_0_0()); }
+                        '+='
+                        { after(grammarAccess.getTypeScopeAccess().getIncrementPlusSignEqualsSignKeyword_1_0_0()); }
+                )
+                { after(grammarAccess.getTypeScopeAccess().getIncrementPlusSignEqualsSignKeyword_1_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__TypeScope__MultiplicityAssignment_2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getTypeScopeAccess().getMultiplicityMultiplicityParserRuleCall_2_0()); }
+                ruleMultiplicity
+                { after(grammarAccess.getTypeScopeAccess().getMultiplicityMultiplicityParserRuleCall_2_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__LowerBoundAssignment_0
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getRangeMultiplicityAccess().getLowerBoundINTTerminalRuleCall_0_0()); }
+                RULE_INT
+                { after(grammarAccess.getRangeMultiplicityAccess().getLowerBoundINTTerminalRuleCall_0_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__RangeMultiplicity__UpperBoundAssignment_2
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getRangeMultiplicityAccess().getUpperBoundUpperBoundParserRuleCall_2_0()); }
+                ruleUpperBound
+                { after(grammarAccess.getRangeMultiplicityAccess().getUpperBoundUpperBoundParserRuleCall_2_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+rule__ExactMultiplicity__ExactValueAssignment
+        @init {
+                int stackSize = keepStackSize();
+        }
+:
+        (
+                { before(grammarAccess.getExactMultiplicityAccess().getExactValueINTTerminalRuleCall_0()); }
+                RULE_INT
+                { after(grammarAccess.getExactMultiplicityAccess().getExactValueINTTerminalRuleCall_0()); }
+        )
+;
+finally {
+        restoreStackSize(stackSize);
+}
+
+RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
+
+RULE_INT : ('0'..'9')+;
+
+RULE_STRING : ('"' ('\\' .|~(('\\'|'"')))* '"'|'\'' ('\\' .|~(('\\'|'\'')))* '\'');
+
+RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
+
+RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;
+
+RULE_WS : (' '|'\t'|'\r'|'\n')+;
+
+RULE_ANY_OTHER : .;