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: Heisenberg–Euler effective Lagrangian | Statement: [Born–Infeld electrodynamics, comparedWith, Heisenberg–Euler effective Lagrangian]

Target entity: Heisenberg–Euler effective Lagrangian
Context triple: [Born–Infeld electrodynamics, comparedWith, Heisenberg–Euler effective Lagrangian]

• A. Born–Infeld electrodynamics
  Born–Infeld electrodynamics is a nonlinear modification of classical Maxwell theory proposed to remove the infinite self-energy of point charges by introducing an upper bound on the electromagnetic field strength.
• B. Euclidean quantum field theory
  Euclidean quantum field theory is a formulation of quantum field theory in imaginary (Euclidean) time that enables rigorous mathematical treatment and path-integral representations closely connected to statistical mechanics.
• C. Schwinger effect
  The Schwinger effect is a quantum field theory phenomenon in which extremely strong electric fields can spontaneously create particle–antiparticle pairs from the vacuum.
• D. Infeld–van der Waerden formalism
  The Infeld–van der Waerden formalism is a mathematical framework in general relativity that reformulates the theory using spinor calculus to describe gravitational and electromagnetic fields.
• E. Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
  Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED is a landmark theoretical result that rigorously demonstrated the mathematical consistency and mutual compatibility of different approaches to quantum electrodynamics.
• 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: Heisenberg–Euler effective Lagrangian
Triple: [Born–Infeld electrodynamics, comparedWith, Heisenberg–Euler effective Lagrangian]

The Heisenberg–Euler effective Lagrangian is a quantum electrodynamics result that captures nonlinear corrections to classical electromagnetism arising from virtual electron–positron pair effects in strong electromagnetic fields.

Target entity: Heisenberg–Euler effective Lagrangian
Target entity description: The Heisenberg–Euler effective Lagrangian is a quantum electrodynamics result that captures nonlinear corrections to classical electromagnetism arising from virtual electron–positron pair effects in strong electromagnetic fields.

• A. Born–Infeld electrodynamics
  Born–Infeld electrodynamics is a nonlinear modification of classical Maxwell theory proposed to remove the infinite self-energy of point charges by introducing an upper bound on the electromagnetic field strength.
• B. Euclidean quantum field theory
  Euclidean quantum field theory is a formulation of quantum field theory in imaginary (Euclidean) time that enables rigorous mathematical treatment and path-integral representations closely connected to statistical mechanics.
• C. Schwinger effect
  The Schwinger effect is a quantum field theory phenomenon in which extremely strong electric fields can spontaneously create particle–antiparticle pairs from the vacuum.
• D. Infeld–van der Waerden formalism
  The Infeld–van der Waerden formalism is a mathematical framework in general relativity that reformulates the theory using spinor calculus to describe gravitational and electromagnetic fields.
• E. Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED
  Dyson’s proof of equivalence of Feynman and Schwinger–Tomonaga formulations of QED is a landmark theoretical result that rigorously demonstrated the mathematical consistency and mutual compatibility of different approaches to quantum electrodynamics.
• F. None of above. chosen