Assertion: expression's type | /r/HasProperty | the one
Facets:
value: with fewer storage units
type: OTHER
value: with less precision
type: MANNER
Source sentences:
text: If operands have different types, then the weaker of two types is promoted to the stronger type, where the weaker type is the one with less precision or fewer storage units.