Assertion: expression's variable | /r/HasAspect | associated type
Facets:
Source sentences:
text: Every variable has an associated type, namely the declared type of the variable.