Either a value the conjunction can name - a ground term, or an Access reading one - or the shape
of one, which is what a triple term construction over variables is. The three are told apart by their
shape: a construction has neither the positions of an access nor the termType of a term.
What a BIND hands an utils/assertionConjunction!AssertionConjunction in place of its target: the thing below the EXTEND that carries the value the target holds above it.
Either a value the conjunction can name - a ground term, or an Access reading one - or the shape of one, which is what a triple term construction over variables is. The three are told apart by their shape: a construction has neither the
positionsof an access nor thetermTypeof a term.