Assertion list
binary tree (subgroup of tree ) → HasProperty
Results from Ascent++: 3
binary tree → HasProperty → complete 0.43
binary tree → HasProperty → full 0.35
binary tree → HasProperty → empty 0.25