Greek(evangelosEleftheriou) ∧ ElectricalEngineer(evangelosEleftheriou)
WorkForIn(evangelosEleftheriou, iBM, zurich)
∀x ∀x ∀z (Company(x) ∧ WorkForIn(y, x, z) → HaveOfficeIn(x, z))
Company(ibm)
HaveOfficeIn(ibm, london) ∨ HaveOfficeIn(ibm, zurich)