Instead, it can at best only select group A or group B as the value for the parent, and leave the other group fragmented as two innovations, as in Figure 3c.
hK10 can recover this relationship (Figure 3d), but this power is precisely what makes it intractable.