Assertion list for term "bounded by circuit".

Results from Ascent++: 1
polygon ReceivesActionbounded by circuit 0.29