Assertion list
energizer (primary) → HasA
Results from Ascent++: 2
energizer → HasA → a gate monitor input 0.25
energizer → HasA → two outputs 0.25