With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: If the value of the obstruction is non-trivial, then "X" may have points over all local fields but not over the global field.
text_B: If the value of the obstruction is non-trivial, then "X" may have points over some local fields but not over the global field.
contradiction.