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: Kleene–Rosser paradox | Statement: [Barkley Rosser, notableWork, Kleene–Rosser paradox]

Target entity: Kleene–Rosser paradox
Context triple: [Barkley Rosser, notableWork, Kleene–Rosser paradox]

• A. Grelling–Nelson paradox
  The Grelling–Nelson paradox is a self-referential logical paradox arising from classifying adjectives as "autological" or "heterological," leading to a contradiction when considering whether "heterological" describes itself.
• B. Tarski's undefinability theorem
  Tarski's undefinability theorem is a fundamental result in mathematical logic showing that, in sufficiently strong formal systems, the notion of truth for the language of the system cannot be defined within that same language.
• C. Berry paradox
  The Berry paradox is a self-referential logical paradox arising from phrases like “the smallest positive integer not definable in under eleven words,” which appears to define exactly such a number while claiming it cannot be defined.
• D. Russell’s paradox
  Russell’s paradox is a foundational logical contradiction in naive set theory that reveals problems with sets that contain themselves, leading to major developments in modern logic and the axiomatization of set theory.
• E. Barber paradox
  The Barber paradox is a self-referential logical puzzle about a barber who shaves all and only those who do not shave themselves, illustrating a contradiction similar to Russell’s paradox.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Kleene–Rosser paradox
Triple: [Barkley Rosser, notableWork, Kleene–Rosser paradox]

The Kleene–Rosser paradox is a logical contradiction in untyped lambda calculus that demonstrated the inconsistency of Alonzo Church’s original formulation of the system.

Target entity: Kleene–Rosser paradox
Target entity description: The Kleene–Rosser paradox is a logical contradiction in untyped lambda calculus that demonstrated the inconsistency of Alonzo Church’s original formulation of the system.

• A. Grelling–Nelson paradox
  The Grelling–Nelson paradox is a self-referential logical paradox arising from classifying adjectives as "autological" or "heterological," leading to a contradiction when considering whether "heterological" describes itself.
• B. Tarski's undefinability theorem
  Tarski's undefinability theorem is a fundamental result in mathematical logic showing that, in sufficiently strong formal systems, the notion of truth for the language of the system cannot be defined within that same language.
• C. Berry paradox
  The Berry paradox is a self-referential logical paradox arising from phrases like “the smallest positive integer not definable in under eleven words,” which appears to define exactly such a number while claiming it cannot be defined.
• D. Russell’s paradox
  Russell’s paradox is a foundational logical contradiction in naive set theory that reveals problems with sets that contain themselves, leading to major developments in modern logic and the axiomatization of set theory.
• E. Barber paradox
  The Barber paradox is a self-referential logical puzzle about a barber who shaves all and only those who do not shave themselves, illustrating a contradiction similar to Russell’s paradox.
• F. None of above. chosen