Assertion: league's game | /r/CapableOf | end after the run
Facets:
value: immediately
type: MANNER
Source sentences:
text: When the home team takes a lead of 10 runs, the game ends immediately after the run that establishes the double-digit lead is scored, regardless of how many other runs may have scored on the play; or the number of outs there are in the inning.