Definition of "subsumes"