A substitution theta: variable name to the single term it is fixed to.
The substitutable form every substituteIn... helper takes, which is why the weak, bound and unbound
forms of an utils/assertionConjunction!AssertionConjunction are kept out of it. The term may be
a variable: that is what a unification substitutes, replacing every member of a clique by its
representative.
A substitution theta: variable name to the single term it is fixed to.
The substitutable form every
substituteIn...helper takes, which is why the weak, bound and unbound forms of an utils/assertionConjunction!AssertionConjunction are kept out of it. The term may be a variable: that is what a unification substitutes, replacing every member of a clique by its representative.