In top-down inductive learning methods how many literals are available? What are they?

Relationship between universal quantification and existential quantification.

In LISP, which of the following function assigns the value 10 to the symbol a?