Assertion list
flight (aspect of falcon ) → HasProperty
Results from Ascent++: 1
flight → HasProperty → fast 0.25