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: Cartan magic formula | Statement: [Lie derivative, expressedBy, Cartan magic formula]

Target entity: Cartan magic formula
Context triple: [Lie derivative, expressedBy, Cartan magic formula]

• A. Maurer–Cartan form
  The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
• B. Chern–Weil theory
  Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
• C. Cartan structure equations
  Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
• D. Cartan theorems A and B
  Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
• E. Cartan connections
  Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
• 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: Cartan magic formula
Triple: [Lie derivative, expressedBy, Cartan magic formula]

The Cartan magic formula is a fundamental identity in differential geometry that expresses the Lie derivative of a differential form in terms of the exterior derivative and interior product.

Target entity: Cartan magic formula
Target entity description: The Cartan magic formula is a fundamental identity in differential geometry that expresses the Lie derivative of a differential form in terms of the exterior derivative and interior product.

• A. Maurer–Cartan form
  The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
• B. Chern–Weil theory
  Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
• C. Cartan structure equations
  Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
• D. Cartan theorems A and B
  Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
• E. Cartan connections
  Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
• F. None of above. chosen

Target predicate: expressedBy
Context triple: [Lie derivative, expressedBy, Cartan magic formula]

• A. expresses
  Indicates that one entity conveys, communicates, or articulates a thought, feeling, or idea through another medium or form.
• B. expressedHighlyIn
  Indicates that something (such as a gene, protein, or feature) is present or active at a much higher level than normal in a given entity or context.
• C. moreExpressiveThan
  Indicates that one entity conveys ideas, emotions, or information with greater richness, nuance, or clarity than another.
• D. intendedEmotion
  Indicates the emotion that an action, expression, or communication is meant to evoke in its target, regardless of the actual emotion experienced.
• E. expressedThrough chosen
  Indicates that something (such as an idea, emotion, or content) is conveyed, manifested, or communicated by means of a particular medium, form, or channel.
• F. None of above.