Assertion list
ufo (primary) → HasA
Results from Ascent++: 4
ufo → HasA → basis 0.31
ufo → HasA → wing 0.31
ufo → HasA → manuverability 0.25
ufo → HasA → shadow 0.25