The Turing Award has been awarded to Donald Knuth, Marvin Minsky, Richard Hamming, and John McCarthy.
AwardedTo(turingAward, donaldKnuth) ∧ AwardedTo(turingAward, marvinMinsky) ∧ AwardedTo(turingAward, richardHamming) ∧ AwardedTo(turingAward, johnMccarthy)