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: Rein analytischer Beweis | Statement: [Bernard Bolzano, notableWork, Rein analytischer Beweis]

Target entity: Rein analytischer Beweis
Context triple: [Bernard Bolzano, notableWork, Rein analytischer Beweis]

• A. The Book of the Unveiling of the Methods of Proof
  The Book of the Unveiling of the Methods of Proof is a classical Islamic theological work that systematically analyzes and defends the principles of faith through rational argumentation and logical methodology.
• B. Untersuchungen über das logische Schließen
  Untersuchungen über das logische Schließen is Gerhard Gentzen’s landmark 1934–35 work that founded structural proof theory and introduced natural deduction and sequent calculus.
• C. Analytik der Grundsätze
  Analytik der Grundsätze is the section of Immanuel Kant’s Critique of Pure Reason that systematically examines the fundamental principles underlying human understanding and experience.
• D. Recherches sur la théorie de la démonstration
  Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
• E. Analytik des Erhabenen
  Analytik des Erhabenen ist der Teil von Immanuel Kants „Kritik der Urteilskraft“, in dem er systematisch das Gefühl des Erhabenen und seine Bedeutung für Vernunft, Freiheit und ästhetisches Urteil untersucht.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Rein analytischer Beweis
Target entity description: Rein analytischer Beweis is a foundational work by Bernard Bolzano that presents a purely analytic proof of the intermediate value theorem, marking an important step in the rigorous development of real analysis.

• A. The Book of the Unveiling of the Methods of Proof
  The Book of the Unveiling of the Methods of Proof is a classical Islamic theological work that systematically analyzes and defends the principles of faith through rational argumentation and logical methodology.
• B. Untersuchungen über das logische Schließen
  Untersuchungen über das logische Schließen is Gerhard Gentzen’s landmark 1934–35 work that founded structural proof theory and introduced natural deduction and sequent calculus.
• C. Analytik der Grundsätze
  Analytik der Grundsätze is the section of Immanuel Kant’s Critique of Pure Reason that systematically examines the fundamental principles underlying human understanding and experience.
• D. Recherches sur la théorie de la démonstration
  Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
• E. Analytik des Erhabenen
  Analytik des Erhabenen ist der Teil von Immanuel Kants „Kritik der Urteilskraft“, in dem er systematisch das Gefühl des Erhabenen und seine Bedeutung für Vernunft, Freiheit und ästhetisches Urteil untersucht.
• F. None of above. chosen