| n001 |
The "Diagnostic Text" in the upper-left
corner of these Sheets can appear on Sheets of Assertion, Cuts, and
ConjunctiveEGs; whether it does or not is controlled by the View
> Diagnostic Labels Menu; it shows the Path (in the
Graph-tree) to the Graph involved, the Location of the
(upper-left corner of) the Graph, and its size (all measurements in
pixels). |
| n002 |
Insertion of any Graph on an Oddly
Enclosed (by Cuts) or Verso area is one of the rules of
transformation which is reflected in the work conducted on the arena
of Figure 1. |
|
n003 |
| This
Inventory corresponds to the initial state of the Graph
Construction in which we are demonstrating BreakLI. |
 |
|
|
n004 |
| This
Inventory corresponds to the final state of the Graph
Construction in which we are demonstrating BreakLI. |
 |
|
| |
|
| |
|
| |
|
| |
|