Assertion: function's output | /r/HasProperty | value
Facets:
value: in this case
type: OTHER
Source sentences:
text: In this case, the output of the program would have been the values of,