Assertion list for term "shown at the left".

Results from Ascent++: 1
circuit ReceivesActionshown at the left 0.25