Which correctly distinguishes formal and semantic agency?

Fronting the Subject: Restriction, Reinforcement and the al-Jurjani–al-Sakkaki Debate

• The formal agent is always mubtadaʾ and the semantic one an object
• One is a grammatical role; the other concerns attribution of the action
• They must be two different nouns in every sentence
• Semantic agency exists only in negative sentences