Tree subsumption: reasoning with outlines