If people are hardworking individuals with high ambitions and goals for the future, then they are not short sighted.
∀x (Hardworking(x) ∧ HaveFor(x, highAmbition, future) ∧ HaveFor(x, goal, future) → ¬ShortSighted(x))