Assertion list for term "output up to 5.0 a/phase".

Results from Ascent++: 1
drive CapableOfoutput up to 5.0 a/phase 0.42