Converted r->subsumer_list to List.