Assertion list
airfoil (primary) → HasProperty
Results from Ascent++: 2
airfoil → HasProperty → thin 0.41
airfoil → HasProperty → symmetrical 0.38