Where does negation occur in “al-lā-ḥayy lā ʿālim”?

Predication, Types of Categorical Proposition and Negated Terms