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: Bochner–Martinelli formula | Statement: [Salomon Bochner, notableFor, Bochner–Martinelli formula]

Target entity: Bochner–Martinelli formula
Context triple: [Salomon Bochner, notableFor, Bochner–Martinelli formula]

• A. Szegő kernel
  The Szegő kernel is a fundamental reproducing kernel in complex analysis and operator theory, associated with Hardy spaces on the boundary of a domain and central to the study of orthogonal polynomials and boundary behavior of analytic functions.
• B. Fefferman metric in several complex variables
  The Fefferman metric in several complex variables is a canonical Lorentz–Kähler-type metric associated with strictly pseudoconvex domains, fundamental in the study of CR geometry and the boundary behavior of holomorphic functions.
• C. Mittag-Leffler theorem
  The Mittag-Leffler theorem is a fundamental result in complex analysis that characterizes meromorphic functions by allowing the construction of such functions with prescribed principal parts at given poles.
• D. Lempert function on convex domains
  The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
• E. Fubini–Study form
  The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.
• 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: Bochner–Martinelli formula
Triple: [Salomon Bochner, notableFor, Bochner–Martinelli formula]

The Bochner–Martinelli formula is a fundamental integral representation in several complex variables that generalizes the Cauchy integral formula to higher dimensions.

Target entity: Bochner–Martinelli formula
Target entity description: The Bochner–Martinelli formula is a fundamental integral representation in several complex variables that generalizes the Cauchy integral formula to higher dimensions.

• A. Szegő kernel
  The Szegő kernel is a fundamental reproducing kernel in complex analysis and operator theory, associated with Hardy spaces on the boundary of a domain and central to the study of orthogonal polynomials and boundary behavior of analytic functions.
• B. Fefferman metric in several complex variables
  The Fefferman metric in several complex variables is a canonical Lorentz–Kähler-type metric associated with strictly pseudoconvex domains, fundamental in the study of CR geometry and the boundary behavior of holomorphic functions.
• C. Mittag-Leffler theorem
  The Mittag-Leffler theorem is a fundamental result in complex analysis that characterizes meromorphic functions by allowing the construction of such functions with prescribed principal parts at given poles.
• D. Lempert function on convex domains
  The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
• E. Fubini–Study form
  The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.
• F. None of above. chosen