Assertion list for term "one leaf".
Results from Ascent++: 1
branch (aspect of tree) → HasA → one leaf 0.27