Assertion list
voltmeter (primary) → HasA
Results from Ascent++: 1
voltmeter → HasA → high resistance 0.58