occam-verify-cli 0.0.1272 → 0.0.1273

package/lib/utilities/verification.js

@@ -27,6 +27,9 @@ _export(exports, {
     metavariableFromStatement: function() {
         return metavariableFromStatement;
     },
+    propertyAssertionFromStatement: function() {
+        return propertyAssertionFromStatement;
+    },
     subproofAssertionFromStatement: function() {
         return subproofAssertionFromStatement;
     },
@@ -71,6 +74,11 @@ function definedAssertionFromStatement(statement, context) {
     var DefinedAssertion = _dom.default.DefinedAssertion, statementNode = statement.getNode(), definedAssertion = DefinedAssertion.fromStatementNode(statementNode, context);
     return definedAssertion;
 }
+function propertyAssertionFromStatement(statement, context) {
+    context = contextFromStatement(statement, context); ///
+    var PropertyAssertion = _dom.default.PropertyAssertion, statementNode = statement.getNode(), propertyAssertion = PropertyAssertion.fromStatementNode(statementNode, context);
+    return propertyAssertion;
+}
 function containedAssertionFromStatement(statement, context) {
     context = contextFromStatement(statement, context); ///
     var ContainedAssertion = _dom.default.ContainedAssertion, statementNode = statement.getNode(), containedAssertion = ContainedAssertion.fromStatementNode(statementNode, context);
@@ -92,4 +100,4 @@ function contextFromStatement(statement, context) {
     return context;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmVyaWZpY2F0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi9kb21cIjtcbmltcG9ydCBMb2NhbENvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvbG9jYWxcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZUZyb21GcmFtZShmcmFtZSwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21GcmFtZShmcmFtZSwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgTWV0YXZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgIGZyYW1lTm9kZSA9IGZyYW1lLmdldE5vZGUoKSxcbiAgICAgICAgbWV0YXZhcmlhYmxlID0gTWV0YXZhcmlhYmxlLmZyb21GcmFtZU5vZGUoZnJhbWVOb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gbWV0YXZhcmlhYmxlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZXF1YWxpdHlGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBFcXVhbGl0eSB9ID0gZG9tLFxuICAgICAgICBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgZXF1YWxpdHkgPSBFcXVhbGl0eS5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gZXF1YWxpdHk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBqdWRnZW1lbnRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBKdWRnZW1lbnQgfSA9IGRvbSxcbiAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIGp1ZGdlbWVudCA9IEp1ZGdlbWVudC5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4ganVkZ2VtZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29udGV4dCA9IGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgTWV0YXZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBtZXRhdmFyaWFibGUgPSBNZXRhdmFyaWFibGUuZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBUeXBlQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICB0eXBlQXNzZXJ0aW9uID0gVHlwZUFzc2VydGlvbi5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gdHlwZUFzc2VydGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGRlZmluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBEZWZpbmVkQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBkZWZpbmVkQXNzZXJ0aW9uID0gRGVmaW5lZEFzc2VydGlvbi5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gZGVmaW5lZEFzc2VydGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbnRhaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KSB7XG4gIGNvbnRleHQgPSBjb250ZXh0RnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpOyAvLy9cblxuICBjb25zdCB7IENvbnRhaW5lZEFzc2VydGlvbiB9ID0gZG9tLFxuICAgICAgICBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgY29udGFpbmVkQXNzZXJ0aW9uID0gQ29udGFpbmVkQXNzZXJ0aW9uLmZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpO1xuXG4gIHJldHVybiBjb250YWluZWRBc3NlcnRpb247XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KSB7XG4gIGNvbnRleHQgPSBjb250ZXh0RnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpOyAvLy9cblxuICBjb25zdCB7IFN1YnByb29mQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBzdWJwcm9vZkFzc2VydGlvbiA9IFN1YnByb29mQXNzZXJ0aW9uLmZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpO1xuXG4gIHJldHVybiBzdWJwcm9vZkFzc2VydGlvbjtcbn1cblxuZnVuY3Rpb24gY29udGV4dEZyb21GcmFtZShmcmFtZSwgY29udGV4dCkge1xuICBjb25zdCBmcmFtZVRva2VucyA9IGZyYW1lLmdldFRva2VucygpLFxuICAgICAgICB0b2tlbnMgPSBmcmFtZVRva2VucywgLy8vXG4gICAgICAgIGxvY2FsQ29udGV4dCA9IExvY2FsQ29udGV4dC5mcm9tQ29udGV4dEFuZFRva2Vucyhjb250ZXh0LCB0b2tlbnMpO1xuXG4gIGNvbnRleHQgPSBsb2NhbENvbnRleHQ7IC8vL1xuXG4gIHJldHVybiBjb250ZXh0O1xufVxuXG5mdW5jdGlvbiBjb250ZXh0RnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29uc3Qgc3RhdGVtZW50VG9rZW5zID0gc3RhdGVtZW50LmdldFRva2VucygpLFxuICAgICAgICB0b2tlbnMgPSBzdGF0ZW1lbnRUb2tlbnMsIC8vL1xuICAgICAgICBsb2NhbENvbnRleHQgPSBMb2NhbENvbnRleHQuZnJvbUNvbnRleHRBbmRUb2tlbnMoY29udGV4dCwgdG9rZW5zKTtcblxuICBjb250ZXh0ID0gbG9jYWxDb250ZXh0OyAvLy9cblxuICByZXR1cm4gY29udGV4dDtcbn1cbiJdLCJuYW1lcyI6WyJjb250YWluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50IiwiZGVmaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJlcXVhbGl0eUZyb21TdGF0ZW1lbnQiLCJqdWRnZW1lbnRGcm9tU3RhdGVtZW50IiwibWV0YXZhcmlhYmxlRnJvbUZyYW1lIiwibWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudCIsInN1YnByb29mQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsInR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50IiwiZnJhbWUiLCJjb250ZXh0IiwiY29udGV4dEZyb21GcmFtZSIsIk1ldGF2YXJpYWJsZSIsImRvbSIsImZyYW1lTm9kZSIsImdldE5vZGUiLCJtZXRhdmFyaWFibGUiLCJmcm9tRnJhbWVOb2RlIiwic3RhdGVtZW50IiwiY29udGV4dEZyb21TdGF0ZW1lbnQiLCJFcXVhbGl0eSIsInN0YXRlbWVudE5vZGUiLCJlcXVhbGl0eSIsImZyb21TdGF0ZW1lbnROb2RlIiwiSnVkZ2VtZW50IiwianVkZ2VtZW50IiwiVHlwZUFzc2VydGlvbiIsInR5cGVBc3NlcnRpb24iLCJEZWZpbmVkQXNzZXJ0aW9uIiwiZGVmaW5lZEFzc2VydGlvbiIsIkNvbnRhaW5lZEFzc2VydGlvbiIsImNvbnRhaW5lZEFzc2VydGlvbiIsIlN1YnByb29mQXNzZXJ0aW9uIiwic3VicHJvb2ZBc3NlcnRpb24iLCJmcmFtZVRva2VucyIsImdldFRva2VucyIsInRva2VucyIsImxvY2FsQ29udGV4dCIsIkxvY2FsQ29udGV4dCIsImZyb21Db250ZXh0QW5kVG9rZW5zIiwic3RhdGVtZW50VG9rZW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUFpRWdCQSwrQkFBK0I7ZUFBL0JBOztJQVZBQyw2QkFBNkI7ZUFBN0JBOztJQXhDQUMscUJBQXFCO2VBQXJCQTs7SUFVQUMsc0JBQXNCO2VBQXRCQTs7SUFwQkFDLHFCQUFxQjtlQUFyQkE7O0lBOEJBQyx5QkFBeUI7ZUFBekJBOztJQXdDQUMsOEJBQThCO2VBQTlCQTs7SUE5QkFDLDBCQUEwQjtlQUExQkE7OzswREEzQ0E7NERBQ1M7Ozs7OztBQUVsQixTQUFTSCxzQkFBc0JJLEtBQUssRUFBRUMsT0FBTztJQUNsREEsVUFBVUMsaUJBQWlCRixPQUFPQyxVQUFVLEdBQUc7SUFFL0MsSUFBTSxBQUFFRSxlQUFpQkMsWUFBRyxDQUFwQkQsY0FDRkUsWUFBWUwsTUFBTU0sT0FBTyxJQUN6QkMsZUFBZUosYUFBYUssYUFBYSxDQUFDSCxXQUFXSjtJQUUzRCxPQUFPTTtBQUNUO0FBRU8sU0FBU2Isc0JBQXNCZSxTQUFTLEVBQUVSLE9BQU87SUFDdERBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRVUsV0FBYVAsWUFBRyxDQUFoQk8sVUFDRkMsZ0JBQWdCSCxVQUFVSCxPQUFPLElBQ2pDTyxXQUFXRixTQUFTRyxpQkFBaUIsQ0FBQ0YsZUFBZVg7SUFFM0QsT0FBT1k7QUFDVDtBQUVPLFNBQVNsQix1QkFBdUJjLFNBQVMsRUFBRVIsT0FBTztJQUN2REEsVUFBVVMscUJBQXFCRCxXQUFXUixVQUFVLEdBQUc7SUFFdkQsSUFBTSxBQUFFYyxZQUFjWCxZQUFHLENBQWpCVyxXQUNGSCxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNVLFlBQVlELFVBQVVELGlCQUFpQixDQUFDRixlQUFlWDtJQUU3RCxPQUFPZTtBQUNUO0FBRU8sU0FBU25CLDBCQUEwQlksU0FBUyxFQUFFUixPQUFPO0lBQzFEQSxVQUFVUyxxQkFBcUJELFdBQVdSLFVBQVUsR0FBRztJQUV2RCxJQUFNLEFBQUVFLGVBQWlCQyxZQUFHLENBQXBCRCxjQUNGUyxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNDLGVBQWVKLGFBQWFXLGlCQUFpQixDQUFDRixlQUFlWDtJQUVuRSxPQUFPTTtBQUNUO0FBRU8sU0FBU1IsMkJBQTJCVSxTQUFTLEVBQUVSLE9BQU87SUFDM0RBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRWdCLGdCQUFrQmIsWUFBRyxDQUFyQmEsZUFDRkwsZ0JBQWdCSCxVQUFVSCxPQUFPLElBQ2pDWSxnQkFBZ0JELGNBQWNILGlCQUFpQixDQUFDRixlQUFlWDtJQUVyRSxPQUFPaUI7QUFDVDtBQUVPLFNBQVN6Qiw4QkFBOEJnQixTQUFTLEVBQUVSLE9BQU87SUFDOURBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRWtCLG1CQUFxQmYsWUFBRyxDQUF4QmUsa0JBQ0ZQLGdCQUFnQkgsVUFBVUgsT0FBTyxJQUNqQ2MsbUJBQW1CRCxpQkFBaUJMLGlCQUFpQixDQUFDRixlQUFlWDtJQUUzRSxPQUFPbUI7QUFDVDtBQUVPLFNBQVM1QixnQ0FBZ0NpQixTQUFTLEVBQUVSLE9BQU87SUFDaEVBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRW9CLHFCQUF1QmpCLFlBQUcsQ0FBMUJpQixvQkFDRlQsZ0JBQWdCSCxVQUFVSCxPQUFPLElBQ2pDZ0IscUJBQXFCRCxtQkFBbUJQLGlCQUFpQixDQUFDRixlQUFlWDtJQUUvRSxPQUFPcUI7QUFDVDtBQUVPLFNBQVN4QiwrQkFBK0JXLFNBQVMsRUFBRVIsT0FBTztJQUMvREEsVUFBVVMscUJBQXFCRCxXQUFXUixVQUFVLEdBQUc7SUFFdkQsSUFBTSxBQUFFc0Isb0JBQXNCbkIsWUFBRyxDQUF6Qm1CLG1CQUNGWCxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNrQixvQkFBb0JELGtCQUFrQlQsaUJBQWlCLENBQUNGLGVBQWVYO0lBRTdFLE9BQU91QjtBQUNUO0FBRUEsU0FBU3RCLGlCQUFpQkYsS0FBSyxFQUFFQyxPQUFPO0lBQ3RDLElBQU13QixjQUFjekIsTUFBTTBCLFNBQVMsSUFDN0JDLFNBQVNGLGFBQ1RHLGVBQWVDLGNBQVksQ0FBQ0Msb0JBQW9CLENBQUM3QixTQUFTMEI7SUFFaEUxQixVQUFVMkIsY0FBYyxHQUFHO0lBRTNCLE9BQU8zQjtBQUNUO0FBRUEsU0FBU1MscUJBQXFCRCxTQUFTLEVBQUVSLE9BQU87SUFDOUMsSUFBTThCLGtCQUFrQnRCLFVBQVVpQixTQUFTLElBQ3JDQyxTQUFTSSxpQkFDVEgsZUFBZUMsY0FBWSxDQUFDQyxvQkFBb0IsQ0FBQzdCLFNBQVMwQjtJQUVoRTFCLFVBQVUyQixjQUFjLEdBQUc7SUFFM0IsT0FBTzNCO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmVyaWZpY2F0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi9kb21cIjtcbmltcG9ydCBMb2NhbENvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvbG9jYWxcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZUZyb21GcmFtZShmcmFtZSwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21GcmFtZShmcmFtZSwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgTWV0YXZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgIGZyYW1lTm9kZSA9IGZyYW1lLmdldE5vZGUoKSxcbiAgICAgICAgbWV0YXZhcmlhYmxlID0gTWV0YXZhcmlhYmxlLmZyb21GcmFtZU5vZGUoZnJhbWVOb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gbWV0YXZhcmlhYmxlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZXF1YWxpdHlGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBFcXVhbGl0eSB9ID0gZG9tLFxuICAgICAgICBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgZXF1YWxpdHkgPSBFcXVhbGl0eS5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gZXF1YWxpdHk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBqdWRnZW1lbnRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBKdWRnZW1lbnQgfSA9IGRvbSxcbiAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIGp1ZGdlbWVudCA9IEp1ZGdlbWVudC5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4ganVkZ2VtZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29udGV4dCA9IGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgTWV0YXZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBtZXRhdmFyaWFibGUgPSBNZXRhdmFyaWFibGUuZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBUeXBlQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICB0eXBlQXNzZXJ0aW9uID0gVHlwZUFzc2VydGlvbi5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gdHlwZUFzc2VydGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGRlZmluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb250ZXh0ID0gY29udGV4dEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgeyBEZWZpbmVkQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBkZWZpbmVkQXNzZXJ0aW9uID0gRGVmaW5lZEFzc2VydGlvbi5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KTtcblxuICByZXR1cm4gZGVmaW5lZEFzc2VydGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb3BlcnR5QXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29udGV4dCA9IGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgUHJvcGVydHlBc3NlcnRpb24gfSA9IGRvbSxcbiAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIHByb3BlcnR5QXNzZXJ0aW9uID0gUHJvcGVydHlBc3NlcnRpb24uZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29udGFpbmVkQXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29udGV4dCA9IGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgQ29udGFpbmVkQXNzZXJ0aW9uIH0gPSBkb20sXG4gICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBjb250YWluZWRBc3NlcnRpb24gPSBDb250YWluZWRBc3NlcnRpb24uZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIGNvbnRhaW5lZEFzc2VydGlvbjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1YnByb29mQXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgY29udGV4dCA9IGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IHsgU3VicHJvb2ZBc3NlcnRpb24gfSA9IGRvbSxcbiAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIHN1YnByb29mQXNzZXJ0aW9uID0gU3VicHJvb2ZBc3NlcnRpb24uZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIHN1YnByb29mQXNzZXJ0aW9uO1xufVxuXG5mdW5jdGlvbiBjb250ZXh0RnJvbUZyYW1lKGZyYW1lLCBjb250ZXh0KSB7XG4gIGNvbnN0IGZyYW1lVG9rZW5zID0gZnJhbWUuZ2V0VG9rZW5zKCksXG4gICAgICAgIHRva2VucyA9IGZyYW1lVG9rZW5zLCAvLy9cbiAgICAgICAgbG9jYWxDb250ZXh0ID0gTG9jYWxDb250ZXh0LmZyb21Db250ZXh0QW5kVG9rZW5zKGNvbnRleHQsIHRva2Vucyk7XG5cbiAgY29udGV4dCA9IGxvY2FsQ29udGV4dDsgLy8vXG5cbiAgcmV0dXJuIGNvbnRleHQ7XG59XG5cbmZ1bmN0aW9uIGNvbnRleHRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCkge1xuICBjb25zdCBzdGF0ZW1lbnRUb2tlbnMgPSBzdGF0ZW1lbnQuZ2V0VG9rZW5zKCksXG4gICAgICAgIHRva2VucyA9IHN0YXRlbWVudFRva2VucywgLy8vXG4gICAgICAgIGxvY2FsQ29udGV4dCA9IExvY2FsQ29udGV4dC5mcm9tQ29udGV4dEFuZFRva2Vucyhjb250ZXh0LCB0b2tlbnMpO1xuXG4gIGNvbnRleHQgPSBsb2NhbENvbnRleHQ7IC8vL1xuXG4gIHJldHVybiBjb250ZXh0O1xufVxuIl0sIm5hbWVzIjpbImNvbnRhaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJkZWZpbmVkQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsImVxdWFsaXR5RnJvbVN0YXRlbWVudCIsImp1ZGdlbWVudEZyb21TdGF0ZW1lbnQiLCJtZXRhdmFyaWFibGVGcm9tRnJhbWUiLCJtZXRhdmFyaWFibGVGcm9tU3RhdGVtZW50IiwicHJvcGVydHlBc3NlcnRpb25Gcm9tU3RhdGVtZW50Iiwic3VicHJvb2ZBc3NlcnRpb25Gcm9tU3RhdGVtZW50IiwidHlwZUFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJmcmFtZSIsImNvbnRleHQiLCJjb250ZXh0RnJvbUZyYW1lIiwiTWV0YXZhcmlhYmxlIiwiZG9tIiwiZnJhbWVOb2RlIiwiZ2V0Tm9kZSIsIm1ldGF2YXJpYWJsZSIsImZyb21GcmFtZU5vZGUiLCJzdGF0ZW1lbnQiLCJjb250ZXh0RnJvbVN0YXRlbWVudCIsIkVxdWFsaXR5Iiwic3RhdGVtZW50Tm9kZSIsImVxdWFsaXR5IiwiZnJvbVN0YXRlbWVudE5vZGUiLCJKdWRnZW1lbnQiLCJqdWRnZW1lbnQiLCJUeXBlQXNzZXJ0aW9uIiwidHlwZUFzc2VydGlvbiIsIkRlZmluZWRBc3NlcnRpb24iLCJkZWZpbmVkQXNzZXJ0aW9uIiwiUHJvcGVydHlBc3NlcnRpb24iLCJwcm9wZXJ0eUFzc2VydGlvbiIsIkNvbnRhaW5lZEFzc2VydGlvbiIsImNvbnRhaW5lZEFzc2VydGlvbiIsIlN1YnByb29mQXNzZXJ0aW9uIiwic3VicHJvb2ZBc3NlcnRpb24iLCJmcmFtZVRva2VucyIsImdldFRva2VucyIsInRva2VucyIsImxvY2FsQ29udGV4dCIsIkxvY2FsQ29udGV4dCIsImZyb21Db250ZXh0QW5kVG9rZW5zIiwic3RhdGVtZW50VG9rZW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUEyRWdCQSwrQkFBK0I7ZUFBL0JBOztJQXBCQUMsNkJBQTZCO2VBQTdCQTs7SUF4Q0FDLHFCQUFxQjtlQUFyQkE7O0lBVUFDLHNCQUFzQjtlQUF0QkE7O0lBcEJBQyxxQkFBcUI7ZUFBckJBOztJQThCQUMseUJBQXlCO2VBQXpCQTs7SUE4QkFDLDhCQUE4QjtlQUE5QkE7O0lBb0JBQyw4QkFBOEI7ZUFBOUJBOztJQXhDQUMsMEJBQTBCO2VBQTFCQTs7OzBEQTNDQTs0REFDUzs7Ozs7O0FBRWxCLFNBQVNKLHNCQUFzQkssS0FBSyxFQUFFQyxPQUFPO0lBQ2xEQSxVQUFVQyxpQkFBaUJGLE9BQU9DLFVBQVUsR0FBRztJQUUvQyxJQUFNLEFBQUVFLGVBQWlCQyxZQUFHLENBQXBCRCxjQUNGRSxZQUFZTCxNQUFNTSxPQUFPLElBQ3pCQyxlQUFlSixhQUFhSyxhQUFhLENBQUNILFdBQVdKO0lBRTNELE9BQU9NO0FBQ1Q7QUFFTyxTQUFTZCxzQkFBc0JnQixTQUFTLEVBQUVSLE9BQU87SUFDdERBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRVUsV0FBYVAsWUFBRyxDQUFoQk8sVUFDRkMsZ0JBQWdCSCxVQUFVSCxPQUFPLElBQ2pDTyxXQUFXRixTQUFTRyxpQkFBaUIsQ0FBQ0YsZUFBZVg7SUFFM0QsT0FBT1k7QUFDVDtBQUVPLFNBQVNuQix1QkFBdUJlLFNBQVMsRUFBRVIsT0FBTztJQUN2REEsVUFBVVMscUJBQXFCRCxXQUFXUixVQUFVLEdBQUc7SUFFdkQsSUFBTSxBQUFFYyxZQUFjWCxZQUFHLENBQWpCVyxXQUNGSCxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNVLFlBQVlELFVBQVVELGlCQUFpQixDQUFDRixlQUFlWDtJQUU3RCxPQUFPZTtBQUNUO0FBRU8sU0FBU3BCLDBCQUEwQmEsU0FBUyxFQUFFUixPQUFPO0lBQzFEQSxVQUFVUyxxQkFBcUJELFdBQVdSLFVBQVUsR0FBRztJQUV2RCxJQUFNLEFBQUVFLGVBQWlCQyxZQUFHLENBQXBCRCxjQUNGUyxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNDLGVBQWVKLGFBQWFXLGlCQUFpQixDQUFDRixlQUFlWDtJQUVuRSxPQUFPTTtBQUNUO0FBRU8sU0FBU1IsMkJBQTJCVSxTQUFTLEVBQUVSLE9BQU87SUFDM0RBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRWdCLGdCQUFrQmIsWUFBRyxDQUFyQmEsZUFDRkwsZ0JBQWdCSCxVQUFVSCxPQUFPLElBQ2pDWSxnQkFBZ0JELGNBQWNILGlCQUFpQixDQUFDRixlQUFlWDtJQUVyRSxPQUFPaUI7QUFDVDtBQUVPLFNBQVMxQiw4QkFBOEJpQixTQUFTLEVBQUVSLE9BQU87SUFDOURBLFVBQVVTLHFCQUFxQkQsV0FBV1IsVUFBVSxHQUFHO0lBRXZELElBQU0sQUFBRWtCLG1CQUFxQmYsWUFBRyxDQUF4QmUsa0JBQ0ZQLGdCQUFnQkgsVUFBVUgsT0FBTyxJQUNqQ2MsbUJBQW1CRCxpQkFBaUJMLGlCQUFpQixDQUFDRixlQUFlWDtJQUUzRSxPQUFPbUI7QUFDVDtBQUVPLFNBQVN2QiwrQkFBK0JZLFNBQVMsRUFBRVIsT0FBTztJQUMvREEsVUFBVVMscUJBQXFCRCxXQUFXUixVQUFVLEdBQUc7SUFFdkQsSUFBTSxBQUFFb0Isb0JBQXNCakIsWUFBRyxDQUF6QmlCLG1CQUNGVCxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNnQixvQkFBb0JELGtCQUFrQlAsaUJBQWlCLENBQUNGLGVBQWVYO0lBRTdFLE9BQU9xQjtBQUNUO0FBRU8sU0FBUy9CLGdDQUFnQ2tCLFNBQVMsRUFBRVIsT0FBTztJQUNoRUEsVUFBVVMscUJBQXFCRCxXQUFXUixVQUFVLEdBQUc7SUFFdkQsSUFBTSxBQUFFc0IscUJBQXVCbkIsWUFBRyxDQUExQm1CLG9CQUNGWCxnQkFBZ0JILFVBQVVILE9BQU8sSUFDakNrQixxQkFBcUJELG1CQUFtQlQsaUJBQWlCLENBQUNGLGVBQWVYO0lBRS9FLE9BQU91QjtBQUNUO0FBRU8sU0FBUzFCLCtCQUErQlcsU0FBUyxFQUFFUixPQUFPO0lBQy9EQSxVQUFVUyxxQkFBcUJELFdBQVdSLFVBQVUsR0FBRztJQUV2RCxJQUFNLEFBQUV3QixvQkFBc0JyQixZQUFHLENBQXpCcUIsbUJBQ0ZiLGdCQUFnQkgsVUFBVUgsT0FBTyxJQUNqQ29CLG9CQUFvQkQsa0JBQWtCWCxpQkFBaUIsQ0FBQ0YsZUFBZVg7SUFFN0UsT0FBT3lCO0FBQ1Q7QUFFQSxTQUFTeEIsaUJBQWlCRixLQUFLLEVBQUVDLE9BQU87SUFDdEMsSUFBTTBCLGNBQWMzQixNQUFNNEIsU0FBUyxJQUM3QkMsU0FBU0YsYUFDVEcsZUFBZUMsY0FBWSxDQUFDQyxvQkFBb0IsQ0FBQy9CLFNBQVM0QjtJQUVoRTVCLFVBQVU2QixjQUFjLEdBQUc7SUFFM0IsT0FBTzdCO0FBQ1Q7QUFFQSxTQUFTUyxxQkFBcUJELFNBQVMsRUFBRVIsT0FBTztJQUM5QyxJQUFNZ0Msa0JBQWtCeEIsVUFBVW1CLFNBQVMsSUFDckNDLFNBQVNJLGlCQUNUSCxlQUFlQyxjQUFZLENBQUNDLG9CQUFvQixDQUFDL0IsU0FBUzRCO0lBRWhFNUIsVUFBVTZCLGNBQWMsR0FBRztJQUUzQixPQUFPN0I7QUFDVCJ9

package/package.json

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

package/src/dom/assertion/contained.js

@@ -99,7 +99,7 @@ export default domAssigned(class ContainedAssertion {
       });
 
       if (termVerified) {
-        context.trace(`...verified the '${containedAssertionString}' contained assertion's '${termString}' term.`);
+        context.debug(`...verified the '${containedAssertionString}' contained assertion's '${termString}' term.`);
       }
     }
 
@@ -122,7 +122,7 @@ export default domAssigned(class ContainedAssertion {
       frameVerified = this.frame.verify(assignments, stated, context);
 
       if (frameVerified) {
-        context.trace(`...verified the '${containedAssertionString}' contained assertion's '${frameString}' frame.`);
+        context.debug(`...verified the '${containedAssertionString}' contained assertion's '${frameString}' frame.`);
       }
     }
 
@@ -145,7 +145,7 @@ export default domAssigned(class ContainedAssertion {
       statementVerified = this.statement.verify(assignments, stated, context);
 
       if (statementVerified) {
-        context.trace(`...verified the '${containedAssertionString}' contained assertion's '${statementString}' statement.`);
+        context.debug(`...verified the '${containedAssertionString}' contained assertion's '${statementString}' statement.`);
       }
     }
 

package/src/dom/assertion/property.js

@@ -0,0 +1,179 @@
+"use strict";
+
+import dom from "../../dom";
+
+import { nodeQuery } from "../../utilities/query";
+import { domAssigned } from "../../dom";
+
+const propertyNodeQuery = nodeQuery("/propertyAssertion/property"),
+      leftTermNodeQuery = nodeQuery("/propertyAssertion/term[0]"),
+      rightTermNodeQuery = nodeQuery("/propertyAssertion/term[1]"),
+      propertyAssertionNodeQuery = nodeQuery("/statement/propertyAssertion");
+
+export default domAssigned(class PropertyAssertion {
+  constructor(string, node, tokens, property, leftTerm, rightTerm) {
+    this.string = string;
+    this.node = node;
+    this.tokens = tokens;
+    this.property = property;
+    this.leftTerm = leftTerm;
+    this.rightTerm = rightTerm;
+  }
+
+  getString() {
+    return this.string;
+  }
+
+  getNode() {
+    return this.node;
+  }
+
+  getTokens() {
+    return this.tokens;
+  }
+
+  getProperty() {
+    return this.property;
+  }
+
+  getLeftTerm() {
+    return this.leftTerm;
+  }
+
+  getRightTerm() {
+    return this.rightTerm;
+  }
+
+  verify(assignments, stated, context) {
+    let verified = false;
+
+    const propertyAssertionString = this.string; ///
+
+    context.trace(`Verifying the '${propertyAssertionString}' property assertion...`);
+
+    const rightTermVerified = this.verifyRightTerm(assignments, stated, context);
+
+    if (rightTermVerified) {
+      const leftTermVerified = this.verifyLeftTerm(assignments, stated, context);
+
+      if (leftTermVerified) {
+        const propertyVerified = this.verifyProperty(assignments, stated, context);
+
+        if (propertyVerified) {
+          verified = true;
+        }
+      }
+    }
+
+    if (verified) {
+      context.debug(`...verified the '${propertyAssertionString}' property assertion.`);
+    }
+
+    return verified;
+  }
+
+  verifyProperty(assignments, stated, context) {
+    let propertyVerified;
+
+    const propertyString = this.property.getString(),
+          propertyAssertionString = this.string; ///
+
+    context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${propertyString}' property...`);
+
+    const rightTermType = this.rightTerm.getType(),
+          propertyName = this.property.getName(),
+          property = rightTermType.findPropertyByPropertyName(propertyName);
+
+    if (property === null) {
+      const rightTermTypeName = rightTermType.getName();
+
+      context.debug(`The '${propertyName}' property is not a property of the right term's '${rightTermTypeName}' type.`);
+    } else {
+      const leftTermType = this.leftTerm.getType(),
+            propertyType = property.getType(),
+            leftTermTypeEqualToOrSubTypeOfPropertyType = leftTermType.isEqualToOrSubTypeOf(propertyType);
+
+      if (!leftTermTypeEqualToOrSubTypeOfPropertyType) {
+        const leftTermTypeName = leftTermType.getName(),
+              propertyTypeName = propertyType.getName();
+
+        context.debug(`The left term's '${leftTermTypeName}' type is not equal to or a sub-type of the '${propertyName}' property's '${propertyTypeName}' type.`);
+      } else {
+        propertyVerified = true;
+      }
+    }
+
+    if (propertyVerified) {
+      context.debug(`...verified the '${propertyAssertionString}' property assertion's '${propertyString}' property.`);
+    }
+
+    return propertyVerified;
+  }
+
+  verifyLeftTerm(assignments, stated, context) {
+    let leftTermVerified;
+
+    const leftTermString = this.leftTerm.getString(),
+          propertyAssertionString = this.string; ///
+
+    context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${leftTermString}' left term...`);
+
+    leftTermVerified = this.leftTerm.verify(context, () => {
+      const verifiedAhead = true;
+
+      return verifiedAhead;
+    });
+
+    if (leftTermVerified) {
+      context.debug(`...verified the '${propertyAssertionString}' property assertion's '${leftTermString}' left term.`);
+    }
+
+    return leftTermVerified;
+  }
+
+  verifyRightTerm(assignments, stated, context) {
+    let rightTermVerified;
+
+    const rightTermString = this.rightTerm.getString(),
+          propertyAssertionString = this.string; ///
+
+    context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${rightTermString}' right term...`);
+
+    rightTermVerified = this.rightTerm.verify(context, () => {
+      const verifiedAhead = true;
+
+      return verifiedAhead;
+    });
+
+    if (rightTermVerified) {
+      context.debug(`...verified the '${propertyAssertionString}' property assertion's '${rightTermString}' right term.`);
+    }
+
+    return rightTermVerified;
+  }
+
+  static name = "PropertyAssertion";
+
+  static fromStatementNode(statementNode, context) {
+    let propertyAssertion = null;
+
+    const propertyAssertionNode = propertyAssertionNodeQuery(statementNode);
+
+    if (propertyAssertionNode !== null) {
+      const { Term, Property } = dom,
+            node = propertyAssertionNode,  ///
+            string = context.nodeAsString(node),
+            tokens = context.nodeAsTokens(node),
+            propertyNode = propertyNodeQuery(propertyAssertionNode),
+            leftTermNode = leftTermNodeQuery(propertyAssertionNode),
+            rightTermNode = rightTermNodeQuery(propertyAssertionNode),
+            property = Property.fromPropertyNode(propertyNode, context),
+            leftTerm = Term.fromTermNode(leftTermNode, context),
+            rightTerm = Term.fromTermNode(rightTermNode, context);
+
+      propertyAssertion = new PropertyAssertion(string, node, tokens, property, leftTerm, rightTerm);
+    }
+
+    return propertyAssertion;
+  }
+});

package/src/dom/declaration/complexType.js

@@ -110,10 +110,21 @@ export default domAssigned(class ComplexTypeDeclaration {
     if (count > 1) {
       this.fileContext.debug(`The '${propertyString}' property appears more than once.`);
     } else {
-      const propertyType = property.getType(),
-            propertyTypeVerified = this.verifyPropertyType(propertyType);
+      let propertyType;
+
+      propertyType = property.getType();
+
+      const propertyTypeVerified = this.verifyPropertyType(propertyType);
 
       if (propertyTypeVerified) {
+        const propertyTypeName = propertyType.getName();
+
+        propertyType = this.fileContext.findTypeByTypeName(propertyTypeName);
+
+        const type = propertyType;  ///
+
+        property.setType(type);
+
         propertyVerified = true;
       }
     }

package/src/dom/declaration/variable.js

@@ -6,7 +6,7 @@ import { objectType } from "../type";
 import { domAssigned } from "../../dom";
 
 export default domAssigned(class VariableDeclaration {
-  constructor(fileContext, string, variable) {
+  constructor(fileContext, variable) {
     this.fileContext = fileContext;
     this.variable = variable;
   }

package/src/dom/declaration.js

@@ -149,7 +149,7 @@ export default domAssigned(class Declaration {
     }
 
     if (verifiedWhenStated) {
-      context.trace(`...verified the '${declarationString}' stated declaration.`);
+      context.debug(`...verified the '${declarationString}' stated declaration.`);
     }
 
     return verifiedWhenStated;
@@ -172,7 +172,7 @@ export default domAssigned(class Declaration {
     }
 
     if (verifiedWhenDerived) {
-      context.trace(`...verified the '${declarationString}' derived declaration.`);
+      context.debug(`...verified the '${declarationString}' derived declaration.`);
     }
 
     return verifiedWhenDerived;

package/src/dom/property.js

@@ -6,8 +6,7 @@ import { nodeQuery } from "../utilities/query";
 import { domAssigned } from "../dom";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 
-const typeNodeQuery = nodeQuery("/property/type"),
-      propertyNodeQuery = nodeQuery("/propertyDeclaration/property"),
+const propertyNodeQuery = nodeQuery("/propertyDeclaration/property"),
       nameTerminalNodeQuery = nodeQuery("/property/@name");
 
 export default domAssigned(class Property {
@@ -29,28 +28,16 @@ export default domAssigned(class Property {
     return this.type;
   }
 
+  setType(type) {
+    this.type = type;
+  }
+
   matchPropertyName(propertyName) {
     const propertyNameMatches = (propertyName === this.name);
 
     return propertyNameMatches;
   }
 
-  verify(context) {
-    let verified;
-
-    const propertyString = this.string; ///
-
-    context.trace(`Verifying the '${propertyString}' property...`);
-
-    debugger
-
-    if (verified) {
-      context.debug(`...verified the '${propertyString}' property.`);
-    }
-
-    return verified;
-  }
-
   toJSON() {
     const typeJSON = typeToTypeJSON(this.type),
           name = this.name, ///
@@ -74,11 +61,22 @@ export default domAssigned(class Property {
     return property;
   }
 
+  static fromPropertyNode(propertyNode, fileContext) {
+    const node = propertyNode,  ///
+          name = nameFromPropertyNode(propertyNode),
+          type = null,
+          string = fileContext.nodeAsString(node),
+          property = new Property(string, name, type);
+
+    return property;
+  }
+
   static fromPropertyDeclarationNode(propertyDeclarationNode, fileContext) {
-    const propertyNode = propertyNodeQuery(propertyDeclarationNode),
+    const { Type } = dom,
+          propertyNode = propertyNodeQuery(propertyDeclarationNode),
           node = propertyNode,  ///
           name = nameFromPropertyNode(propertyNode),
-          type = typeFromPropertyNode(propertyNode),
+          type = Type.fromPropertyDeclarationNode(propertyDeclarationNode),
           string = fileContext.nodeAsString(node),
           property = new Property(string, name, type);
 
@@ -93,11 +91,3 @@ function nameFromPropertyNode(propertyNode, fileContext) {
 
   return name;
 }
-
-function typeFromPropertyNode(propertyNode, fileContext) {
-  const { Type } = dom,
-        typeNode = typeNodeQuery(propertyNode),
-        type = Type.fromTypeNode(typeNode);
-
-  return type;
-}

package/src/dom/type.js

@@ -10,6 +10,7 @@ import { superTypeFromJSON, propertiesFromJSON, superTypeToSuperTypeJSON, proper
 
 const typeDeclarationTypeNodeQuery = nodeQuery("/typeDeclaration|complexTypeDeclaration/type[0]"),
       propertyDeclarationNodesQuery = nodesQuery("/complexTypeDeclaration/propertyDeclaration"),
+      propertyDeclarationTypeNodeQuery = nodeQuery("/propertyDeclaration/type"),
       typeDeclarationSuperTypeNodeQuery = nodeQuery("/typeDeclaration|complexTypeDeclaration/type[1]");
 
 class Type {
@@ -118,12 +119,16 @@ class Type {
     return typeNameMatches;
   }
 
-  matchTypeNode(typeNode) {
-    const typeName = typeNameFromTypeNode(typeNode),
-          typeNameMatches = this.matchTypeName(typeName),
-          typeNodeMatches = typeNameMatches;  ///
+  findPropertyByPropertyName(propertyName) {
+    const property = this.properties.find((property) => {
+      const propertyNameMatches = property.matchPropertyName(propertyName);
 
-    return typeNodeMatches;
+      if (propertyNameMatches) {
+        return true;
+      }
+    }) || null;
+
+    return property;
   }
 
   toJSON() {
@@ -183,6 +188,27 @@ class Type {
     return type;
   }
 
+  static fromPropertyDeclarationNode(propertyDeclarationNode, fileContext) {
+    let type;
+
+    const propertyDeclarationTypeNode = propertyDeclarationTypeNodeQuery(propertyDeclarationNode);
+
+    if (propertyDeclarationTypeNode === null) {
+      type = objectType;
+    } else {
+      const typeNode = propertyDeclarationTypeNode, ///
+            typeName = typeNameFromTypeNode(typeNode),
+            name = typeName,  ///
+            string = name,  ///
+            superType = null,
+            properties = null;
+
+      type = new Type(string, name, superType, properties);
+    }
+
+    return type;
+  }
+
   static fromComplexTypeDeclarationNode(complexTypeDeclarationNode, fileContext) {
     const properties = propertiesFromComplexTypeDeclarationNode(complexTypeDeclarationNode, fileContext),
           superType = superTypeFromComplexTypeDeclarationNode(complexTypeDeclarationNode, fileContext),

package/src/index.js

@@ -38,6 +38,7 @@ import TypeAssertion from "./dom/assertion/type";
 import TypeDeclaration from "./dom/declaration/type";
 import DefinedAssertion from "./dom/assertion/defined";
 import SubproofAssertion from "./dom/assertion/subproof";
+import PropertyAssertion from "./dom/assertion/property";
 import ContainedAssertion from "./dom/assertion/contained";
 import VariableDeclaration from "./dom/declaration/variable";
 import BracketedCombinator from "./dom/combinator/bracketed";

package/src/mixins/statement/verify.js

@@ -7,9 +7,39 @@ import { equalityFromStatement,
          metavariableFromStatement,
          typeAssertionFromStatement,
          definedAssertionFromStatement,
+         propertyAssertionFromStatement,
          containedAssertionFromStatement,
          subproofAssertionFromStatement } from "../../utilities/verification";
 
+function unifyWithBracketedCombinator(statement, assignments, stated, context) {
+  stated = true;  ///
+
+  assignments = null; ///
+
+  const { BracketedCombinator } = dom,
+        bracketedCombinator = BracketedCombinator.fromNothing(),
+        unifiedWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
+
+  return unifiedWithBracketedCombinator;
+}
+
+function unifyWithCombinators(statement, assignments, stated, context) {
+  stated = true;  ///
+
+  assignments = null; ///
+
+  const combinators = context.getCombinators(),
+        unifiedWithCombinators = combinators.some((combinator) => {
+          const unifiedWithCombinator = combinator.unifyStatement(statement, assignments, stated, context);
+
+          if (unifiedWithCombinator) {
+            return true;
+          }
+        });
+
+  return unifiedWithCombinators;
+}
+
 function verifyAsMetavariable(statement, assignments, stated, context) {
   let verifiedAsMetavariable = false;
 
@@ -120,6 +150,28 @@ function verifyAsDefinedAssertion(statement, assignments, stated, context) {
   return verifiedAsDefinedAssertion;
 }
 
+function verifyAsPropertyAssertion(statement, assignments, stated, context) {
+  let verifiedAsPropertyAssertion = false;
+
+  const propertyAssertion = propertyAssertionFromStatement(statement, context);
+
+  if (propertyAssertion !== null) {
+    const statementString = statement.getString();
+
+    context.trace(`Verifying the '${statementString}' statement as a property assertion...`);
+
+    const propertyAssertionVerified = propertyAssertion.verify(assignments, stated, context);
+
+    verifiedAsPropertyAssertion = propertyAssertionVerified; ///
+
+    if (verifiedAsPropertyAssertion) {
+      context.debug(`...verified the '${statementString}' statement as a property assertion.`);
+    }
+  }
+
+  return verifiedAsPropertyAssertion;
+}
+
 function verifyAsContainedAssertion(statement, assignments, stated, context) {
   let verifiedAsContainedAssertion = false;
 
@@ -164,45 +216,17 @@ function verifyAsSubproofAssertion(statement, assignments, stated, context) {
   return verifiedAsSubproofAssertion;
 }
 
-function unifyWithBracketedCombinator(statement, assignments, stated, context) {
-  stated = true;  ///
-
-  assignments = null; ///
-
-  const { BracketedCombinator } = dom,
-        bracketedCombinator = BracketedCombinator.fromNothing(),
-        unifiedWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
-
-  return unifiedWithBracketedCombinator;
-}
-
-function unifyWithCombinators(statement, assignments, stated, context) {
-  stated = true;  ///
-
-  assignments = null; ///
-
-  const combinators = context.getCombinators(),
-        unifiedWithCombinators = combinators.some((combinator) => {
-          const unifiedWithCombinator = combinator.unifyStatement(statement, assignments, stated, context);
-
-          if (unifiedWithCombinator) {
-            return true;
-          }
-        });
-
-  return unifiedWithCombinators;
-}
-
 const verifyMixins = [
+  unifyWithBracketedCombinator,
+  unifyWithCombinators,
   verifyAsMetavariable,
   verifyAsEquality,
   verifyAsJudgement,
   verifyAsTypeAssertion,
   verifyAsDefinedAssertion,
   verifyAsContainedAssertion,
-  verifyAsSubproofAssertion,
-  unifyWithBracketedCombinator,
-  unifyWithCombinators
+  verifyAsPropertyAssertion,
+  verifyAsSubproofAssertion
 ];
 
 export default verifyMixins;

package/src/utilities/verification.js

@@ -63,6 +63,16 @@ export function definedAssertionFromStatement(statement, context) {
   return definedAssertion;
 }
 
+export function propertyAssertionFromStatement(statement, context) {
+  context = contextFromStatement(statement, context); ///
+
+  const { PropertyAssertion } = dom,
+        statementNode = statement.getNode(),
+        propertyAssertion = PropertyAssertion.fromStatementNode(statementNode, context);
+
+  return propertyAssertion;
+}
+
 export function containedAssertionFromStatement(statement, context) {
   context = contextFromStatement(statement, context); ///