Assertion: lisp's function | /r/HasProperty | applied to list
Facets:
Source sentences:
text: function is first applied to the lists themselves, and then to the cdr of each list, and then to the cdr of the cdr of each list, and so on.