Assertion list
nuclear plant (subgroup of plant ) → IsA
Results from Ascent++: 1
nuclear plant → IsA → under construction 0.44