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: Picard–Lindelöf theorem | Statement: [Peano existence theorem, hasStrongerExistenceConditionThan, Picard–Lindelöf theorem]

Target entity: Picard–Lindelöf theorem
Context triple: [Peano existence theorem, hasStrongerExistenceConditionThan, Picard–Lindelöf theorem]

• A. Peano existence theorem
  The Peano existence theorem is a fundamental result in the theory of ordinary differential equations that guarantees the existence (but not necessarily uniqueness) of solutions under mild continuity conditions on the right-hand side.
• B. local existence and uniqueness theorem chosen
  The local existence and uniqueness theorem is a fundamental result in differential equations that guarantees, under suitable conditions, a single solution passing through a given initial point, valid in some neighborhood of that point.
• C. Cauchy–Kovalevskaya theorem
  The Cauchy–Kovalevskaya theorem is a fundamental result in partial differential equations that guarantees the existence and uniqueness of analytic solutions to certain initial value problems under appropriate analyticity conditions.
• D. Carathéodory existence theorem
  The Carathéodory existence theorem is a result in the theory of ordinary differential equations that guarantees the existence (and sometimes uniqueness) of solutions under weaker regularity conditions on the right-hand side than those required by classical theorems like Picard–Lindelöf.
• E. 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.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: hasStrongerExistenceConditionThan
Context triple: [Peano existence theorem, hasStrongerExistenceConditionThan, Picard–Lindelöf theorem]

• A. strongerThan
  Indicates that one entity possesses greater strength, power, or intensity than another.
• B. hasCondition
  Indicates that an entity possesses, experiences, or is affected by a particular condition or state.
• C. occursMoreStronglyFor
  Indicates that a particular effect, condition, or phenomenon manifests with greater intensity, frequency, or impact for one entity or context compared to another.
• D. isMoreSpecificThan chosen
  Indicates that one concept represents a narrower, more detailed, or more constrained case of another concept.
• E. hasPrecedingCondition
  Indicates that one condition occurs or exists before another condition in time or sequence.
• F. None of above.