Subsumption of Alternatives

• • Cinemachine(M,R) Ü review-of(M,R).

Inference problem:

Does one alternative subsume another?

Given local completeness declaration:

Previous slide

Next slide

Back to first slide

View graphic version