Assertion list
nuclear reactor (primary) → IsA
Results from Ascent++: 1
nuclear reactor → IsA → device 0.78