How can I represent the first order logic "All men are tall unless they are short."?

Question

How can I represent the following phrase in first order logic "All man are tall unless they are short." ?

Consider that I have the unary predicates Man(x), Tall(x), Short(x)

I was thinking something like below, but it doesn't capture the fact that x is a man:

all x (- Short(x) -> Tall(x))

Answer 1

This is my final answer:

For all $x, \Big($Man$(x) \to \big(\,$Short$(x)$ or Tall$(x)\,\big)\Big).$