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, hasWeakerRegularityAssumptionThan, Picard–Lindelöf theorem]

Target entity: Picard–Lindelöf theorem
Context triple: [Peano existence theorem, hasWeakerRegularityAssumptionThan, 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: hasWeakerRegularityAssumptionThan
Context triple: [Peano existence theorem, hasWeakerRegularityAssumptionThan, Picard–Lindelöf theorem]

• A. weakerThan chosen
  Indicates that one entity has less strength, power, or effectiveness than another entity.
• B. strongerThan
  Indicates that one entity possesses greater strength, power, or intensity than another.
• C. hasRegularity
  Indicates that one entity exhibits a consistent, recurring pattern or uniform behavior with respect to another entity or over time.
• D. occursMoreStronglyFor
  Indicates that a particular effect, condition, or phenomenon manifests with greater intensity, frequency, or impact for one entity or context compared to another.
• E. isStrongerThan
  Indicates that one entity possesses greater physical power, force, or effectiveness than another entity.
• F. None of above.