CASES4 is an intermediate rule definition.
*(D1) H !A(O) OR B(O) OR C(O) OR D(O)
(H2) H,H2 !A(O) Case 1: D1
(P3) H,H2 !E(O)
(H4) H,H4 !B(O) Case 2: D1
(P5) H,H4 !E(O)
(H6) H,H6 !C(O) Case 3: D1
(P7) H,H6 !E(O)
(H8) H,H8 !D(O) Case 4: D1
(P9) H,H8 !E(O)
*(P10) H !E(O) Cases: D1 P3 P5 P7 P9
Transformation: (P10 D1 ss) ==> (P3 H2 ss) (P5 H4 ss) (P7 H6 ss) (P9 H8 ss)

TPS documentation homepage


CASES4 is a top-level command.
Rule of Cases.
The command format for CASES4 is:

 <n>CASES4   P10   D1   P9   H8    P7     H6     P5     H4     P3     H2      D      C      B      A      E    P10-HYPS    D1-HYPS    P9-HYPS    H8-HYPS    P7-HYPS    H6-HYPS    P5-HYPS    H4-HYPS    P3-HYPS    H2-HYPS 

The arguments have the following meaning:
P10 : Conclusion for All Four Cases
D1 : Line with Disjunction
P9 : Conclusion in Case 4
H8 : Line with Assumption for Case 4
P7 : Conclusion in Case 3
H6 : Line with Assumption for Case 3
P5 : Conclusion in Case 2
H4 : Line with Assumption for Case 2
P3 : Conclusion in Case 1
H2 : Line with Assumption for Case 1
D : Disjunct Four
C : Disjunct Three
B : Disjunct Two
A : Disjunct One
E : Conclusion
P10-HYPS : Hypotheses
D1-HYPS : Hypotheses
P9-HYPS : Hypotheses
H8-HYPS : Hypotheses
P7-HYPS : Hypotheses
H6-HYPS : Hypotheses
P5-HYPS : Hypotheses
H4-HYPS : Hypotheses
P3-HYPS : Hypotheses
H2-HYPS : Hypotheses

TPS documentation homepage


CASES4 is an inference rule.
Its priority is NIL

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage