Assertion list for term "allowed under sub".

Results from Ascent++: 1
deduction ReceivesActionallowed under sub 0.17