Assertion: algebra's operation | /r/HasProperty | a test function testing
Facets:
Source sentences:
text: The operations are a test function testing whether a list is empty, and a deconstruction function defined on non-empty lists returning a pair consisting of the head and the tail of the input list.