Assertion list
nuclear reactor (primary) → HasA
Results from Ascent++: 1
nuclear reactor → HasA → nuclear fuel 0.25