Assertion: expression's type | /r/HasProperty | explicit else branch
Facets:
Source sentences:
text: If there is no explicit else branch, its type is unit .