Assertion list for term "closed for short a time interval".

Results from Ascent++: 1
circuit ReceivesActionclosed for short a time interval 0.16