Premise: Phil Mickelson . He has won every major except the U.S. Open , where he has finished runner-up a record six times . The United States Open Championship , commonly known as the U.S. Open , is the annual open national championship of golf in the United States .
Hypothesis: Phil Mickelson has played the U.S. Open.
Label: ENTAILMENT