Assertion list
jet aircraft (subgroup of aircraft ) → IsA
Results from Ascent++: 1
jet aircraft → IsA → the way of the future 0.25