Assertion list for term "consist of the two solenoids".

Results from Ascent++: 1
circuit CapableOfconsist of the two solenoids 0.30