No Greeks have worked for IBM.
Evangelos Eleftheriou is a Greek electrical engineer. Evangelos Eleftheriou worked for IBM in Zurich. If a company has employees working for them somewhere, then they have an office there. IBM is a company.
Greek(evangeloseleftheriou) ∧ ElectricalEngineer(evangeloseleftheriou) WorkedFor(evangeloseleftheriou, ibm) ∧ WorkedIn(evangeloseleftheriou, zurich) ∀x ∀x ∀z (Company(x) ∧ WorkedFor(y, x) ∧ WorkedIn(y, z) → HasOfficeIn(x, z)) Company(ibm)