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

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

• A. 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.
• B. 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.
• C. Cartan–Killing form
  The Cartan–Killing form is a canonical symmetric bilinear form on a Lie algebra that plays a central role in classifying and studying the structure of Lie algebras and Lie groups.
• D. Cartan decomposition
  Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.
• 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 formula
Triple: [Lie derivative, relatedBy, Cartan formula]

The Cartan 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 formula
Target entity description: The Cartan 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. 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.
• B. 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.
• C. Cartan–Killing form
  The Cartan–Killing form is a canonical symmetric bilinear form on a Lie algebra that plays a central role in classifying and studying the structure of Lie algebras and Lie groups.
• D. Cartan decomposition
  Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.
• 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: relatedBy
Context triple: [Lie derivative, relatedBy, Cartan formula]

• A. relatedTo
  Indicates a general, non-specific relationship or association exists between two entities.
• B. relatedType
  Indicates that one entity is connected to another through a specified type or category of relationship.
• C. relatedByFormula chosen
  Indicates that one entity is mathematically or logically derived from, or connected to, another according to a specific formula.
• D. laterRelationWith
  Indicates that one entity stands in a temporal relationship to another such that it occurs or exists at a later time than the other.
• E. relatedField
  Indicates that one field, topic, or area of study is connected or relevant to another in subject matter or application.
• F. None of above.