Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Brauer–Manin obstruction | Statement: [Hasse principle, relatedConcept, Brauer–Manin obstruction]

Target entity: Brauer–Manin obstruction
Context triple: [Hasse principle, relatedConcept, Brauer–Manin obstruction]

• A. Hasse principle
  The Hasse principle is a concept in number theory stating that a Diophantine equation has a rational solution if and only if it has solutions in all completions of the rationals, such as the real numbers and p-adic numbers.
• B. Standard Conjectures on Algebraic Cycles
  The Standard Conjectures on Algebraic Cycles are a set of deep, still unproven hypotheses in algebraic geometry that aim to provide a foundational theory of algebraic cycles and their cohomological properties, underpinning much of the modern theory of motives.
• C. Bombieri–Lang conjecture
  The Bombieri–Lang conjecture is a major unsolved conjecture in number theory and arithmetic geometry predicting that varieties of general type over number fields have only finitely many rational points.
• D. Hodge–Riemann bilinear relations
  The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
• E. Faltings' theorem
  Faltings' theorem is a landmark result in arithmetic geometry that proves every algebraic curve of genus greater than one over a number field has only finitely many rational points.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Brauer–Manin obstruction
Triple: [Hasse principle, relatedConcept, Brauer–Manin obstruction]

The Brauer–Manin obstruction is an arithmetic-geometric mechanism using the Brauer group and adelic points to explain failures of the Hasse principle and weak approximation for rational points on varieties.

Target entity: Brauer–Manin obstruction
Target entity description: The Brauer–Manin obstruction is an arithmetic-geometric mechanism using the Brauer group and adelic points to explain failures of the Hasse principle and weak approximation for rational points on varieties.

• A. Hasse principle
  The Hasse principle is a concept in number theory stating that a Diophantine equation has a rational solution if and only if it has solutions in all completions of the rationals, such as the real numbers and p-adic numbers.
• B. Standard Conjectures on Algebraic Cycles
  The Standard Conjectures on Algebraic Cycles are a set of deep, still unproven hypotheses in algebraic geometry that aim to provide a foundational theory of algebraic cycles and their cohomological properties, underpinning much of the modern theory of motives.
• C. Bombieri–Lang conjecture
  The Bombieri–Lang conjecture is a major unsolved conjecture in number theory and arithmetic geometry predicting that varieties of general type over number fields have only finitely many rational points.
• D. Hodge–Riemann bilinear relations
  The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
• E. Faltings' theorem
  Faltings' theorem is a landmark result in arithmetic geometry that proves every algebraic curve of genus greater than one over a number field has only finitely many rational points.
• F. None of above. chosen