Fix: subsumption relationship order