Where an expression sits in its argument: the root of a freeform premise, the root of the conclusion premise, below a premise root, or anywhere in a derivation premise.
When the snapshot has no such expression.
Where an expression sits in its argument: the root of a freeform premise, the root of the conclusion premise, below a premise root, or anywhere in a derivation premise.