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: Hille–Yosida theorem | Statement: [Stone’s theorem on one-parameter unitary groups, relatedTo, Hille–Yosida theorem]

Target entity: Hille–Yosida theorem
Context triple: [Stone’s theorem on one-parameter unitary groups, relatedTo, Hille–Yosida theorem]

• A. Lax–Milgram theorem
  The Lax–Milgram theorem is a fundamental result in functional analysis that guarantees the existence and uniqueness of solutions to certain linear boundary value problems via bounded, coercive bilinear forms on Hilbert spaces.
• B. Banach–Steinhaus theorem
  The Banach–Steinhaus theorem is a fundamental result in functional analysis that characterizes when a family of continuous linear operators is uniformly bounded, with major implications for the behavior of sequences of operators on Banach spaces.
• C. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• D. Herglotz's theorem
  Herglotz's theorem is a fundamental result in harmonic analysis and probability theory that characterizes positive-definite functions on the unit circle via representing measures.
• E. Arzelà–Ascoli theorem
  The Arzelà–Ascoli theorem is a fundamental result in analysis that characterizes the relative compactness of families of functions via uniform boundedness and equicontinuity.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Hille–Yosida theorem
Target entity description: The Hille–Yosida theorem is a fundamental result in functional analysis that characterizes the generators of strongly continuous one-parameter semigroups of linear operators on Banach spaces.

• A. Lax–Milgram theorem
  The Lax–Milgram theorem is a fundamental result in functional analysis that guarantees the existence and uniqueness of solutions to certain linear boundary value problems via bounded, coercive bilinear forms on Hilbert spaces.
• B. Banach–Steinhaus theorem
  The Banach–Steinhaus theorem is a fundamental result in functional analysis that characterizes when a family of continuous linear operators is uniformly bounded, with major implications for the behavior of sequences of operators on Banach spaces.
• C. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• D. Herglotz's theorem
  Herglotz's theorem is a fundamental result in harmonic analysis and probability theory that characterizes positive-definite functions on the unit circle via representing measures.
• E. Arzelà–Ascoli theorem
  The Arzelà–Ascoli theorem is a fundamental result in analysis that characterizes the relative compactness of families of functions via uniform boundedness and equicontinuity.
• F. None of above. chosen