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 inequalities | Statement: [Cauchy interlacing theorem, relatedTo, Weyl inequalities]

Target entity: Weyl inequalities
Context triple: [Cauchy interlacing theorem, relatedTo, Weyl inequalities]

• A. Hadamard inequality
  The Hadamard inequality is a fundamental result in linear algebra and analysis that bounds the absolute value of a determinant by the product of the Euclidean norms of its row or column vectors.
• B. Cauchy interlacing theorem
  The Cauchy interlacing theorem is a fundamental result in linear algebra that relates the eigenvalues of a symmetric matrix to those of its principal submatrices, showing how they "interlace" on the real line.
• C. Bernstein inequalities
  Bernstein inequalities are fundamental results in approximation theory and probability that provide bounds on the derivatives or deviations of functions and random variables under certain smoothness or moment conditions.
• D. Morawetz inequalities
  Morawetz inequalities are fundamental energy and decay estimates in the study of partial differential equations, especially wave and dispersive equations, that provide control over the long-time behavior of solutions.
• E. Riesz rearrangement inequality
  The Riesz rearrangement inequality is a fundamental result in mathematical analysis that provides an optimal bound for integrals of products of functions in terms of their symmetric decreasing rearrangements.
• 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 inequalities
Triple: [Cauchy interlacing theorem, relatedTo, Weyl inequalities]

Weyl inequalities are fundamental results in linear algebra that bound the eigenvalues of sums of Hermitian (or symmetric) matrices in terms of the eigenvalues of the individual matrices.

Target entity: Weyl inequalities
Target entity description: Weyl inequalities are fundamental results in linear algebra that bound the eigenvalues of sums of Hermitian (or symmetric) matrices in terms of the eigenvalues of the individual matrices.

• A. Hadamard inequality
  The Hadamard inequality is a fundamental result in linear algebra and analysis that bounds the absolute value of a determinant by the product of the Euclidean norms of its row or column vectors.
• B. Cauchy interlacing theorem
  The Cauchy interlacing theorem is a fundamental result in linear algebra that relates the eigenvalues of a symmetric matrix to those of its principal submatrices, showing how they "interlace" on the real line.
• C. Bernstein inequalities
  Bernstein inequalities are fundamental results in approximation theory and probability that provide bounds on the derivatives or deviations of functions and random variables under certain smoothness or moment conditions.
• D. Morawetz inequalities
  Morawetz inequalities are fundamental energy and decay estimates in the study of partial differential equations, especially wave and dispersive equations, that provide control over the long-time behavior of solutions.
• E. Riesz rearrangement inequality
  The Riesz rearrangement inequality is a fundamental result in mathematical analysis that provides an optimal bound for integrals of products of functions in terms of their symmetric decreasing rearrangements.
• F. None of above. chosen