Assertion list for term "subjected to opening of a switch".

Results from Ascent++: 1
circuit ReceivesActionsubjected to opening of a switch 0.25