If Emily's friends are highly acclaimed in their profession, then they often hold tenured and high-ranking positions at their workplace.
∀x (EmilysFriend(x) ∧ HighlyAcclaimedIn(x, theirProfession) → ∃y (HoldAt(x, y, workPlace) ∧ Tenured(y) ∧ HighRanking(y) ∧ Position(y)))