With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The type specimen or holotype was discovered in Reeve's bonebed, western Texas, in the Chambers Tuff Formation in 1986.
text_B: The type specimen was discovered in Reeve 's bonebed, western Texas, in the Chambers Tuff Formation in 1986.
entailment.