Assertion list
body (aspect of bee ) → HasA
Results from Ascent++: 1
body → HasA → three sections 0.25