Move Subsumes out from Domain interface