Assertion: function | /r/HasProperty | one of these function cases
Facets:
Source sentences:
text: Now that each case is defined above, you can now prove whether functions are one of these function cases.