Assertion: function | /r/HasProperty | specified result
Facets:
value: in theory
type: OTHER
value: to indicate
type: PURPOSE
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.