Assertion list
output (aspect of alternator ) → ReceivesAction
Results from Ascent++: 4
output → ReceivesAction → connected through inverter 0.68
output → ReceivesAction → controlled 0.68
output → ReceivesAction → converted into drive power 0.25
output → ReceivesAction → fed through the output sensors 0.25