If 2 lines are involed: enter the numbers
in the Line 1 and Line 2 slots. Click the 'Submit'
button. Select a rule.
If only 1 line is involved: enter the number of the line
in the Line 1 slot. Leave the Line 2 slot empty. Click 'Submit'
Select a rule.
For Addition: enter the number of the line to be added to
in the Line 1 slot. Click 'Submit'. Close the dialog box.
Enter term to be added in the Premise 2 slot of the Inference
Area. Bring back the dialog box and select a rule.
To see a line's equivalencies: enter line number in the
slot above. Click the 'GetLine' button below.
The result will appear in the panel on the right.