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: Weyl character formula | Statement: [Hermann Weyl, knownFor, Weyl character formula]

Target entity: Weyl character formula
Context triple: [Hermann Weyl, knownFor, Weyl character formula]

• A. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• B. Riemann–Roch theorem
  The Riemann–Roch theorem is a fundamental result in algebraic geometry and complex analysis that relates the dimension of spaces of meromorphic sections of a line bundle on a curve to topological data such as genus and degree.
• C. Gell-Mann–Nishijima formula
  The Gell-Mann–Nishijima formula is a key relation in particle physics that connects a particle’s electric charge to its isospin and hypercharge, helping classify hadrons within the quark model.
• D. Wick’s theorem
  Wick’s theorem is a fundamental result in quantum field theory that expresses time-ordered products of field operators as sums of normal-ordered products with all possible contractions, forming the basis for deriving Feynman rules and diagrammatic expansions.
• E. Rogers–Ramanujan-type identities
  Rogers–Ramanujan-type identities are a class of deep q-series and partition identities generalizing the classical Rogers–Ramanujan identities, with rich connections to combinatorics, number theory, and modular forms.
• 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: Weyl character formula
Triple: [Hermann Weyl, knownFor, Weyl character formula]

The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.

Target entity: Weyl character formula
Target entity description: The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.

• A. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• B. Riemann–Roch theorem
  The Riemann–Roch theorem is a fundamental result in algebraic geometry and complex analysis that relates the dimension of spaces of meromorphic sections of a line bundle on a curve to topological data such as genus and degree.
• C. Gell-Mann–Nishijima formula
  The Gell-Mann–Nishijima formula is a key relation in particle physics that connects a particle’s electric charge to its isospin and hypercharge, helping classify hadrons within the quark model.
• D. Wick’s theorem
  Wick’s theorem is a fundamental result in quantum field theory that expresses time-ordered products of field operators as sums of normal-ordered products with all possible contractions, forming the basis for deriving Feynman rules and diagrammatic expansions.
• E. Rogers–Ramanujan-type identities
  Rogers–Ramanujan-type identities are a class of deep q-series and partition identities generalizing the classical Rogers–Ramanujan identities, with rich connections to combinatorics, number theory, and modular forms.
• F. None of above. chosen