implemented getsubsumed()