Assertion list for term "described in the text representation".

Results from Ascent++: 1
circuit ReceivesActiondescribed in the text representation 0.25