Assertion: distribution's probability | /r/HasProperty | divided by the total of all weights
Facets:
Source sentences:
text: The probability of each of thepossible numbers to be produced being their corresponding weight divided by the total of all weights.