Assertion list for term "played in case of a tie".

Results from Ascent++: 1
tune ReceivesActionplayed in case of a tie 0.28