Predication: distinct concepts united in reference or existence.
Direct: the predicate applies immediately to the subject.
Derivative: a mediator expresses a relation.
External, mental, real: three perspectives on the subject and its judgment.
Metathetic: negation is built into the subject term, predicate term, or both.
Non-metathetic: called muḥaṣṣalah when affirmative and basīṭah when negative.
For any new proposition ask: What is predicated? How are the terms related? In what domain is the judgment considered? Is negation part of a term or the predicative link? These questions prevent category errors.