Assertion list
wing (aspect of glider ) → HasA
Results from Ascent++: 1
wing → HasA → different shape 0.45