Subsumption_relation loading ...