Assertion list
destroyer (primary) → HasProperty
Results from Ascent++: 4
destroyer → HasProperty → fast 0.42
destroyer → HasProperty → powerful 0.37
destroyer → HasProperty → noisy 0.16
destroyer → HasProperty → vulnerable 0.16