Taylor is Emily's friend and she often holds tenured and high-ranking positions at her workplace.
EmilysFriends(taylor) ∧ (∃y (HoldAt(taylor, y, workPlace) ∧ Tenured(y) ∧ HighRanking(y) ∧ Position(y)))