Assertion list for term "chosen by seniority".

Results from Ascent++: 1
master ReceivesActionchosen by seniority 0.14