Assertion list for term "upgraded to class a1".

Results from Ascent++: 1
circuit ReceivesActionupgraded to class a1 0.25