Index_intf.SUBSUMPTION_IDX