(C3-2222): Use `->subsumptive' to add representative