Assertion list for term "correspond to given tree".

Results from Ascent++: 1
value (aspect of tree) CapableOfcorrespond to given tree 0.31