Assertion: lottery's number | /r/HasProperty | drawn by rng
Facets:
Source sentences:
text: One number from 1 through 15 is drawn by an RNG.