Assertion list
aircraft carrier (primary) → HasProperty
Results from Ascent++: 4
aircraft carrier → HasProperty → larger 0.55
aircraft carrier → HasProperty → nuclear-powered 0.47
aircraft carrier → HasProperty → vulnerable 0.31
aircraft carrier → HasProperty → obsolete 0.16