Assertion list
binary tree (subgroup of tree ) → CapableOf
Results from Ascent++: 2
binary tree → CapableOf → consist of the comparison nodes 0.50
binary tree → CapableOf → consist of root 0.35