Implemented remaining subsumption methods.

Print output.