Assertion: lisp's symbol | /r/HasAspect | valid functional definition
Facets:
value: in its function cell
type: LOCATION
Source sentences:
text: The above procedure implies that any symbol in the CAR of an UNQUOTED S-expression must have a valid functional definition in its function cell.