Assertion list
wing (aspect of dove ) → HasA
Results from Ascent++: 1
wing → HasA → low wing loadings 0.16