The scope of a proof line is the set of other lines in the proof that the line can "see" i.e. the other lines in the proof that can be used in rules on the current line.
The scope of a line is any line above the current line in the proof that is not enclosed in a box closed before the current line.
|