Assertion: overload | /r/HasProperty | possible
Facets:
Source sentences:
text: First, the trivial case where only one overload is possible at all.