ECONJ is a top-level command.
Rule to infer two conjuncts from a conjunction.
The command format for ECONJ is:

 <n>ECONJ   D1   D3   D2    B      A     D1-HYPS    D3-HYPS    D2-HYPS 

The arguments have the following meaning:
D1 : Line with Conjunction
D3 : Line with Right Conjunct
D2 : Line with Left Conjunct
B : Right Conjunct
A : Left Conjunct
D1-HYPS : Hypotheses
D3-HYPS : Hypotheses
D2-HYPS : Hypotheses

ETPS documentation homepage


ECONJ is an inference rule.
Its priority is 1

ETPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage