«ولم يقل: إما حقيقة وإما مجازا»
The source does not state that every ascription must fall into one or the other class.
It gives «الحيوان جسم» (“An animal is a body”) and «الإنسان حيوان» (“A human is an animal”) as examples outside this specific action-based classification. They are propositions, but they are not predications of an action or action-meaning in the intended technical sense.
The distinction is between predication in the broad logical/grammatical sense and the narrower domain of rational literalness or figurativeness. Do not force every proposition into the second dichotomy.