occam-verify-cli 1.0.382 → 1.0.385

package/src/mixins/step/unify.js

@@ -2,7 +2,7 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import Substitutions from "../../substitutions";
 
 import { equalityFromStatement,
@@ -53,7 +53,7 @@ function unifyWithReference(statement, reference, satisfiesAssertion, substituti
 
       context.trace(`Unifying the '${statementString}' statement with the '${referenceString}' reference...`);
 
-      const { StatementSubstitution } = dom,
+      const { StatementSubstitution } = ontology,
             metavariable = reference.getMetavariable(),
             specificContext = context,  ///
             statementSubstitution = StatementSubstitution.fromStatementAndMetavariable(statement, metavariable, context),
@@ -156,7 +156,7 @@ function unifyWithAxiomLemmaTheoremOrConjecture(statement, reference, satisfiesA
       const statementAndStepsUnify = axiomLemmaTheoremOrConjecture.unifyStatementAndStepsOrSubproofs(statement, stepsOrSubproofs, substitutions, context);
 
       if (statementAndStepsUnify) {
-        const { StatementSubstitution } = dom,
+        const { StatementSubstitution } = ontology,
               metavariable = reference.getMetavariable(),
               specificContext = context,  ///
               statementSubstitution = StatementSubstitution.fromStatementAndMetavariable(statement, metavariable, context),

package/src/mixins/term/verify.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
 function unifyWithBracketedConstructor(term, context, verifyAhead) {
   let unifiesWithBracketedConstructor;
 
-  const { BracketedConstructor } = dom,
+  const { BracketedConstructor } = ontology,
         bracketedConstructor = BracketedConstructor.fromNothing();
 
   unifiesWithBracketedConstructor = bracketedConstructor.unifyTerm(term, context, verifyAhead);
@@ -32,7 +32,7 @@ function unifyWithConstructors(term, context, verifyAhead) {
 function verifyTermAsVariable(term, context, verifyAhead) {
   let termVerifiesAsVariable = false;
 
-  const { Variable } = dom,
+  const { Variable } = ontology,
         termNode = term.getNode(),
         singularVariableNode = termNode.getSingularVariableNode();
 

package/src/{dom → ontology}/assertion/contained.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import LocalContext from "../../context/local";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions, statementFromStatementAndSubstitutions } from "../../utilities/substitutions";
 
-export default domAssigned(class ContainedAssertion {
+export default define(class ContainedAssertion {
   constructor(string, node, tokens, term, frame, negated, statement) {
     this.string = string;
     this.node = node;
@@ -221,7 +221,7 @@ export default domAssigned(class ContainedAssertion {
     const containedAssertionNode = statementNode.getContainedAssertionNode();
 
     if (containedAssertionNode !== null) {
-      const { Term, Frame, Statement } = dom,
+      const { Term, Frame, Statement } = ontology,
             node = containedAssertionNode,  ///
             string = context.nodeAsString(node),
             tokens = context.nodeAsTokens(node),

package/src/{dom → ontology}/assertion/defined.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import LocalContext from "../../context/local";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions } from "../../utilities/substitutions";
 
-export default domAssigned(class DefinedAssertion {
+export default define(class DefinedAssertion {
   constructor(string, node, tokens, term, frame, negated) {
     this.string = string;
     this.node = node;
@@ -192,7 +192,7 @@ export default domAssigned(class DefinedAssertion {
     const definedAssertionNode = statementNode.getDefinedAssertionNode();
 
     if (definedAssertionNode !== null) {
-      const { Term, Frame } = dom,
+      const { Term, Frame } = ontology,
             node = definedAssertionNode,  ///
             string = context.nodeAsString(node),
             tokens = context.nodeAsTokens(node),
@@ -211,7 +211,7 @@ function verifyWhenDerived(term, frame, negated, context) {
   let verifiesWhenDerived = false;
 
   if (term !== null) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           termNode = term.getNode(),
           variable = Variable.fromTermNode(termNode, context),
           generalContext = context, ///
@@ -227,7 +227,7 @@ function verifyWhenDerived(term, frame, negated, context) {
   }
 
   if (frame!== null) {
-    const { Metavariable } = dom,
+    const { Metavariable } = ontology,
           frameNode = frame.getNode(),
           metavariable = Metavariable.fromFrameNode(frameNode, context),
           metavariableDefined = context.isMetavariableDefined(metavariable);

package/src/{dom → ontology}/assertion/property.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
 import VariableAssignment from "../../assignment/variable";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class PropertyAssertion {
+export default define(class PropertyAssertion {
   constructor(string, node, tokens, term, propertyRelation) {
     this.string = string;
     this.node = node;
@@ -177,7 +177,7 @@ export default domAssigned(class PropertyAssertion {
 
     let variable;
 
-    const { Variable } = dom,
+    const { Variable } = ontology,
           termNode = this.term.getNode();
 
     variable = Variable.fromTermNode(termNode, context);
@@ -204,7 +204,7 @@ export default domAssigned(class PropertyAssertion {
     const propertyAssertionNode = statementNode.getPropertyAssertionNode();
 
     if (propertyAssertionNode !== null) {
-      const { Term, PropertyRelation } = dom,
+      const { Term, PropertyRelation } = ontology,
             node = propertyAssertionNode,  ///
             string = context.nodeAsString(node),
             tokens = context.nodeAsTokens(node),

package/src/{dom → ontology}/assertion/satisfies.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
 import Substitutions from "../../substitutions";
 
-export default domAssigned(class SatisfiesAssertion {
+export default define(class SatisfiesAssertion {
   constructor(string, node, tokens, signature, reference) {
     this.string = string;
     this.node = node;
@@ -169,7 +169,7 @@ export default domAssigned(class SatisfiesAssertion {
 });
 
 function signatureFromSatisfiesAssertionNode(satisfiesAssertionNode, context) {
-  const { Signature } = dom,
+  const { Signature } = ontology,
         signatureNode = satisfiesAssertionNode.getSignatureNode(),
         signature = Signature.fromSignatureNode(signatureNode, context);
 
@@ -177,7 +177,7 @@ function signatureFromSatisfiesAssertionNode(satisfiesAssertionNode, context) {
 }
 
 function satisfiesAssertionFromSatisfiesAssertionNode(satisfiesAssertionNode, context) {
-  const { Reference, SatisfiesAssertion } = dom,
+  const { Reference, SatisfiesAssertion } = ontology,
         node = satisfiesAssertionNode,  ///
         string = context.nodeAsString(node),
         tokens = context.nodeAsTokens(node),

package/src/{dom → ontology}/assertion/subproof.js

@@ -2,14 +2,14 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { unifyStatement } from "../../utilities/unification";
 
 const { match } = arrayUtilities;
 
-export default domAssigned(class SubproofAssertion {
+export default define(class SubproofAssertion {
   constructor(string, node, statements) {
     this.string = string;
     this.node = node;
@@ -110,7 +110,7 @@ export default domAssigned(class SubproofAssertion {
 });
 
 function statementsFromSubproofAssertionNode(subproofAssertionNode, context) {
-  const { Statement } = dom,
+  const { Statement } = ontology,
         statementNodes = subproofAssertionNode.getStatementNodes(),
         statements = statementNodes.map((statementNode) => {
           const statement = Statement.fromStatementNode(statementNode, context);

package/src/{dom → ontology}/assertion/type.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import VariableAssignment from "../../assignment/variable";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class TypeAssertion {
+export default define(class TypeAssertion {
   constructor(string, term, type) {
     this.string = string;
     this.term = term;
@@ -153,7 +153,7 @@ export default domAssigned(class TypeAssertion {
       return;
     }
 
-    const { Type, Variable } = dom,
+    const { Type, Variable } = ontology,
           termNode = this.term.getNode();
 
     let type,
@@ -189,7 +189,7 @@ export default domAssigned(class TypeAssertion {
     const typeAssertionNode = statementNode.getTypeAssertionNode();
 
     if (typeAssertionNode !== null) {
-      const { Term, Type } = dom,
+      const { Term, Type } = ontology,
             node = typeAssertionNode, ///
             string = context.nodeAsString(node),
             term = Term.fromTypeAssertionNode(typeAssertionNode, context),

package/src/{dom → ontology}/axiom.js

@@ -2,9 +2,9 @@
 
 import TopLevelAssertion  from "./topLevelAssertion";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 
-export default domAssigned(class Axiom extends TopLevelAssertion {
+export default define(class Axiom extends TopLevelAssertion {
   isSatisfiable() {
     const signature = this.getSignature(),
           satisfiable = (signature !== null);

package/src/{dom → ontology}/combinator/bracketed.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import Combinator from "../combinator";
 import combinatorBracketedContext from "../../context/bracketed/combinator";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class BracketedCombinator extends Combinator {
+export default define(class BracketedCombinator extends Combinator {
   unifyStatement(statement, assignments, stated, context) {
     let statementUnifies;
 
@@ -24,7 +24,7 @@ export default domAssigned(class BracketedCombinator extends Combinator {
   }
 
   static fromNothing() {
-    const { Statement } = dom,
+    const { Statement } = ontology,
           bracketedStatementNode = combinatorBracketedContext.getBracketedStatementNode(),
           statementNode = bracketedStatementNode, ///
           context = combinatorBracketedContext, ///

package/src/{dom → ontology}/combinator.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { unifyStatementWithCombinator } from "../utilities/unification";
 import { statementFromJSON, statementToStatementJSON } from "../utilities/json";
 
-export default domAssigned(class Combinator {
+export default define(class Combinator {
   constructor(statement) {
     this.statement = statement;
   }
@@ -61,7 +61,7 @@ export default domAssigned(class Combinator {
   }
 
   static fromCombinatorDeclarationNode(combinatorDeclarationNode, context) {
-    const { Statement } = dom,
+    const { Statement } = ontology,
           statement = Statement.fromCombinatorDeclarationNode(combinatorDeclarationNode, context),
           combinator = new Combinator(statement);
 

package/src/{dom → ontology}/conclusion.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { statementFromJSON, statementToStatementJSON } from "../utilities/json";
 
-export  default domAssigned(class Conclusion {
+export  default define(class Conclusion {
   constructor(node, string, statement) {
     this.node = node;
     this.string = string;
@@ -89,7 +89,7 @@ export  default domAssigned(class Conclusion {
   }
 
   static fromConclusionNode(conclusionNode, context) {
-    const { Statement } = dom,
+    const { Statement } = ontology,
           node = conclusionNode,  ///
           string = context.nodeAsString(node),
           statement = Statement.fromConclusionNode(conclusionNode, context),

package/src/{dom → ontology}/conjecture.js

@@ -2,9 +2,9 @@
 
 import TopLevelAssertion from "./topLevelAssertion";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 
-export default domAssigned(class Conjecture extends TopLevelAssertion {
+export default define(class Conjecture extends TopLevelAssertion {
   verify() {
     let verifies;
 

package/src/{dom → ontology}/constructor/bracketed.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 import Constructor from "../constructor";
 import constructorBracketedContext from "../../context/bracketed/constructor";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class BracketedConstructor extends Constructor {
+export default define(class BracketedConstructor extends Constructor {
   unifyTerm(term, context, verifyAhead) {
     let termUnifies;
 
@@ -17,7 +17,7 @@ export default domAssigned(class BracketedConstructor extends Constructor {
     termUnifies = super.unifyTerm(term, context, () => {
       let verifiesAhead = false;
 
-      const { Term } = dom,
+      const { Term } = ontology,
             bracketedTerm = term, ///
             bracketedTermNode = bracketedTerm.getNode(),
             singularTermNode = bracketedTermNode.getSingularTermNode();
@@ -53,7 +53,7 @@ export default domAssigned(class BracketedConstructor extends Constructor {
   }
 
   static fromNothing() {
-    const { Term } = dom,
+    const { Term } = ontology,
           bracketedTermNode = constructorBracketedContext.getBracketedTermNode(),
           termNode = bracketedTermNode,  ///
           context = constructorBracketedContext, ///

package/src/{dom → ontology}/constructor.js

@@ -1,13 +1,13 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { baseType } from "../dom/type";
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
+import { baseType } from ".//type";
 import { unifyTermWithConstructor } from "../utilities/unification";
 import { termFromJSON, termToTermJSON } from "../utilities/json";
 
-export default domAssigned(class Constructor {
+export default define(class Constructor {
   constructor(string, term) {
     this.string = string;
     this.term = term;
@@ -76,7 +76,7 @@ export default domAssigned(class Constructor {
   }
 
   static fromConstructorDeclarationNode(constructorDeclarationNode, context) {
-    const { Term } = dom,
+    const { Term } = ontology,
           term = Term.fromConstructorDeclarationNode(constructorDeclarationNode, context),
           string = stringFromTerm(term),
           constructor = new Constructor(string, term);

package/src/{dom → ontology}/declaration/combinator.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
 import combinatorVerifier from "../../verifier/combinator";
 
-export default domAssigned(class CombinatorDeclaration {
+export default define(class CombinatorDeclaration {
   constructor(context, node, string, combinator) {
     this.context = context;
     this.node = node;
@@ -74,7 +74,7 @@ export default domAssigned(class CombinatorDeclaration {
   static name = "CombinatorDeclaration";
 
   static fromCombinatorDeclarationNode(combinatorDeclarationNode, context) {
-    const { Combinator } = dom,
+    const { Combinator } = ontology,
           node = combinatorDeclarationNode, ///
           string = context.nodeAsString(node),
           combinator = Combinator.fromCombinatorDeclarationNode(combinatorDeclarationNode, context),

package/src/{dom → ontology}/declaration/complexType.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { stringFromTypeNameTypePrefixNameAndSuperTypes } from "../../utilities/type";
 
-export default domAssigned(class ComplexTypeDeclaration {
+export default define(class ComplexTypeDeclaration {
   constructor(context, node, string, type, prefixed) {
     this.context = context;
     this.node = node;
@@ -311,7 +311,7 @@ export default domAssigned(class ComplexTypeDeclaration {
   static name = "ComplexTypeDeclaration";
 
   static fromComplexTypeDeclarationNode(complexTypeDeclarationNode, context) {
-    const { Type } = dom,
+    const { Type } = ontology,
           type = Type.fromComplexTypeDeclarationNode(complexTypeDeclarationNode, context),
           node = complexTypeDeclarationNode,  ///
           prefixed = complexTypeDeclarationNode.isPrefixed(),

package/src/{dom → ontology}/declaration/constructor.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
 import constructorVerifier from "../../verifier/constructor";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class ConstructorDeclaration {
+export default define(class ConstructorDeclaration {
   constructor(context, node, string, constructor) {
     this.context = context;
     this.node = node;
@@ -120,7 +120,7 @@ export default domAssigned(class ConstructorDeclaration {
   static name = "ConstructorDeclaration";
 
   static fromConstructorDeclarationNode(constructorDeclarationNode, context) {
-    const { Constructor } = dom,
+    const { Constructor } = ontology,
           node = constructorDeclarationNode,  ///
           string = context.nodeAsString(node),
           constructor = Constructor.fromConstructorDeclarationNode(constructorDeclarationNode, context),

package/src/{dom → ontology}/declaration/metavariable.js

@@ -1,10 +1,10 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class MetavariableDeclaration {
+export default define(class MetavariableDeclaration {
   constructor(context, node, string, metavariable) {
     this.context = context;
     this.node = node;
@@ -113,7 +113,7 @@ export default domAssigned(class MetavariableDeclaration {
   static name = "MetavariableDeclaration";
 
   static fromMetavariableDeclarationNode(metavariableDeclarationNode, context) {
-    const { Metavariable } = dom,
+    const { Metavariable } = ontology,
           node = metavariableDeclarationNode, ///
           metaType = metaTypeFromMetavariableDeclarationNode(metavariableDeclarationNode, context),
           metavariable = Metavariable.fromMetavariableDeclarationNode(metavariableDeclarationNode, context),
@@ -141,7 +141,7 @@ function stringFromMetavariableAndMetaType(metavariable, metaType) {
 }
 
 function metaTypeFromMetavariableDeclarationNode(metavariableDeclarationNode, context) {
-  const { MetaType } = dom,
+  const { MetaType } = ontology,
         metaTypeNode = metavariableDeclarationNode.getMetaTypeNode(),
         metaType = MetaType.fromMetaTypeNode(metaTypeNode, context);
 

package/src/{dom → ontology}/declaration/simpleType.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 import { stringFromTypeNameTypePrefixNameAndSuperTypes } from "../../utilities/type";
 
-export default domAssigned(class SimpleTypeDeclaration {
+export default define(class SimpleTypeDeclaration {
   constructor(context, node, string, type, prefixed) {
     this.context = context;
     this.node = node;
@@ -178,7 +178,7 @@ export default domAssigned(class SimpleTypeDeclaration {
   static name = "SimpleTypeDeclaration";
 
   static fromSimpleTypeDeclarationNode(simpleTypeDeclarationNode, context) {
-    const { Type } = dom,
+    const { Type } = ontology,
           type = Type.fromSimpleTypeDeclarationNode(simpleTypeDeclarationNode, context),
           node = simpleTypeDeclarationNode, ///
           prefixed = simpleTypeDeclarationNode.isPrefixed(),

package/src/{dom → ontology}/declaration/typePrefix.js

@@ -1,10 +1,10 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class TypePrefixDeclaration {
+export default define(class TypePrefixDeclaration {
   constructor(context, node, string, typePrefix) {
     this.context = context;
     this.node = node;
@@ -99,7 +99,7 @@ export default domAssigned(class TypePrefixDeclaration {
   static name = "TypePrefixDeclaration";
 
   static fromTypePrefixDeclarationNode(typePrefixDeclarationNode, context) {
-    const { TypePrefix } = dom,
+    const { TypePrefix } = ontology,
           node = typePrefixDeclarationNode, ///
           typePrefix = TypePrefix.fromTypePrefixDeclarationNode(typePrefixDeclarationNode, context),
           typePrefixName = typePrefix.getName(),

package/src/{dom → ontology}/declaration/variable.js

@@ -1,10 +1,10 @@
 "use strict";
 
-import dom from "../../dom";
+import ontology from "../../ontology";
 
-import { domAssigned } from "../../dom";
+import { define } from "../../ontology";
 
-export default domAssigned(class VariableDeclaration {
+export default define(class VariableDeclaration {
   constructor(context, node, string, variable) {
     this.context = context;
     this.node = node;
@@ -122,7 +122,7 @@ export default domAssigned(class VariableDeclaration {
   static name = "VariableDeclaration";
 
   static fromVariableDeclarationNode(variableDeclarationNode, context) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           node = variableDeclarationNode, ///
           string = context.nodeAsString(node),
           variable = Variable.fromVariableDeclarationNode(variableDeclarationNode, context),

package/src/{dom → ontology}/declaration.js

@@ -1,12 +1,12 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import Substitutions from "../substitutions";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { unifyStatementIntrinsically } from "../utilities/unification";
 
-export default domAssigned(class Declaration {
+export default define(class Declaration {
   constructor(string, node, statement, metavariable) {
     this.string = string;
     this.node = node;
@@ -333,7 +333,7 @@ export default domAssigned(class Declaration {
 });
 
 function referenceFromMetavariable(metavariable, context) {
-  const { Reference } = dom,
+  const { Reference } = ontology,
         metavariableNode = metavariable.getNode(),
         reference = Reference.fromMetavariableNode(metavariableNode, context);
 
@@ -341,7 +341,7 @@ function referenceFromMetavariable(metavariable, context) {
 }
 
 function declarationFromDeclarationNode(declarationNode, context) {
-  const { Metavariable, Declaration, Statement } = dom,
+  const { Metavariable, Declaration, Statement } = ontology,
         node = declarationNode,  ///
         string = context.nodeAsString(node),
         metavariable = Metavariable.fromDeclarationNode(declarationNode, context),

package/src/{dom → ontology}/deduction.js

@@ -1,11 +1,11 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { domAssigned } from "../dom";
+import { define } from "../ontology";
 import { statementFromJSON, statementToStatementJSON } from "../utilities/json";
 
-export default domAssigned(class Deduction {
+export default define(class Deduction {
   constructor(node, string, statement) {
     this.node = node;
     this.string = string;
@@ -110,7 +110,7 @@ export default domAssigned(class Deduction {
   }
 
   static fromDeductionNode(deductionNode, context) {
-    const { Statement } = dom,
+    const { Statement } = ontology,
           node = deductionNode,  ///
           string = context.nodeAsString(node),
           statement = Statement.fromDeductionNode(deductionNode, context),