Assertion list
fighter aircraft (subgroup of aircraft ) → HasProperty
Results from Ascent++: 2
fighter aircraft → HasProperty → fast 0.25
fighter aircraft → HasProperty → small 0.25