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