The Virtue Ethicist Who Teaches Aristotle Does Not Publish on Moral

The virtue ethicist who teaches Aristotle does not publish on moral theory. Smith is a virtue ethicist who teaches Aristotle. Either one publishes on moral theory or one publishes on applied ethics. So, Smith publishes on applied ethics. (s: Smith; Ax: x publishes on applied ethics; Mx: x publishes on moral theory; Tx: is teaches Aristotle; Vx: x is a virtue ethicist)
-Which of the following is the best translation into F of this argument?

A) 1. (∃x) {Vx • Tx • (∀y) [(Vy • Ty) ⊃ y≠x] • ∼Mx} 2. Vs • Ts
3) (∀x) (Mx ≡ ~Ax) / As
B) 1. (∀x) {Vx • Tx • (∃y) [(Vy • Ty) • y≠x] • ∼Mx} 2. Vs • Ts
3) (∀x) (Mx $\lor$ Ax) / As
C) 1. (∀x) {Vx • Tx • (∀y) [(Vy • Ty) ⊃ y=x] • ∼Mx} 2. Vs • Ts
3) (∀x) (Mx ≡ ~Ax) / As
D) 1. (∃x) {Vx • Tx • (∀y) [(Vy • Ty) ⊃ y=x] • ∼Mx} 2. Vs • Ts
3) (∀x) (Mx $\lor$ Ax) / As
E) 1. (∃x) {Vx • Tx • (∃y) [(Vy • Ty) • y=x] • ∼Mx} 2. Vs • Ts
3) (∀x) (Mx ≡ ~Ax) / As