| T78-1031 | -RSB- . Figure 2 shows such a | network deduction | rule representing V =\ -LSB- |
| J79-1072 | as is allowed by the semantic | network deduction | rules of -LSB- 18 -RSB- ) . Next |
| T78-1031 | in R1 . FIGURE 3 : A semantic | network deduction | rule for Vr ~ - ~ TRANSITIVE |
| T78-1031 | > - ~ 3 FIGURE 2 : A semantic | network deduction | rule for Vz \ -LSB- xEMAH / ~ |
