On what basis can “Zayd is a writer” be a true predication?

Predication, Types of Categorical Proposition and Negated Terms

• Writer and Zayd are synonymous
• Every writer is named Zayd
• The name itself means writing
• The attribute of writing belongs to Zayd