Assertion: function's result | /r/HasProperty | special
Facets:
Source sentences:
text: In theory, a function can be specified with a specified unit type as the type of the function call result to indicate that result is special.