Which distinction between mental and real propositions is correct?

Predication, Types of Categorical Proposition and Negated Terms