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: Kuratowski’s theorem | Statement: [Kazimierz Kuratowski, hasTheoremNamedAfter, Kuratowski’s theorem]

Target entity: Kuratowski’s theorem
Context triple: [Kazimierz Kuratowski, hasTheoremNamedAfter, Kuratowski’s theorem]

• A. Kuratowski’s theorem on planar graphs chosen
  Kuratowski’s theorem on planar graphs is a fundamental result in graph theory that characterizes planar graphs by stating that a finite graph is planar if and only if it contains no subgraph that is a subdivision of the complete graph K₅ or the complete bipartite graph K₃,₃.
• B. Menger theorem in graph theory
  Menger's theorem in graph theory is a fundamental result that characterizes the connectivity between two vertices in a graph by equating the maximum number of pairwise internally disjoint paths between them with the minimum size of a vertex cut separating them.
• C. Mazurkiewicz–Sierpiński theorem
  The Mazurkiewicz–Sierpiński theorem is a result in topology and measure theory that characterizes certain properties of measurable sets and mappings, particularly concerning continuous images of sets in Euclidean spaces.
• D. Jordan curve theorem
  The Jordan curve theorem is a fundamental result in topology stating that any simple closed curve in the plane divides the plane into exactly two distinct regions, an "inside" and an "outside."
• E. Kruskal's tree theorem
  Kruskal's tree theorem is a fundamental result in combinatorics and mathematical logic stating that finite trees are well-quasi-ordered under homeomorphic embedding, with deep implications in proof theory and computer science.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.