Assertion: y | /r/HasProperty | integer
Facets:
Source sentences:
text: To find another point, choose an integer value for x in such a way that y also will be an integer.