In “If the sun has risen, it is daylight,” which part is the antecedent?

Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts

• It is daylight
• The sun has risen
• Denial of the if–then link
• The verb “is” as copula