Assertion list
long flight (subgroup of flight ) → HasProperty
Results from Ascent++: 1
long flight → HasProperty → hard 0.16