The first part of a three-part logical argument that contains the general principle or rule used to reach a conclusion.

The second part of a syllogism that contains the subject of the final conclusion.

precondition; a requirement that must be met before something else can happen