Assertion: function's statement | /r/HasProperty | explicated
Facets:
Source sentences:
text: The initial informal statement can now be explicated: