Assertion: expression's variable | /r/HasProperty | type int
Facets:
Source sentences:
text: (All variables are of type int.)