Assertion list
direct current (primary) → IsA

Results from Ascent++: 1
direct currentIsA electric current 0.25