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: P versus NP problem | Statement: [Leonid Levin, co-formulated, P versus NP problem]

Target entity: P versus NP problem
Context triple: [Leonid Levin, co-formulated, P versus NP problem]

• A. P versus NP problem chosen
  The P versus NP problem is a central unsolved question in theoretical computer science that asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer.
• B. Millennium Prize Problem
  The Millennium Prize Problem is one of seven famous unsolved mathematical problems designated by the Clay Mathematics Institute, each carrying a $1 million reward for a correct solution.
• C. Cook–Levin theorem
  The Cook–Levin theorem is a foundational result in computational complexity theory that established the Boolean satisfiability problem (SAT) as the first NP-complete problem, launching the theory of NP-completeness.
• D. NP-completeness
  NP-completeness is a central concept in computational complexity theory that classifies decision problems believed to be among the hardest in NP, such that a polynomial-time solution to any one of them would yield polynomial-time solutions to all problems in NP.
• E. P, NP, and NP-Completeness: The Basics of Complexity Theory
  "P, NP, and NP-Completeness: The Basics of Complexity Theory" is a foundational textbook by Oded Goldreich that introduces the core concepts, problems, and techniques of computational complexity theory, with a focus on the classes P, NP, and NP-complete problems.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: co-formulated
Context triple: [Leonid Levin, co-formulated, P versus NP problem]

• A. coFormulated chosen
  Indicates that two or more entities were jointly formulated, designed, or created together as part of the same process or product.
• B. coFormulatedWith
  Indicates that one entity is formulated together with another as part of the same combined product or composition.
• C. isFormulatedUsing
  Indicates that something is created, defined, or expressed by means of a specified method, material, or set of components.
• D. formulatedIn
  Indicates that something was created, developed, or expressed within a particular context, place, or framework.
• E. isFormulatedBy
  Indicates that something (such as a plan, idea, or substance) is created, devised, or composed by a particular agent or source.
• F. None of above.