In “If Zayd is human, he is an animal,” what is the antecedent?

Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

• Zayd is an animal
• Human is a species of animal
• Zayd is human
• Zayd exists