Assertion list for term "allowed with respect".

Results from Ascent++: 1
deduction ReceivesActionallowed with respect 0.25