Assertion list
jet engine (subgroup of engine ) → HasProperty
Results from Ascent++: 1
jet engine → HasProperty → amazing 0.16