Assertion list for term "set in section".

Results from Ascent++: 2
claim ReceivesActionset in section 0.58
protection ReceivesActionset in section 0.30