Assertion list
airfoil (primary) → HasA
Results from Ascent++: 4
airfoil → HasA → an angle of attack 0.41
airfoil → HasA → chord reference plane 0.35
airfoil → HasA → current fairings 0.25
airfoil → HasA → rigid mid 0.25