Assertion list
fixed wing aircraft (subgroup of aircraft ) → HasProperty
Results from Ascent++: 1
fixed wing aircraft → HasProperty → distinct 0.25