Assertion list
power system (primary) → HasA
Results from Ascent++: 1
power system → HasA → more than one input source 0.39