Assertion list
binary tree (subgroup of tree ) → IsA
Results from Ascent++: 2
binary tree → IsA → tree 0.68
binary tree → IsA → rooted tree 0.25