Text: are are you at TI Austin or
Entailment: Are you with TI Austin or?
Contradiction: You are definitely at TI Austin.