Assertion list for term "switch controller".

Results from Ascent++: 1
circuit CapableOfswitch controller 0.27