Assertion list
warhead (primary) → HasProperty
Results from Ascent++: 4
warhead → HasProperty → real 0.36
warhead → HasProperty → nuclear 0.25
warhead → HasProperty → powerful 0.25
warhead → HasProperty → small 0.25