With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: A salty dog is a cocktail of grapefruit juice, served in a highball glass with a salted rim.
text_B: A salty dog is a cocktail of tequila, or gin, and grapefruit juice, served in a highball glass with a salted rim.
neutral.