Assertion list
series circuit (subgroup of circuit ) → IsA

Results from Ascent++: 1
series circuitIsA circuit 0.54