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: Gödel's Nachlass (literary estate) | Statement: [Gödel's ontological proof, preservedIn, Gödel's Nachlass (literary estate)]

Target entity: Gödel's Nachlass (literary estate)
Context triple: [Gödel's ontological proof, preservedIn, Gödel's Nachlass (literary estate)]

• A. Gödel's ontological proof
  Gödel's ontological proof is a formal, modal-logic-based argument for the existence of God that rigorously develops and refines earlier ontological arguments within a precise axiomatic framework.
• B. Wittgenstein’s notebooks
  Wittgenstein’s notebooks are the private philosophical journals in which Ludwig Wittgenstein developed many of the ideas that later appeared in his published works, including the reflections posthumously collected in "Culture and Value."
• C. Nachgelassene Schriften
  Nachgelassene Schriften is a posthumously published collection of writings by Austrian author Hugo von Hofmannsthal, showcasing his literary and intellectual legacy.
• D. The Undecidable
  The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
• E. Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz
  The Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz is a scholarly editorial project dedicated to producing a comprehensive critical edition of the writings of the philosopher and polymath Gottfried Wilhelm Leibniz.
• 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: Gödel's Nachlass (literary estate)
Triple: [Gödel's ontological proof, preservedIn, Gödel's Nachlass (literary estate)]

Gödel's Nachlass (literary estate) is the posthumous collection of Kurt Gödel’s manuscripts, notes, and papers, encompassing his work in logic, mathematics, and philosophy.

Target entity: Gödel's Nachlass (literary estate)
Target entity description: Gödel's Nachlass (literary estate) is the posthumous collection of Kurt Gödel’s manuscripts, notes, and papers, encompassing his work in logic, mathematics, and philosophy.

• A. Gödel's ontological proof
  Gödel's ontological proof is a formal, modal-logic-based argument for the existence of God that rigorously develops and refines earlier ontological arguments within a precise axiomatic framework.
• B. Wittgenstein’s notebooks
  Wittgenstein’s notebooks are the private philosophical journals in which Ludwig Wittgenstein developed many of the ideas that later appeared in his published works, including the reflections posthumously collected in "Culture and Value."
• C. Nachgelassene Schriften
  Nachgelassene Schriften is a posthumously published collection of writings by Austrian author Hugo von Hofmannsthal, showcasing his literary and intellectual legacy.
• D. The Undecidable
  The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
• E. Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz
  The Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz is a scholarly editorial project dedicated to producing a comprehensive critical edition of the writings of the philosopher and polymath Gottfried Wilhelm Leibniz.
• F. None of above. chosen