Fig. 1
From: An efficient algorithm for testing the compatibility of phylogenies with nested taxa
(Adapted from [16])
A profile \(\mathcal {P}= \{\mathcal {T}_1, \mathcal {T}_2, \mathcal {T}_3\}\)—trees are ordered left-to-right. The letters are the original labels; grey numbers are labels added to make the trees fully labeled