David Ha'ivri emigrated to the United States from Israel, where he was born to Israeli parents.
∃x (EmigratedTo(davidHaivri, america) ∧ BornInIsrael(davidHaivri) ∧ ParentOf(davidHaivri, x) ∧ Israeli(x))