Assertion list
unmanned aircraft (subgroup of aircraft ) → HasProperty

Results from Ascent++: 1
unmanned aircraftHasProperty more vulnerable 0.16