Assertion: set's number | /r/HasProperty | int
Facets:
Source sentences:
text: is the Euclidean space real numbers, then int() = (0, 1).