Assertion list for term "comprise first switch".

Results from Ascent++: 1
circuit CapableOfcomprise first switch 0.25