Assertion list
output (aspect of alternator ) → HasProperty
Results from Ascent++: 3
output → HasProperty → low 0.25
output → HasProperty → open 0.25
output → HasProperty → high 0.16