Assertion: search engine's user | /r/HasProperty | given the option
Facets:
Source sentences:
text: The user is given the option of downloading the resulting files.