Assertion list
power output (subgroup of output ) → IsA

Results from Ascent++: 1
power outputIsA output 0.25