Assertion list for term "induced by ra".

Results from Ascent++: 1
expression ReceivesActioninduced by ra 0.32