Assignment 4 Subsumption