Ascent++
Search
Assertion list
power output
(
subgroup
of
output
)
→ ReceivesAction
Results from
Ascent++
:
4
power output
→
ReceivesAction
→
changed
0.25
power output
→
ReceivesAction
→
connected to the rectifier
0.25
power output
→
ReceivesAction
→
derived in exemplary embodiment
0.25
power output
→
ReceivesAction
→
reduced
0.25