Assertion list
direct current (primary) → HasA
Results from Ascent++: 1
direct current → HasA → proper voltage 0.31