Assertion: parameter | /r/HasProperty | certain kind of type
Facets:
Source sentences:
text: Delphi has no middle-ground, though, for expressing that a parameter should be a certain kind of type.