Assertion list
series circuit (subgroup of circuit ) → IsA
Results from Ascent++: 1
series circuit → IsA → circuit 0.54