Assertion list for term "applied to other input of the".

Results from Ascent++: 1
inversion ReceivesActionapplied to other input of the 0.30