Assertion list
series circuit (subgroup of circuit ) → ReceivesAction

Results from Ascent++: 2
series circuitReceivesAction connected in parallel 0.68
series circuitReceivesAction connected in series 0.52