Assertion: lottery | /r/HasProperty | ohio-bought tickets
Facets:
Source sentences:
text: On May 15, 2002, the multi-jurisdictional game, which temporarily became The Big Game Mega Millions, was added to the Ohio Lottery; Mega Millions' first drawing which included Ohio-bought tickets was two days later.