Assertion list for term "formed by r1".

Results from Ascent++: 1
circuit ReceivesActionformed by r1 0.20