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: Verma modules | Statement: [Kazhdan–Lusztig theory, uses, Verma modules]

Target entity: Verma modules
Context triple: [Kazhdan–Lusztig theory, uses, Verma modules]

• A. Verma module chosen
  A Verma module is a type of highest-weight module over a Lie algebra that is freely generated from a highest-weight vector and plays a central role in the classification of representations of semisimple Lie algebras.
• B. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• C. Harish-Chandra character formula
  The Harish-Chandra character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible admissible representations of real reductive Lie groups.
• D. Bernstein–Zelevinsky classification
  The Bernstein–Zelevinsky classification is a foundational framework in representation theory that systematically describes irreducible smooth representations of general linear groups over non-archimedean local fields.
• E. Kac–Moody algebras
  Kac–Moody algebras are a broad class of (generally infinite-dimensional) Lie algebras defined by generalized Cartan matrices, encompassing finite-dimensional semisimple Lie algebras and their infinite-dimensional extensions used in representation theory and mathematical physics.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.