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: Frank P. Ramsey 1930 paper on logic and combinatorics | Statement: [Ramsey theory, influencedBy, Frank P. Ramsey 1930 paper on logic and combinatorics]

Target entity: Frank P. Ramsey 1930 paper on logic and combinatorics
Context triple: [Ramsey theory, influencedBy, Frank P. Ramsey 1930 paper on logic and combinatorics]

• A. On a Problem of Formal Logic chosen
  "On a Problem of Formal Logic" is a seminal philosophical and mathematical paper by F. P. Ramsey that contributed to the foundations of logic and helped inspire what is now known as Ramsey theory.
• B. On the Theory of Logic
  On the Theory of Logic is a philosophical work by Carveth Read that systematically examines the principles and methods of logical reasoning.
• C. New Foundations for Mathematical Logic
  New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
• D. the Logic Theorist program
  The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
• E. Lectures on the Logic of Arithmetic
  Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.