Assertion: function's input | /r/HasProperty | chosen
Facets:
Source sentences:
text: The guarantee of a PRG is that a single output appears random if the input was chosen at random.