Ableton is a multinational company.
Ableton has an office in Germany. Ableton has an office in the USA. USA and Germany are different countries. Any company that has offices in different countries is a multinational company. Ableton makes music software.
OfficeIn(ableton, germany) OfficeIn(ableton, usa) ¬SameCountry(germany, usa) ∀x ∀y ∀z (OfficeIn(x, y) ∧ OfficeIn(x, z) ∧ ¬SameCountry(y, z) → IsMultinationalCompany(x)) MakesMusicSoftware(ableton)