Assertion: function's value | /r/HasProperty | the datatype
Facets:
Source sentences:
text: The execution and exception section both should return a value which is of the datatype defined in the header section.