occam-verify-cli 1.0.254 → 1.0.256

package/lib/node/topLevelMetaAssertion.js

@@ -0,0 +1,136 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return TopLevelMetaAssertionNode;
+    }
+});
+var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
+function _assert_this_initialized(self) {
+    if (self === void 0) {
+        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
+    }
+    return self;
+}
+function _call_super(_this, derived, args) {
+    derived = _get_prototype_of(derived);
+    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
+}
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+function _get_prototype_of(o) {
+    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
+        return o.__proto__ || Object.getPrototypeOf(o);
+    };
+    return _get_prototype_of(o);
+}
+function _inherits(subClass, superClass) {
+    if (typeof superClass !== "function" && superClass !== null) {
+        throw new TypeError("Super expression must either be null or a function");
+    }
+    subClass.prototype = Object.create(superClass && superClass.prototype, {
+        constructor: {
+            value: subClass,
+            writable: true,
+            configurable: true
+        }
+    });
+    if (superClass) _set_prototype_of(subClass, superClass);
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function _possible_constructor_return(self, call) {
+    if (call && (_type_of(call) === "object" || typeof call === "function")) {
+        return call;
+    }
+    return _assert_this_initialized(self);
+}
+function _set_prototype_of(o, p) {
+    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
+        o.__proto__ = p;
+        return o;
+    };
+    return _set_prototype_of(o, p);
+}
+function _type_of(obj) {
+    "@swc/helpers - typeof";
+    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
+}
+function _is_native_reflect_construct() {
+    try {
+        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
+    } catch (_) {}
+    return (_is_native_reflect_construct = function() {
+        return !!result;
+    })();
+}
+var TopLevelMetaAssertionNode = /*#__PURE__*/ function(NonTerminalNode) {
+    _inherits(TopLevelMetaAssertionNode, NonTerminalNode);
+    function TopLevelMetaAssertionNode() {
+        _class_call_check(this, TopLevelMetaAssertionNode);
+        return _call_super(this, TopLevelMetaAssertionNode, arguments);
+    }
+    _create_class(TopLevelMetaAssertionNode, [
+        {
+            key: "getBodyNode",
+            value: function getBodyNode() {
+                var bodyRuleName = this.constructor.bodyRuleName, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
+                return axiomBodyNode;
+            }
+        },
+        {
+            key: "getHeaderNode",
+            value: function getHeaderNode() {
+                var headerRuleName = this.constructor.headerRuleName, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
+                return headerNode;
+            }
+        },
+        {
+            key: "getLabelNode",
+            value: function getLabelNode() {
+                var headerNode = this.getHeaderNode(), labelNode = headerNode.getLabelNode();
+                return labelNode;
+            }
+        },
+        {
+            key: "getProofNode",
+            value: function getProofNode() {
+                var bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
+                return proofNode;
+            }
+        }
+    ], [
+        {
+            key: "fromRuleNameChildNodesOpacityAndPrecedence",
+            value: function fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
+                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
+            }
+        }
+    ]);
+    return TopLevelMetaAssertionNode;
+}(_nonTerminal.default);
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Qm9keU5vZGUoKSB7XG4gICAgY29uc3QgeyBib2R5UnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBib2R5UnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBheGlvbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Cb2R5Tm9kZTtcbiAgfVxuXG4gIGdldEhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgeyBoZWFkZXJSdWxlTmFtZSB9ID0gdGhpcy5jb25zdHJ1Y3RvcixcbiAgICAgICAgICBydWxlTmFtZSA9IGhlYWRlclJ1bGVOYW1lLCAgLy8vXG4gICAgICAgICAgaGVhZGVyTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGhlYWRlck5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGUoKSB7XG4gICAgY29uc3QgaGVhZGVyTm9kZSA9IHRoaXMuZ2V0SGVhZGVyTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZSA9IGhlYWRlck5vZGUuZ2V0TGFiZWxOb2RlKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlO1xuICB9XG5cbiAgZ2V0UHJvb2ZOb2RlKCkge1xuICAgIGNvbnN0IGJvZHlOb2RlID0gdGhpcy5nZXRCb2R5Tm9kZSgpLFxuICAgICAgICAgIHByb29mTm9kZSA9IGJvZHlOb2RlLmdldFByb29mTm9kZSgpO1xuXG4gICAgcmV0dXJuIHByb29mTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIiwiZ2V0Qm9keU5vZGUiLCJib2R5UnVsZU5hbWUiLCJydWxlTmFtZSIsImF4aW9tQm9keU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldEhlYWRlck5vZGUiLCJoZWFkZXJSdWxlTmFtZSIsImhlYWRlck5vZGUiLCJnZXRMYWJlbE5vZGUiLCJsYWJlbE5vZGUiLCJnZXRQcm9vZk5vZGUiLCJib2R5Tm9kZSIsInByb29mTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OztrRUFGTzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUViLElBQUEsQUFBTUEsMENBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNLEFBQUVDLGVBQWlCLElBQUksQ0FBQyxXQUFXLENBQWpDQSxjQUNGQyxXQUFXRCxjQUNYRSxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0Y7Z0JBRTdDLE9BQU9DO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTSxBQUFFQyxpQkFBbUIsSUFBSSxDQUFDLFdBQVcsQ0FBbkNBLGdCQUNGSixXQUFXSSxnQkFDWEMsYUFBYSxJQUFJLENBQUNILGlCQUFpQixDQUFDRjtnQkFFMUMsT0FBT0s7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQkksWUFBWUYsV0FBV0MsWUFBWTtnQkFFekMsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXLElBQUksQ0FBQ1gsV0FBVyxJQUMzQlksWUFBWUQsU0FBU0QsWUFBWTtnQkFFdkMsT0FBT0U7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLEtBQUssRUFBRVosUUFBUSxFQUFFYSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDTCwwQ0FBMEMsQ0FBQ0MsT0FBT1osVUFBVWEsWUFBWUMsU0FBU0M7WUFBYTs7O1dBL0J4TWxCO0VBQWtDbUIsb0JBQWUifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.254",
+  "version": "1.0.256",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,11 +12,11 @@
   "dependencies": {
     "argumentative": "^2.0.32",
     "necessary": "^15.0.1",
-    "occam-custom-grammars": "^5.0.1240",
-    "occam-entities": "^1.0.382",
-    "occam-file-system": "^6.0.397",
-    "occam-furtle": "^2.0.190",
-    "occam-grammars": "^1.3.319",
+    "occam-custom-grammars": "^5.0.1242",
+    "occam-entities": "^1.0.384",
+    "occam-file-system": "^6.0.399",
+    "occam-furtle": "^2.0.192",
+    "occam-grammars": "^1.3.323",
     "occam-lexers": "^23.1.3",
     "occam-parsers": "^23.1.5",
     "occam-query": "^4.1.110"

package/src/dom/metavariable.js

@@ -70,6 +70,12 @@ export default domAssigned(class Metavariable {
     return nameMatches;
   }
 
+  matchValue(value) {
+    const valueMatches = (value === this.name);
+
+    return valueMatches;
+  }
+
   matchMetavariableName(metavariableName) {
     const metavariableNameMatches = (metavariableName === this.name);
 

package/src/dom/parameter.js

@@ -3,16 +3,16 @@
 import { domAssigned } from "../dom";
 
 export default domAssigned(class Parameter {
-  constructor(name) {
-    this.name = name;
+  constructor(value) {
+    this.value = value;
   }
 
-  getName() {
-    return this.name;
+  getValue() {
+    return this.value;
   }
 
   getString() {
-    const string = this.name; ///
+    const string = this.value; ///
 
     return string;
   }
@@ -21,9 +21,9 @@ export default domAssigned(class Parameter {
     let replacementNode = null;
 
     const substitution = substitutions.findSubstitution((substitution) => {
-      const nameMatches = substitution.matchName(this.name);
+      const valueMatches = substitution.matchValue(this.value);
 
-      if (nameMatches) {
+      if (valueMatches) {
         return true;
       }
     });
@@ -36,9 +36,9 @@ export default domAssigned(class Parameter {
   }
 
   toJSON() {
-    const name = this.name,
+    const value = this.value,
           json = {
-            name
+            value
           };
 
     return json;
@@ -47,16 +47,16 @@ export default domAssigned(class Parameter {
   static name = "Parameter";
 
   static fromJSON(json, context) {
-    const { name } = json,
-          parameter = new Parameter(name);
+    const { value } = json,
+          parameter = new Parameter(value);
 
     return parameter;
   }
 
   static fromParameterNode(parameterNode, context) {
-    const parameterName = parameterNode.getParameterName(),
-          name = parameterName, ///
-          parameter = new Parameter(name);
+    const parameterValue = parameterNode.getParameterValue(),
+          value = parameterValue, ///
+          parameter = new Parameter(value);
 
     return parameter;
   }

package/src/dom/property.js

@@ -6,43 +6,43 @@ import { domAssigned } from "../dom";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 
 export default domAssigned(class Property {
-  constructor(string, name, type) {
+  constructor(string, type, name, identifier) {
     this.string = string;
-    this.name = name;
     this.type = type;
+    this.identifier = identifier;
   }
 
   getString() {
     return this.string;
   }
 
-  getName() {
-    return this.name;
-  }
-
   getType() {
     return this.type;
   }
 
+  getIdentifier() {
+    return this.identifier;
+  }
+
   setType(type) {
     this.type = type;
   }
 
   matchTypeName(typeName) { return this.type.matchTypeName(typeName); }
 
-  matchPropertyName(propertyName) {
-    const propertyNameMatches = (this.name === propertyName);
+  matchPropertyIdentifier(propertyIdentifier) {
+    const propertyIdentifierMatches = (this.identifier === propertyIdentifier);
 
-    return propertyNameMatches;
+    return propertyIdentifierMatches;
   }
 
   toJSON() {
     const typeJSON = typeToTypeJSON(this.type),
-          name = this.name, ///
+          identifier = this.identifier, ///
           type = typeJSON,  ///
           json = {
             type,
-            name
+            identifier
           };
 
     return json;
@@ -51,10 +51,10 @@ export default domAssigned(class Property {
   static name = "Property";
 
   static fromJSON(json, context) {
-    const { name } = json,
+    const { identifier } = json,
           type = typeFromJSON(json, context),
-          string = name, ///
-          property = new Property(string, name, type);
+          string = identifier, ///
+          property = new Property(string, type, identifier);
 
     return property;
   }
@@ -75,10 +75,10 @@ export default domAssigned(class Property {
   static fromPropertyDeclarationNode(propertyDeclarationNode, context) {
     const { Type } = dom,
           type = Type.fromPropertyDeclarationNode(propertyDeclarationNode),
-          propertyName = propertyDeclarationNode.getPropertyName(),
-          name = propertyName,  ///
-          string = name,  ///
-          property = new Property(string, name, type);
+          propertyIdentifier = propertyDeclarationNode.getPropertyIdentifier(),
+          identifier = propertyIdentifier,  ///
+          string = identifier,  ///
+          property = new Property(string, type, identifier);
 
     return property;
   }
@@ -86,11 +86,11 @@ export default domAssigned(class Property {
 
 function propertyFromPropertyNode(propertyNode, context) {
   const { Property } = dom,
-        propertyName = propertyNode.getPropertyName(),
-        name = propertyName,  ///
+        propertyIdentifier = propertyNode.getPropertyIdentifier(),
+        identifier = propertyIdentifier,  ///
         type = null,
-        string = name,  ///
-        property = new Property(string, name, type);
+        string = identifier,  ///
+        property = new Property(string, type, identifier);
 
   return property;
 }

package/src/dom/substitution/frame.js

@@ -26,7 +26,7 @@ export default domAssigned(class FrameSubstitution extends Substitution {
 
   isMetavariableEqualTo(metavariable) { return this.metavariable.isEqualTo(metavariable); }
 
-  matchName(name) { return this.metavariable.matchName(name); }
+  matchValue(value) { return this.metavariable.matchValue(value); }
 
   getReplacementNode() {
     const frameNode = this.frame.getNode(),

package/src/dom/substitution/term.js

@@ -49,7 +49,7 @@ export default domAssigned(class TermSubstitution extends Substitution {
     return replacementNode;
   }
 
-  matchName(name) { return this.variable.matchName(name); }
+  matchValue(value) { return this.variable.matchValue(value); }
 
   static fromStatementNode(statementNode, context) {
     let termSubstitution = null;

package/src/dom/variable.js

@@ -9,11 +9,11 @@ import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 import { variableNodeFromVariableString } from "../context/partial/variable";
 
 export default domAssigned(class Variable {
-  constructor(string, node, name, type, propertyRelations) {
+  constructor(string, node, type, identifier, propertyRelations) {
     this.string = string;
     this.node = node;
-    this.name = name;
     this.type = type;
+    this.identifier = identifier;
     this.propertyRelations = propertyRelations;
   }
 
@@ -25,8 +25,8 @@ export default domAssigned(class Variable {
     return this.node;
   }
 
-  getName() {
-    return this.name;
+  getIdentifier() {
+    return this.identifier;
   }
 
   getType() {
@@ -48,16 +48,16 @@ export default domAssigned(class Variable {
     return equalTo;
   }
 
-  matchName(name) {
-    const nameMatches = (name === this.name);
+  mathValue(value) {
+    const valueMatches = (value === this.identifier);
 
-    return nameMatches;
+    return valueMatches;
   }
 
-  matchVariableName(variableName) {
-    const variableNameMatches = (variableName === this.name);
+  matchVariableIdentifier(variableIdentifier) {
+    const variableIdentifierMatches = (variableIdentifier === this.identifier);
 
-    return variableNameMatches;
+    return variableIdentifierMatches;
   }
 
   verify(context) {
@@ -67,8 +67,8 @@ export default domAssigned(class Variable {
 
     context.trace(`Verifying the '${variableString}' variable...`);
 
-    const variableName = this.name,
-          variable = context.findVariableByVariableName(variableName);
+    const variableIdentifier = this.identifier,
+          variable = context.findVariableByVariableIdentifier(variableIdentifier);
 
     if (variable !== null) {
       const type = variable.getType();
@@ -167,12 +167,12 @@ export default domAssigned(class Variable {
     const { string } = json,
           variableString = string,  ///
           variableNode = variableNodeFromVariableString(variableString, context),
-          variableName = variableNode.getVariableName(),
+          variableIdentifier = variableNode.getVariableIdentifier(),
           node = variableNode,
-          name = variableName,  ///
+          identifier = variableIdentifier,  ///
           type = typeFromJSON(json, context),
           propertyRelations = [],
-          variable = new Variable(string, node, name, type, propertyRelations);
+          variable = new Variable(string, node, type, identifier, propertyRelations);
 
     return variable;
   }
@@ -219,12 +219,12 @@ export default domAssigned(class Variable {
     type.setProvisional(provisional);
 
     const variableNode = variableDeclarationNode.getVariableNode(),
-          variableName = variableDeclarationNode.getVariableName(),
+          variableIdentifier = variableDeclarationNode.getVariableIdentifier(),
           node = variableNode,  ///
-          name = variableName,  ///
-          string = name,  ///
+          identifier = variableIdentifier,  ///
+          string = identifier,  ///
           propertyRelations = [],
-          variable = new Variable(string, node, name, type, propertyRelations);
+          variable = new Variable(string, node, type, identifier, propertyRelations);
 
     return variable;
   }
@@ -233,7 +233,7 @@ export default domAssigned(class Variable {
     let propertyRelations;
 
     const node = variable.getNode(),
-          name = variable.getName(),
+          identifier = variable.getName(),
           type = variable.getType();
 
     propertyRelations = variable.getPropertyRelations();
@@ -243,9 +243,9 @@ export default domAssigned(class Variable {
       propertyRelation
     ];
 
-    const string = stringFromNameAndPropertyRelations(name, propertyRelations);
+    const string = stringFromNameAndPropertyRelations(identifier, propertyRelations);
 
-    variable = new Variable(string, node, name, type, propertyRelations);
+    variable = new Variable(string, node, type, identifier, propertyRelations);
 
     return variable;
   }
@@ -254,16 +254,16 @@ export default domAssigned(class Variable {
 function variableFromVariableNodeAndType(variableNode, type) {
   const { Variable } = dom,
         node = variableNode,  ///
-        variableName = variableNode.getVariableName(),
-        string = variableName,  ///,
-        name = variableName,  ///
+        variableIdentifier = variableNode.getVariableIdentifier(),
+        string = variableIdentifier,  ///,
+        identifier = variableIdentifier,  ///
         propertyRelations = [],
-        variable = new Variable(string, node, name, type, propertyRelations);
+        variable = new Variable(string, node, type, identifier, propertyRelations);
 
   return variable;
 }
 
-function stringFromNameAndPropertyRelations(name, propertyRelations) {
+function stringFromNameAndPropertyRelations(identifier, propertyRelations) {
   const propertyRelationsString = propertyRelations.reduce((propertyRelationsString, propertyRelation) => {
           const propertyRelationString = propertyRelation.getString();
 
@@ -271,7 +271,7 @@ function stringFromNameAndPropertyRelations(name, propertyRelations) {
 
           return propertyRelationsString;
         }, EMPTY_STRING),
-        string = `${name}${propertyRelationsString}`;
+        string = `${identifier}${propertyRelationsString}`;
 
   return string;
 }

package/src/node/axiom.js

@@ -1,38 +1,13 @@
 "use strict";
 
-import NonTerminalNode from "../node/nonTerminal";
+import TopLevelAssertionNode from "../node/topLevelAssertion";
 
 import { AXIOM_BODY_RULE_NAME, AXIOM_HEADER_RULE_NAME } from "../ruleNames";
 
-export default class AxiomNode extends NonTerminalNode {
-  getAxiomBodyNode() {
-    const ruleName = AXIOM_BODY_RULE_NAME,
-          axiomBodyNode = this.getNodeByRuleName(ruleName);
+export default class AxiomNode extends TopLevelAssertionNode {
+  static bodyRuleName = AXIOM_BODY_RULE_NAME;
 
-    return axiomBodyNode;
-  }
+  static headerRuleName = AXIOM_HEADER_RULE_NAME;
 
-
-  getAxiomHeaderNode() {
-    const ruleName = AXIOM_HEADER_RULE_NAME,
-          axiomHeaderNode = this.getNodeByRuleName(ruleName);
-
-    return axiomHeaderNode;
-  }
-
-  getSignatureNode() {
-    const axiomHeaderNode = this.getAxiomHeaderNode(),
-          signatureNode = axiomHeaderNode.getSignatureNode();
-
-    return signatureNode;
-  }
-
-  getLabelNodes() {
-    const axiomHeaderNode = this.getAxiomHeaderNode(),
-          labelNodes = axiomHeaderNode.getLabelNodes();
-
-    return labelNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return TopLevelAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/conjecture.js

@@ -1,44 +1,13 @@
 "use strict";
 
-import NonTerminalNode from "../node/nonTerminal";
+import TopLevelAssertionNode from "../node/topLevelAssertion";
 
 import { CONJECTURE_BODY_RULE_NAME, CONJECTURE_HEADER_RULE_NAME } from "../ruleNames";
 
-export default class ConjectureNode extends NonTerminalNode {
-  getConjectureBodyNode() {
-    const ruleName = CONJECTURE_BODY_RULE_NAME,
-          conjectureBodyNode = this.getNodeByRuleName(ruleName);
+export default class ConjectureNode extends TopLevelAssertionNode {
+  static bodyRuleName = CONJECTURE_BODY_RULE_NAME;
 
-    return conjectureBodyNode;
-  }
+  static headerRuleName = CONJECTURE_HEADER_RULE_NAME;
 
-  getConjectureHeaderNode() {
-    const ruleName = CONJECTURE_HEADER_RULE_NAME,
-          conjectureHeaderNode = this.getNodeByRuleName(ruleName);
-
-    return conjectureHeaderNode;
-  }
-
-  getLabelNodes() {
-    const conjectureHeaderNode = this.getConjectureHeaderNode(),
-          labelNodes = conjectureHeaderNode.getLabelNodes();
-
-    return labelNodes;
-  }
-
-  getSuppositionNodes() {
-    const conjectureBodyNode = this.getConjectureBodyNode(),
-          suppositionNodes = conjectureBodyNode.getSuppositionNodes();
-
-    return suppositionNodes;
-  }
-
-  getDeductionNode() {
-    const conjectureBodyNode = this.getConjectureBodyNode(),
-          deductionNode = conjectureBodyNode.getDeductionNode();
-
-    return deductionNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence); }
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return TopLevelAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/header.js

@@ -2,7 +2,7 @@
 
 import NonTerminalNode from "../node/nonTerminal";
 
-import { PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
+import {PARENTHESISED_LABELS_RULE_NAME, SIGNATURE_RULE_NAME} from "../ruleNames";
 
 export default class HeaderNode extends NonTerminalNode {
   getParenthesisedLabelsNode() {
@@ -12,6 +12,13 @@ export default class HeaderNode extends NonTerminalNode {
     return parenthesisedLabelsNode;
   }
 
+  getSignatureNode() {
+    const ruleName = SIGNATURE_RULE_NAME,
+          signatureNode = this.getNodeByRuleName(ruleName);
+
+    return signatureNode;
+  }
+
   getLabelNodes() {
     let labelNodes = [];