Assertion: lisp's symbol | /r/HasProperty | one of the following
Facets:
Source sentences:
text: then it presumes that the symbol named f is one of the following: