Assertion list
simple leaf (subgroup of leaf ) → HasA
Results from Ascent++: 1
simple leaf → HasA → single blade 0.68