Assertion list
nuclear plant (subgroup of plant ) → HasProperty
Results from Ascent++: 3
nuclear plant → HasProperty → safe 0.62
nuclear plant → HasProperty → vulnerable 0.32
nuclear plant → HasProperty → complex 0.16