Assertion: league's number | /r/AtLocation | the inning
Facets:
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.