occam-verify-cli 0.0.486 → 0.0.488

package/lib/verify/antecedent.js

@@ -10,7 +10,6 @@ Object.defineProperty(exports, "default", {
 });
 var _proof = /*#__PURE__*/ _interopRequireDefault(require("../step/proof"));
 var _antecedent = /*#__PURE__*/ _interopRequireDefault(require("../antecedent"));
-var _unqualified = /*#__PURE__*/ _interopRequireDefault(require("../verify/statement/unqualified"));
 var _query = require("../utilities/query");
 var _string = require("../utilities/string");
 function _interopRequireDefault(obj) {
@@ -18,7 +17,7 @@ function _interopRequireDefault(obj) {
         default: obj
     };
 }
-var statementNodeQuery = (0, _query.nodeQuery)("/antecedent/unqualifiedStatement!/statement!"), unqualifiedStatementNodeQuery = (0, _query.nodeQuery)("/");
+var statementNodeQuery = (0, _query.nodeQuery)("/antecedent/unqualifiedStatement!/statement!");
 function verifyAntecedent(antecedentNode, antecedents, proofContext) {
     var antecedentVerified;
     proofContext.begin(antecedentNode);
@@ -35,4 +34,4 @@ function verifyAntecedent(antecedentNode, antecedents, proofContext) {
     return antecedentVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvYW50ZWNlZGVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFByb29mU3RlcCBmcm9tIFwiLi4vc3RlcC9wcm9vZlwiO1xuaW1wb3J0IEFudGVjZWRlbnQgZnJvbSBcIi4uL2FudGVjZWRlbnRcIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZFN0YXRlbWVudCBmcm9tIFwiLi4vdmVyaWZ5L3N0YXRlbWVudC91bnF1YWxpZmllZFwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBub2RlQXNTdHJpbmcgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3N0cmluZ1wiO1xuXG5jb25zdCBzdGF0ZW1lbnROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvYW50ZWNlZGVudC91bnF1YWxpZmllZFN0YXRlbWVudCEvc3RhdGVtZW50IVwiKSxcbiAgICAgIHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL1wiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5QW50ZWNlZGVudChhbnRlY2VkZW50Tm9kZSwgYW50ZWNlZGVudHMsIHByb29mQ29udGV4dCkge1xuICBsZXQgYW50ZWNlZGVudFZlcmlmaWVkO1xuXG4gIHByb29mQ29udGV4dC5iZWdpbihhbnRlY2VkZW50Tm9kZSk7XG5cbiAgY29uc3QgYW50ZWNlZGVudFN0cmluZyA9IG5vZGVBc1N0cmluZyhhbnRlY2VkZW50Tm9kZSk7XG5cbiAgcHJvb2ZDb250ZXh0LmRlYnVnKGBWZXJpZnlpbmcgdGhlICR7YW50ZWNlZGVudFN0cmluZ30gYW50ZWNlZGVudC4uLmApO1xuXG4gIGNvbnN0IHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlUXVlcnkoYW50ZWNlZGVudE5vZGUpO1xuXG4gIGlmIChzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgcHJvb2ZTdGVwID0gUHJvb2ZTdGVwLmZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUpLFxuICAgICAgICAgIGFudGVjZWRlbnQgPSBBbnRlY2VkZW50LmZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUpO1xuXG4gICAgYW50ZWNlZGVudHMucHVzaChhbnRlY2VkZW50KTtcblxuICAgIHByb29mQ29udGV4dC5hZGRQcm9vZlN0ZXAocHJvb2ZTdGVwKTtcblxuICAgIGFudGVjZWRlbnRWZXJpZmllZCA9IHRydWU7XG4gIH1cblxuICBhbnRlY2VkZW50VmVyaWZpZWQgP1xuICAgIHByb29mQ29udGV4dC5jb21wbGV0ZShhbnRlY2VkZW50Tm9kZSkgOlxuICAgICAgcHJvb2ZDb250ZXh0LmhhbHQoYW50ZWNlZGVudE5vZGUpO1xuXG4gIHJldHVybiBhbnRlY2VkZW50VmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5QW50ZWNlZGVudCIsInN0YXRlbWVudE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZVF1ZXJ5IiwiYW50ZWNlZGVudE5vZGUiLCJhbnRlY2VkZW50cyIsInByb29mQ29udGV4dCIsImFudGVjZWRlbnRWZXJpZmllZCIsImJlZ2luIiwiYW50ZWNlZGVudFN0cmluZyIsIm5vZGVBc1N0cmluZyIsImRlYnVnIiwic3RhdGVtZW50Tm9kZSIsInByb29mU3RlcCIsIlByb29mU3RlcCIsImZyb21TdGF0ZW1lbnROb2RlIiwiYW50ZWNlZGVudCIsIkFudGVjZWRlbnQiLCJwdXNoIiwiYWRkUHJvb2ZTdGVwIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFZQTs7O2VBQXdCQTs7OzBEQVZGOytEQUNDO2dFQUNnQjtxQkFFYjtzQkFDRzs7Ozs7O0FBRTdCLElBQU1DLHFCQUFxQkMsSUFBQUEsZ0JBQVMsRUFBQyxpREFDL0JDLGdDQUFnQ0QsSUFBQUEsZ0JBQVMsRUFBQztBQUVqQyxTQUFTRixpQkFBaUJJLGNBQWMsRUFBRUMsV0FBVyxFQUFFQyxZQUFZLEVBQUU7SUFDbEYsSUFBSUM7SUFFSkQsYUFBYUUsS0FBSyxDQUFDSjtJQUVuQixJQUFNSyxtQkFBbUJDLElBQUFBLG9CQUFZLEVBQUNOO0lBRXRDRSxhQUFhSyxLQUFLLENBQUMsQUFBQyxpQkFBaUMsT0FBakJGLGtCQUFpQjtJQUVyRCxJQUFNRyxnQkFBZ0JYLG1CQUFtQkc7SUFFekMsSUFBSVEsa0JBQWtCLElBQUksRUFBRTtRQUMxQixJQUFNQyxZQUFZQyxjQUFTLENBQUNDLGlCQUFpQixDQUFDSCxnQkFDeENJLGFBQWFDLG1CQUFVLENBQUNGLGlCQUFpQixDQUFDSDtRQUVoRFAsWUFBWWEsSUFBSSxDQUFDRjtRQUVqQlYsYUFBYWEsWUFBWSxDQUFDTjtRQUUxQk4scUJBQXFCLElBQUk7SUFDM0IsQ0FBQztJQUVEQSxxQkFDRUQsYUFBYWMsUUFBUSxDQUFDaEIsa0JBQ3BCRSxhQUFhZSxJQUFJLENBQUNqQixlQUFlO0lBRXJDLE9BQU9HO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvYW50ZWNlZGVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFByb29mU3RlcCBmcm9tIFwiLi4vc3RlcC9wcm9vZlwiO1xuaW1wb3J0IEFudGVjZWRlbnQgZnJvbSBcIi4uL2FudGVjZWRlbnRcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgbm9kZUFzU3RyaW5nIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9zdHJpbmdcIjtcblxuY29uc3Qgc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2FudGVjZWRlbnQvdW5xdWFsaWZpZWRTdGF0ZW1lbnQhL3N0YXRlbWVudCFcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeUFudGVjZWRlbnQoYW50ZWNlZGVudE5vZGUsIGFudGVjZWRlbnRzLCBwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGFudGVjZWRlbnRWZXJpZmllZDtcblxuICBwcm9vZkNvbnRleHQuYmVnaW4oYW50ZWNlZGVudE5vZGUpO1xuXG4gIGNvbnN0IGFudGVjZWRlbnRTdHJpbmcgPSBub2RlQXNTdHJpbmcoYW50ZWNlZGVudE5vZGUpO1xuXG4gIHByb29mQ29udGV4dC5kZWJ1ZyhgVmVyaWZ5aW5nIHRoZSAke2FudGVjZWRlbnRTdHJpbmd9IGFudGVjZWRlbnQuLi5gKTtcblxuICBjb25zdCBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50Tm9kZVF1ZXJ5KGFudGVjZWRlbnROb2RlKTtcblxuICBpZiAoc3RhdGVtZW50Tm9kZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHByb29mU3RlcCA9IFByb29mU3RlcC5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICBhbnRlY2VkZW50ID0gQW50ZWNlZGVudC5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlKTtcblxuICAgIGFudGVjZWRlbnRzLnB1c2goYW50ZWNlZGVudCk7XG5cbiAgICBwcm9vZkNvbnRleHQuYWRkUHJvb2ZTdGVwKHByb29mU3RlcCk7XG5cbiAgICBhbnRlY2VkZW50VmVyaWZpZWQgPSB0cnVlO1xuICB9XG5cbiAgYW50ZWNlZGVudFZlcmlmaWVkID9cbiAgICBwcm9vZkNvbnRleHQuY29tcGxldGUoYW50ZWNlZGVudE5vZGUpIDpcbiAgICAgIHByb29mQ29udGV4dC5oYWx0KGFudGVjZWRlbnROb2RlKTtcblxuICByZXR1cm4gYW50ZWNlZGVudFZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUFudGVjZWRlbnQiLCJzdGF0ZW1lbnROb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJhbnRlY2VkZW50Tm9kZSIsImFudGVjZWRlbnRzIiwicHJvb2ZDb250ZXh0IiwiYW50ZWNlZGVudFZlcmlmaWVkIiwiYmVnaW4iLCJhbnRlY2VkZW50U3RyaW5nIiwibm9kZUFzU3RyaW5nIiwiZGVidWciLCJzdGF0ZW1lbnROb2RlIiwicHJvb2ZTdGVwIiwiUHJvb2ZTdGVwIiwiZnJvbVN0YXRlbWVudE5vZGUiLCJhbnRlY2VkZW50IiwiQW50ZWNlZGVudCIsInB1c2giLCJhZGRQcm9vZlN0ZXAiLCJjb21wbGV0ZSIsImhhbHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7MERBUkY7K0RBQ0M7cUJBRUc7c0JBQ0c7Ozs7OztBQUU3QixJQUFNQyxxQkFBcUJDLElBQUFBLGdCQUFTLEVBQUM7QUFFdEIsU0FBU0YsaUJBQWlCRyxjQUFjLEVBQUVDLFdBQVcsRUFBRUMsWUFBWSxFQUFFO0lBQ2xGLElBQUlDO0lBRUpELGFBQWFFLEtBQUssQ0FBQ0o7SUFFbkIsSUFBTUssbUJBQW1CQyxJQUFBQSxvQkFBWSxFQUFDTjtJQUV0Q0UsYUFBYUssS0FBSyxDQUFDLEFBQUMsaUJBQWlDLE9BQWpCRixrQkFBaUI7SUFFckQsSUFBTUcsZ0JBQWdCVixtQkFBbUJFO0lBRXpDLElBQUlRLGtCQUFrQixJQUFJLEVBQUU7UUFDMUIsSUFBTUMsWUFBWUMsY0FBUyxDQUFDQyxpQkFBaUIsQ0FBQ0gsZ0JBQ3hDSSxhQUFhQyxtQkFBVSxDQUFDRixpQkFBaUIsQ0FBQ0g7UUFFaERQLFlBQVlhLElBQUksQ0FBQ0Y7UUFFakJWLGFBQWFhLFlBQVksQ0FBQ047UUFFMUJOLHFCQUFxQixJQUFJO0lBQzNCLENBQUM7SUFFREEscUJBQ0VELGFBQWFjLFFBQVEsQ0FBQ2hCLGtCQUNwQkUsYUFBYWUsSUFBSSxDQUFDakIsZUFBZTtJQUVyQyxPQUFPRztBQUNUIn0=

package/lib/verify/conditinalInference.js

@@ -9,19 +9,24 @@ Object.defineProperty(exports, "default", {
     }
 });
 var _conclusion = /*#__PURE__*/ _interopRequireDefault(require("../verify/conclusion"));
-var _premiseOrPremises = /*#__PURE__*/ _interopRequireDefault(require("../verify/premiseOrPremises"));
+var _premise = /*#__PURE__*/ _interopRequireDefault(require("../verify/premise"));
 var _query = require("../utilities/query");
 function _interopRequireDefault(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
-var conclusionNodeQuery = (0, _query.nodeQuery)("/conditionalInference/conclusion!"), premiseOrPremisesNodeQuery = (0, _query.nodeQuery)("/conditionalInference/premise|premises!");
+var premisesNodeQuery = (0, _query.nodesQuery)("/conditionalInference/premise"), conclusionNodeQuery = (0, _query.nodeQuery)("/conditionalInference/conclusion!");
 function verifyConditionalInference(conditionalInferenceNode, premises, conclusions, metaproofContext) {
     var conditionalInferenceVerified = false;
     metaproofContext.begin(conditionalInferenceNode);
-    var conclusionNode = conclusionNodeQuery(conditionalInferenceNode), premiseOrPremisesNode = premiseOrPremisesNodeQuery(conditionalInferenceNode), premiseOrPremisesVerified = (0, _premiseOrPremises.default)(premiseOrPremisesNode, premises, metaproofContext);
-    if (premiseOrPremisesVerified) {
+    var conclusionNode = conclusionNodeQuery(conditionalInferenceNode), premiseNodes = premisesNodeQuery(conditionalInferenceNode), premisesVerified = premiseNodes.every(function(premiseNode) {
+        var premiseVerified = (0, _premise.default)(premiseNode, premises, metaproofContext);
+        if (premiseVerified) {
+            return true;
+        }
+    });
+    if (premisesVerified) {
         var conclusionVerified = (0, _conclusion.default)(conclusionNode, conclusions, metaproofContext);
         conditionalInferenceVerified = conclusionVerified; ///
     }
@@ -29,4 +34,4 @@ function verifyConditionalInference(conditionalInferenceNode, premises, conclusi
     return conditionalInferenceVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uZGl0aW5hbEluZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeUNvbmNsdXNpb24gZnJvbSBcIi4uL3ZlcmlmeS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgdmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMgZnJvbSBcIi4uL3ZlcmlmeS9wcmVtaXNlT3JQcmVtaXNlc1wiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IGNvbmNsdXNpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29uZGl0aW9uYWxJbmZlcmVuY2UvY29uY2x1c2lvbiFcIiksXG4gICAgICBwcmVtaXNlT3JQcmVtaXNlc05vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25kaXRpb25hbEluZmVyZW5jZS9wcmVtaXNlfHByZW1pc2VzIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uZGl0aW9uYWxJbmZlcmVuY2UoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlLCBwcmVtaXNlcywgY29uY2x1c2lvbnMsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBtZXRhcHJvb2ZDb250ZXh0LmJlZ2luKGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSk7XG5cbiAgY29uc3QgY29uY2x1c2lvbk5vZGUgPSBjb25jbHVzaW9uTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VPclByZW1pc2VzTm9kZSA9IHByZW1pc2VPclByZW1pc2VzTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VPclByZW1pc2VzVmVyaWZpZWQgPSB2ZXJpZnlQcmVtaXNlT3JQcmVtaXNlcyhwcmVtaXNlT3JQcmVtaXNlc05vZGUsIHByZW1pc2VzLCBtZXRhcHJvb2ZDb250ZXh0KTtcblxuICBpZiAocHJlbWlzZU9yUHJlbWlzZXNWZXJpZmllZCkge1xuICAgIGNvbnN0IGNvbmNsdXNpb25WZXJpZmllZCA9IHZlcmlmeUNvbmNsdXNpb24oY29uY2x1c2lvbk5vZGUsIGNvbmNsdXNpb25zLCBtZXRhcHJvb2ZDb250ZXh0KTtcblxuICAgIGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBjb25jbHVzaW9uVmVyaWZpZWQ7ICAvLy9cbiAgfVxuXG4gIGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgP1xuICAgIG1ldGFwcm9vZkNvbnRleHQuY29tcGxldGUoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKSA6XG4gICAgICBtZXRhcHJvb2ZDb250ZXh0LmhhbHQoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKTtcblxuICByZXR1cm4gY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlDb25kaXRpb25hbEluZmVyZW5jZSIsImNvbmNsdXNpb25Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJwcmVtaXNlT3JQcmVtaXNlc05vZGVRdWVyeSIsImNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSIsInByZW1pc2VzIiwiY29uY2x1c2lvbnMiLCJtZXRhcHJvb2ZDb250ZXh0IiwiY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCIsImJlZ2luIiwiY29uY2x1c2lvbk5vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc05vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc1ZlcmlmaWVkIiwidmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMiLCJjb25jbHVzaW9uVmVyaWZpZWQiLCJ2ZXJpZnlDb25jbHVzaW9uIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7OytEQVJLO3NFQUNPO3FCQUVWOzs7Ozs7QUFFMUIsSUFBTUMsc0JBQXNCQyxJQUFBQSxnQkFBUyxFQUFDLHNDQUNoQ0MsNkJBQTZCRCxJQUFBQSxnQkFBUyxFQUFDO0FBRTlCLFNBQVNGLDJCQUEyQkksd0JBQXdCLEVBQUVDLFFBQVEsRUFBRUMsV0FBVyxFQUFFQyxnQkFBZ0IsRUFBRTtJQUNwSCxJQUFJQywrQkFBK0IsS0FBSztJQUV4Q0QsaUJBQWlCRSxLQUFLLENBQUNMO0lBRXZCLElBQU1NLGlCQUFpQlQsb0JBQW9CRywyQkFDckNPLHdCQUF3QlIsMkJBQTJCQywyQkFDbkRRLDRCQUE0QkMsSUFBQUEsMEJBQXVCLEVBQUNGLHVCQUF1Qk4sVUFBVUU7SUFFM0YsSUFBSUssMkJBQTJCO1FBQzdCLElBQU1FLHFCQUFxQkMsSUFBQUEsbUJBQWdCLEVBQUNMLGdCQUFnQkosYUFBYUM7UUFFekVDLCtCQUErQk0sb0JBQXFCLEdBQUc7SUFDekQsQ0FBQztJQUVETiwrQkFDRUQsaUJBQWlCUyxRQUFRLENBQUNaLDRCQUN4QkcsaUJBQWlCVSxJQUFJLENBQUNiLHlCQUF5QjtJQUVuRCxPQUFPSTtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uZGl0aW5hbEluZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeUNvbmNsdXNpb24gZnJvbSBcIi4uL3ZlcmlmeS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgdmVyaWZ5UHJtaXNlIGZyb20gXCIuLi92ZXJpZnkvcHJlbWlzZVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnksIG5vZGVzUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHByZW1pc2VzTm9kZVF1ZXJ5ID0gbm9kZXNRdWVyeShcIi9jb25kaXRpb25hbEluZmVyZW5jZS9wcmVtaXNlXCIpLFxuICAgICAgY29uY2x1c2lvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25kaXRpb25hbEluZmVyZW5jZS9jb25jbHVzaW9uIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uZGl0aW9uYWxJbmZlcmVuY2UoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlLCBwcmVtaXNlcywgY29uY2x1c2lvbnMsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBtZXRhcHJvb2ZDb250ZXh0LmJlZ2luKGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSk7XG5cbiAgY29uc3QgY29uY2x1c2lvbk5vZGUgPSBjb25jbHVzaW9uTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VOb2RlcyA9IHByZW1pc2VzTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VzVmVyaWZpZWQgPSBwcmVtaXNlTm9kZXMuZXZlcnkoKHByZW1pc2VOb2RlKSA9PiB7XG4gICAgICAgICAgY29uc3QgcHJlbWlzZVZlcmlmaWVkID0gdmVyaWZ5UHJtaXNlKHByZW1pc2VOb2RlLCBwcmVtaXNlcywgbWV0YXByb29mQ29udGV4dCk7XG5cbiAgICAgICAgICBpZiAocHJlbWlzZVZlcmlmaWVkKSB7XG4gICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICB9XG4gICAgICAgIH0pO1xuXG4gIGlmIChwcmVtaXNlc1ZlcmlmaWVkKSB7XG4gICAgY29uc3QgY29uY2x1c2lvblZlcmlmaWVkID0gdmVyaWZ5Q29uY2x1c2lvbihjb25jbHVzaW9uTm9kZSwgY29uY2x1c2lvbnMsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCA9IGNvbmNsdXNpb25WZXJpZmllZDsgIC8vL1xuICB9XG5cbiAgY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCA/XG4gICAgbWV0YXByb29mQ29udGV4dC5jb21wbGV0ZShjb25kaXRpb25hbEluZmVyZW5jZU5vZGUpIDpcbiAgICAgIG1ldGFwcm9vZkNvbnRleHQuaGFsdChjb25kaXRpb25hbEluZmVyZW5jZU5vZGUpO1xuXG4gIHJldHVybiBjb25kaXRpb25hbEluZmVyZW5jZVZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUNvbmRpdGlvbmFsSW5mZXJlbmNlIiwicHJlbWlzZXNOb2RlUXVlcnkiLCJub2Rlc1F1ZXJ5IiwiY29uY2x1c2lvbk5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsImNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSIsInByZW1pc2VzIiwiY29uY2x1c2lvbnMiLCJtZXRhcHJvb2ZDb250ZXh0IiwiY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCIsImJlZ2luIiwiY29uY2x1c2lvbk5vZGUiLCJwcmVtaXNlTm9kZXMiLCJwcmVtaXNlc1ZlcmlmaWVkIiwiZXZlcnkiLCJwcmVtaXNlTm9kZSIsInByZW1pc2VWZXJpZmllZCIsInZlcmlmeVBybWlzZSIsImNvbmNsdXNpb25WZXJpZmllZCIsInZlcmlmeUNvbmNsdXNpb24iLCJjb21wbGV0ZSIsImhhbHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7K0RBUks7NERBQ0o7cUJBRWE7Ozs7OztBQUV0QyxJQUFNQyxvQkFBb0JDLElBQUFBLGlCQUFVLEVBQUMsa0NBQy9CQyxzQkFBc0JDLElBQUFBLGdCQUFTLEVBQUM7QUFFdkIsU0FBU0osMkJBQTJCSyx3QkFBd0IsRUFBRUMsUUFBUSxFQUFFQyxXQUFXLEVBQUVDLGdCQUFnQixFQUFFO0lBQ3BILElBQUlDLCtCQUErQixLQUFLO0lBRXhDRCxpQkFBaUJFLEtBQUssQ0FBQ0w7SUFFdkIsSUFBTU0saUJBQWlCUixvQkFBb0JFLDJCQUNyQ08sZUFBZVgsa0JBQWtCSSwyQkFDakNRLG1CQUFtQkQsYUFBYUUsS0FBSyxDQUFDLFNBQUNDLGFBQWdCO1FBQ3JELElBQU1DLGtCQUFrQkMsSUFBQUEsZ0JBQVksRUFBQ0YsYUFBYVQsVUFBVUU7UUFFNUQsSUFBSVEsaUJBQWlCO1lBQ25CLE9BQU8sSUFBSTtRQUNiLENBQUM7SUFDSDtJQUVOLElBQUlILGtCQUFrQjtRQUNwQixJQUFNSyxxQkFBcUJDLElBQUFBLG1CQUFnQixFQUFDUixnQkFBZ0JKLGFBQWFDO1FBRXpFQywrQkFBK0JTLG9CQUFxQixHQUFHO0lBQ3pELENBQUM7SUFFRFQsK0JBQ0VELGlCQUFpQlksUUFBUSxDQUFDZiw0QkFDeEJHLGlCQUFpQmEsSUFBSSxDQUFDaEIseUJBQXlCO0lBRW5ELE9BQU9JO0FBQ1QifQ==

package/lib/verify/premise.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return verifyPremise;
+    }
+});
+var _premise = /*#__PURE__*/ _interopRequireDefault(require("../premise"));
+var _metaproof = /*#__PURE__*/ _interopRequireDefault(require("../step/metaproof"));
+var _query = require("../utilities/query");
+var _string = require("../utilities/string");
+function _interopRequireDefault(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+var metastatementNodeQuery = (0, _query.nodeQuery)("/premise/unqualifiedStatement!/metastatement!");
+function verifyPremise(premiseNode, premises, metaproofContext) {
+    var premiseVerified;
+    metaproofContext.begin(premiseNode);
+    var premiseString = (0, _string.nodeAsString)(premiseNode);
+    metaproofContext.debug("Verifying the ".concat(premiseString, " premise..."));
+    var metastatementNode = metastatementNodeQuery(premiseNode);
+    if (metastatementNode !== null) {
+        var metaproofStep = _metaproof.default.fromMetastatementNode(metastatementNode), premise = _premise.default.fromMetastatementNode(metastatementNode);
+        premises.push(premise);
+        metaproofContext.addMetaproofStep(metaproofStep);
+        premiseVerified = true;
+    }
+    premiseVerified ? metaproofContext.complete(premiseNode) : metaproofContext.halt(premiseNode);
+    return premiseVerified;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvcHJlbWlzZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFByZW1pc2UgZnJvbSBcIi4uL3ByZW1pc2VcIjtcbmltcG9ydCBNZXRhcHJvb2ZTdGVwIGZyb20gXCIuLi9zdGVwL21ldGFwcm9vZlwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBub2RlQXNTdHJpbmcgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3N0cmluZ1wiO1xuXG5jb25zdCBtZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3ByZW1pc2UvdW5xdWFsaWZpZWRTdGF0ZW1lbnQhL21ldGFzdGF0ZW1lbnQhXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlQcmVtaXNlKHByZW1pc2VOb2RlLCBwcmVtaXNlcywgbWV0YXByb29mQ29udGV4dCkge1xuICBsZXQgcHJlbWlzZVZlcmlmaWVkO1xuXG4gIG1ldGFwcm9vZkNvbnRleHQuYmVnaW4ocHJlbWlzZU5vZGUpO1xuXG4gIGNvbnN0IHByZW1pc2VTdHJpbmcgPSBub2RlQXNTdHJpbmcocHJlbWlzZU5vZGUpO1xuXG4gIG1ldGFwcm9vZkNvbnRleHQuZGVidWcoYFZlcmlmeWluZyB0aGUgJHtwcmVtaXNlU3RyaW5nfSBwcmVtaXNlLi4uYCk7XG5cbiAgY29uc3QgbWV0YXN0YXRlbWVudE5vZGUgPSBtZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5KHByZW1pc2VOb2RlKTtcblxuICBpZiAobWV0YXN0YXRlbWVudE5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBtZXRhcHJvb2ZTdGVwID0gTWV0YXByb29mU3RlcC5mcm9tTWV0YXN0YXRlbWVudE5vZGUobWV0YXN0YXRlbWVudE5vZGUpLFxuICAgICAgICAgIHByZW1pc2UgPSBQcmVtaXNlLmZyb21NZXRhc3RhdGVtZW50Tm9kZShtZXRhc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBwcmVtaXNlcy5wdXNoKHByZW1pc2UpO1xuXG4gICAgbWV0YXByb29mQ29udGV4dC5hZGRNZXRhcHJvb2ZTdGVwKG1ldGFwcm9vZlN0ZXApO1xuXG4gICAgcHJlbWlzZVZlcmlmaWVkID0gdHJ1ZTtcbiAgfVxuXG4gIHByZW1pc2VWZXJpZmllZCA/XG4gICAgbWV0YXByb29mQ29udGV4dC5jb21wbGV0ZShwcmVtaXNlTm9kZSkgOlxuICAgICAgbWV0YXByb29mQ29udGV4dC5oYWx0KHByZW1pc2VOb2RlKTtcblxuICByZXR1cm4gcHJlbWlzZVZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeVByZW1pc2UiLCJtZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwicHJlbWlzZU5vZGUiLCJwcmVtaXNlcyIsIm1ldGFwcm9vZkNvbnRleHQiLCJwcmVtaXNlVmVyaWZpZWQiLCJiZWdpbiIsInByZW1pc2VTdHJpbmciLCJub2RlQXNTdHJpbmciLCJkZWJ1ZyIsIm1ldGFzdGF0ZW1lbnROb2RlIiwibWV0YXByb29mU3RlcCIsIk1ldGFwcm9vZlN0ZXAiLCJmcm9tTWV0YXN0YXRlbWVudE5vZGUiLCJwcmVtaXNlIiwiUHJlbWlzZSIsInB1c2giLCJhZGRNZXRhcHJvb2ZTdGVwIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7OzREQVJKOzhEQUNNO3FCQUVBO3NCQUNHOzs7Ozs7QUFFN0IsSUFBTUMseUJBQXlCQyxJQUFBQSxnQkFBUyxFQUFDO0FBRTFCLFNBQVNGLGNBQWNHLFdBQVcsRUFBRUMsUUFBUSxFQUFFQyxnQkFBZ0IsRUFBRTtJQUM3RSxJQUFJQztJQUVKRCxpQkFBaUJFLEtBQUssQ0FBQ0o7SUFFdkIsSUFBTUssZ0JBQWdCQyxJQUFBQSxvQkFBWSxFQUFDTjtJQUVuQ0UsaUJBQWlCSyxLQUFLLENBQUMsQUFBQyxpQkFBOEIsT0FBZEYsZUFBYztJQUV0RCxJQUFNRyxvQkFBb0JWLHVCQUF1QkU7SUFFakQsSUFBSVEsc0JBQXNCLElBQUksRUFBRTtRQUM5QixJQUFNQyxnQkFBZ0JDLGtCQUFhLENBQUNDLHFCQUFxQixDQUFDSCxvQkFDcERJLFVBQVVDLGdCQUFPLENBQUNGLHFCQUFxQixDQUFDSDtRQUU5Q1AsU0FBU2EsSUFBSSxDQUFDRjtRQUVkVixpQkFBaUJhLGdCQUFnQixDQUFDTjtRQUVsQ04sa0JBQWtCLElBQUk7SUFDeEIsQ0FBQztJQUVEQSxrQkFDRUQsaUJBQWlCYyxRQUFRLENBQUNoQixlQUN4QkUsaUJBQWlCZSxJQUFJLENBQUNqQixZQUFZO0lBRXRDLE9BQU9HO0FBQ1QifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "0.0.486",
+  "version": "0.0.488",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",

package/src/verify/antecedent.js

@@ -2,13 +2,11 @@
 
 import ProofStep from "../step/proof";
 import Antecedent from "../antecedent";
-import verifyUnqualifiedStatement from "../verify/statement/unqualified";
 
 import { nodeQuery } from "../utilities/query";
 import { nodeAsString } from "../utilities/string";
 
-const statementNodeQuery = nodeQuery("/antecedent/unqualifiedStatement!/statement!"),
-      unqualifiedStatementNodeQuery = nodeQuery("/");
+const statementNodeQuery = nodeQuery("/antecedent/unqualifiedStatement!/statement!");
 
 export default function verifyAntecedent(antecedentNode, antecedents, proofContext) {
   let antecedentVerified;

package/src/verify/conditinalInference.js

@@ -1,12 +1,12 @@
 "use strict";
 
 import verifyConclusion from "../verify/conclusion";
-import verifyPremiseOrPremises from "../verify/premiseOrPremises";
+import verifyPrmise from "../verify/premise";
 
-import { nodeQuery } from "../utilities/query";
+import { nodeQuery, nodesQuery } from "../utilities/query";
 
-const conclusionNodeQuery = nodeQuery("/conditionalInference/conclusion!"),
-      premiseOrPremisesNodeQuery = nodeQuery("/conditionalInference/premise|premises!");
+const premisesNodeQuery = nodesQuery("/conditionalInference/premise"),
+      conclusionNodeQuery = nodeQuery("/conditionalInference/conclusion!");
 
 export default function verifyConditionalInference(conditionalInferenceNode, premises, conclusions, metaproofContext) {
   let conditionalInferenceVerified = false;
@@ -14,10 +14,16 @@ export default function verifyConditionalInference(conditionalInferenceNode, pre
   metaproofContext.begin(conditionalInferenceNode);
 
   const conclusionNode = conclusionNodeQuery(conditionalInferenceNode),
-        premiseOrPremisesNode = premiseOrPremisesNodeQuery(conditionalInferenceNode),
-        premiseOrPremisesVerified = verifyPremiseOrPremises(premiseOrPremisesNode, premises, metaproofContext);
+        premiseNodes = premisesNodeQuery(conditionalInferenceNode),
+        premisesVerified = premiseNodes.every((premiseNode) => {
+          const premiseVerified = verifyPrmise(premiseNode, premises, metaproofContext);
 
-  if (premiseOrPremisesVerified) {
+          if (premiseVerified) {
+            return true;
+          }
+        });
+
+  if (premisesVerified) {
     const conclusionVerified = verifyConclusion(conclusionNode, conclusions, metaproofContext);
 
     conditionalInferenceVerified = conclusionVerified;  ///

package/src/verify/premise.js

@@ -0,0 +1,38 @@
+"use strict";
+
+import Premise from "../premise";
+import MetaproofStep from "../step/metaproof";
+
+import { nodeQuery } from "../utilities/query";
+import { nodeAsString } from "../utilities/string";
+
+const metastatementNodeQuery = nodeQuery("/premise/unqualifiedStatement!/metastatement!");
+
+export default function verifyPremise(premiseNode, premises, metaproofContext) {
+  let premiseVerified;
+
+  metaproofContext.begin(premiseNode);
+
+  const premiseString = nodeAsString(premiseNode);
+
+  metaproofContext.debug(`Verifying the ${premiseString} premise...`);
+
+  const metastatementNode = metastatementNodeQuery(premiseNode);
+
+  if (metastatementNode !== null) {
+    const metaproofStep = MetaproofStep.fromMetastatementNode(metastatementNode),
+          premise = Premise.fromMetastatementNode(metastatementNode);
+
+    premises.push(premise);
+
+    metaproofContext.addMetaproofStep(metaproofStep);
+
+    premiseVerified = true;
+  }
+
+  premiseVerified ?
+    metaproofContext.complete(premiseNode) :
+      metaproofContext.halt(premiseNode);
+
+  return premiseVerified;
+}

package/lib/verify/premiseOrPremises.js

@@ -1,38 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyPremiseOrPremises;
-    }
-});
-var _premise = /*#__PURE__*/ _interopRequireDefault(require("../premise"));
-var _metaproof = /*#__PURE__*/ _interopRequireDefault(require("../step/metaproof"));
-var _unqualified = /*#__PURE__*/ _interopRequireDefault(require("../verify/metastatement/unqualified"));
-var _query = require("../utilities/query");
-function _interopRequireDefault(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var metastatementNodesQuery = (0, _query.nodesQuery)("/premise|premises/unqualifiedMetastatement/metastatement");
-function verifyPremiseOrPremises(premiseOrPremisesNode, premises, metaproofContext) {
-    var premiseOrPremisesVerified;
-    metaproofContext.begin(premiseOrPremisesNode);
-    var metastatementNodes = metastatementNodesQuery(premiseOrPremisesNode);
-    premiseOrPremisesVerified = metastatementNodes.every(function(unqualifiedMetastatementNode) {
-        var unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, metaproofContext);
-        if (unqualifiedMetastatementVerified) {
-            var metastatementNode = metastatementNodeQuery(unqualifiedMetastatementNode), metaproofStep = _metaproof.default.fromMetastatementNode(metastatementNode), premise = _premise.default.fromMetastatementNode(metastatementNode);
-            premises.push(premise);
-            metaproofContext.addMetaproofStep(metaproofStep);
-            return true;
-        }
-    });
-    premiseOrPremisesVerified ? metaproofContext.complete(premiseOrPremisesNode) : metaproofContext.halt(premiseOrPremisesNode);
-    return premiseOrPremisesVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvcHJlbWlzZU9yUHJlbWlzZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBQcmVtaXNlIGZyb20gXCIuLi9wcmVtaXNlXCI7XG5pbXBvcnQgTWV0YXByb29mU3RlcCBmcm9tIFwiLi4vc3RlcC9tZXRhcHJvb2ZcIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQgZnJvbSBcIi4uL3ZlcmlmeS9tZXRhc3RhdGVtZW50L3VucXVhbGlmaWVkXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSwgbm9kZXNRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgbWV0YXN0YXRlbWVudE5vZGVzUXVlcnkgPSBub2Rlc1F1ZXJ5KFwiL3ByZW1pc2V8cHJlbWlzZXMvdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50L21ldGFzdGF0ZW1lbnRcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeVByZW1pc2VPclByZW1pc2VzKHByZW1pc2VPclByZW1pc2VzTm9kZSwgcHJlbWlzZXMsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IHByZW1pc2VPclByZW1pc2VzVmVyaWZpZWQ7XG5cbiAgbWV0YXByb29mQ29udGV4dC5iZWdpbihwcmVtaXNlT3JQcmVtaXNlc05vZGUpO1xuXG4gIGNvbnN0IG1ldGFzdGF0ZW1lbnROb2RlcyA9IG1ldGFzdGF0ZW1lbnROb2Rlc1F1ZXJ5KHByZW1pc2VPclByZW1pc2VzTm9kZSk7XG5cbiAgcHJlbWlzZU9yUHJlbWlzZXNWZXJpZmllZCA9IG1ldGFzdGF0ZW1lbnROb2Rlcy5ldmVyeSgodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSkgPT4ge1xuICAgIGNvbnN0IHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50KHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgaWYgKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkKSB7XG4gICAgICBjb25zdCBtZXRhc3RhdGVtZW50Tm9kZSA9IG1ldGFzdGF0ZW1lbnROb2RlUXVlcnkodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSksXG4gICAgICAgICAgICBtZXRhcHJvb2ZTdGVwID0gTWV0YXByb29mU3RlcC5mcm9tTWV0YXN0YXRlbWVudE5vZGUobWV0YXN0YXRlbWVudE5vZGUpLFxuICAgICAgICAgICAgcHJlbWlzZSA9IFByZW1pc2UuZnJvbU1ldGFzdGF0ZW1lbnROb2RlKG1ldGFzdGF0ZW1lbnROb2RlKTtcblxuICAgICAgcHJlbWlzZXMucHVzaChwcmVtaXNlKTtcblxuICAgICAgbWV0YXByb29mQ29udGV4dC5hZGRNZXRhcHJvb2ZTdGVwKG1ldGFwcm9vZlN0ZXApO1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHByZW1pc2VPclByZW1pc2VzVmVyaWZpZWQgP1xuICAgIG1ldGFwcm9vZkNvbnRleHQuY29tcGxldGUocHJlbWlzZU9yUHJlbWlzZXNOb2RlKSA6XG4gICAgICBtZXRhcHJvb2ZDb250ZXh0LmhhbHQocHJlbWlzZU9yUHJlbWlzZXNOb2RlKTtcblxuICByZXR1cm4gcHJlbWlzZU9yUHJlbWlzZXNWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlQcmVtaXNlT3JQcmVtaXNlcyIsIm1ldGFzdGF0ZW1lbnROb2Rlc1F1ZXJ5Iiwibm9kZXNRdWVyeSIsInByZW1pc2VPclByZW1pc2VzTm9kZSIsInByZW1pc2VzIiwibWV0YXByb29mQ29udGV4dCIsInByZW1pc2VPclByZW1pc2VzVmVyaWZpZWQiLCJiZWdpbiIsIm1ldGFzdGF0ZW1lbnROb2RlcyIsImV2ZXJ5IiwidW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IiwibWV0YXN0YXRlbWVudE5vZGUiLCJtZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5IiwibWV0YXByb29mU3RlcCIsIk1ldGFwcm9vZlN0ZXAiLCJmcm9tTWV0YXN0YXRlbWVudE5vZGUiLCJwcmVtaXNlIiwiUHJlbWlzZSIsInB1c2giLCJhZGRNZXRhcHJvb2ZTdGVwIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7OzREQVJKOzhEQUNNO2dFQUNpQjtxQkFFTDs7Ozs7O0FBRXRDLElBQU1DLDBCQUEwQkMsSUFBQUEsaUJBQVUsRUFBQztBQUU1QixTQUFTRix3QkFBd0JHLHFCQUFxQixFQUFFQyxRQUFRLEVBQUVDLGdCQUFnQixFQUFFO0lBQ2pHLElBQUlDO0lBRUpELGlCQUFpQkUsS0FBSyxDQUFDSjtJQUV2QixJQUFNSyxxQkFBcUJQLHdCQUF3QkU7SUFFbkRHLDRCQUE0QkUsbUJBQW1CQyxLQUFLLENBQUMsU0FBQ0MsOEJBQWlDO1FBQ3JGLElBQU1DLG1DQUFtQ0MsSUFBQUEsb0JBQThCLEVBQUNGLDhCQUE4Qkw7UUFFdEcsSUFBSU0sa0NBQWtDO1lBQ3BDLElBQU1FLG9CQUFvQkMsdUJBQXVCSiwrQkFDM0NLLGdCQUFnQkMsa0JBQWEsQ0FBQ0MscUJBQXFCLENBQUNKLG9CQUNwREssVUFBVUMsZ0JBQU8sQ0FBQ0YscUJBQXFCLENBQUNKO1lBRTlDVCxTQUFTZ0IsSUFBSSxDQUFDRjtZQUVkYixpQkFBaUJnQixnQkFBZ0IsQ0FBQ047WUFFbEMsT0FBTyxJQUFJO1FBQ2IsQ0FBQztJQUNIO0lBRUFULDRCQUNFRCxpQkFBaUJpQixRQUFRLENBQUNuQix5QkFDeEJFLGlCQUFpQmtCLElBQUksQ0FBQ3BCLHNCQUFzQjtJQUVoRCxPQUFPRztBQUNUIn0=

package/src/verify/premiseOrPremises.js

@@ -1,39 +0,0 @@
-"use strict";
-
-import Premise from "../premise";
-import MetaproofStep from "../step/metaproof";
-import verifyUnqualifiedMetastatement from "../verify/metastatement/unqualified";
-
-import { nodeQuery, nodesQuery } from "../utilities/query";
-
-const metastatementNodesQuery = nodesQuery("/premise|premises/unqualifiedMetastatement/metastatement");
-
-export default function verifyPremiseOrPremises(premiseOrPremisesNode, premises, metaproofContext) {
-  let premiseOrPremisesVerified;
-
-  metaproofContext.begin(premiseOrPremisesNode);
-
-  const metastatementNodes = metastatementNodesQuery(premiseOrPremisesNode);
-
-  premiseOrPremisesVerified = metastatementNodes.every((unqualifiedMetastatementNode) => {
-    const unqualifiedMetastatementVerified = verifyUnqualifiedMetastatement(unqualifiedMetastatementNode, metaproofContext);
-
-    if (unqualifiedMetastatementVerified) {
-      const metastatementNode = metastatementNodeQuery(unqualifiedMetastatementNode),
-            metaproofStep = MetaproofStep.fromMetastatementNode(metastatementNode),
-            premise = Premise.fromMetastatementNode(metastatementNode);
-
-      premises.push(premise);
-
-      metaproofContext.addMetaproofStep(metaproofStep);
-
-      return true;
-    }
-  });
-
-  premiseOrPremisesVerified ?
-    metaproofContext.complete(premiseOrPremisesNode) :
-      metaproofContext.halt(premiseOrPremisesNode);
-
-  return premiseOrPremisesVerified;
-}