At least two people who have won the Turing Award worked in artificial intelligence.
∃x ∃y (¬(x=y) ∧ AwardedTo(turingAward, x) ∧ AwardedTo(turingAward, y) ∧ ContributedTo(x, artificialIntelligence)  ∧ ContributedTo(y, artificialIntelligence))