Assertion list for term "needed for game".

Results from Ascent++: 1
prop ReceivesActionneeded for game 0.27