Assertion list for term "solenoid".
Results from Ascent++: 2
arm → HasA → solenoid 0.32
circuit breaker → HasA → solenoid 0.25