Assertion list for term "given in figure".

Results from Ascent++: 3
example ReceivesActiongiven in figure 0.48
circuit ReceivesActiongiven in figure 0.34
name ReceivesActiongiven in figure 0.32