With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: David is uglier than Grace. Steven is uglier than Grace.
text_B: Among David, Grace and Steven the ugliest is David.
neutral.