Assertion: expression's value | /r/HasAspect | type
Facets:
Source sentences:
text: All values have a type, which dictates where that value can be used and what transformations can be applied to it.
text: If both operands have the same type, then the resulting value has that type.