Assertion: variable's number | /r/HasProperty | entered by the user
Facets:
Source sentences:
text: Here's an example program which takes in a number entered by the user and doubles it: