Subsumption Proof

• Step:
• Ebert(M,R)
• Þ Ebert(M,R) & movie-review(M,R)
• …
• Þ movie-review(M,R)
• Þ Cinemachine(M,R)

Reason:

Expand source desc.

Chain of

containments

Loc. complete.

Previous slide

Next slide

Back to first slide

View graphic version