With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: According to the US Geological Survey, the mountain's proper name is Howard Knob, but it is known to locals and tourists as Howard's Knob.
text_B: According to the US Geological Survey, the mountain 's proper name is Howard Knob.
entailment.