ues assigned to $v1 in the context of A2 and A3 remain consistent with each other. Note that, according to the operation of the Atomspace, the same VariableAtom will be used to represent $vl no matter where it occurs. For instance, it will be problematic if one inference rule schema tries to instantiate $vl