Assertion: expression's value | /r/HasProperty | a procedure of one argument
Facets:
Source sentences:
text: Its value must be a procedure of one argument; this procedure is then invoked on the value of the <