Assertion: expression | /r/HasAspect | no best common type
Facets:
Source sentences:
text: If no such S exists, the expressions have no best common type.