(J0-4E31): Use `->subsumptive' to add representative nodes.