Where an expression sits in its argument, as far as moving a response to a newer version of that argument is concerned.
freeformRoot
conclusionRoot
nested
inDerivation
Where an expression sits in its argument, as far as moving a response to a newer version of that argument is concerned.
freeformRoot: the root of a premise that is neither the conclusion nor a derivation premise.conclusionRoot: the root of the conclusion premise.nested: below the root of a premise that is not a derivation premise.inDerivation: anywhere in a derivation premise.