Assertion list for term "closed to some extend".

Results from Ascent++: 1
circuit ReceivesActionclosed to some extend 0.25