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: The Mathematical Analysis of Logic | Statement: [George Boole, notableWork, The Mathematical Analysis of Logic]

Target entity: The Mathematical Analysis of Logic
Context triple: [George Boole, notableWork, The Mathematical Analysis of Logic]

• A. Principia Mathematica
  Principia Mathematica is a landmark three-volume work in mathematical logic and the foundations of mathematics, co-authored by Bertrand Russell and Alfred North Whitehead, which aimed to derive all mathematical truths from a formal system of symbolic logic.
• B. Science of Logic
  Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
• C. A System of Logic
  A System of Logic is John Stuart Mill’s influential 1843 philosophical treatise that systematically develops inductive logic and the empirical foundations of scientific reasoning.
• D. A Treatise on Probability
  A Treatise on Probability is John Maynard Keynes’s influential 1921 work that develops a logical and philosophical theory of probability, challenging classical and frequency-based interpretations.
• E. On Computable Numbers with an Application to the Entscheidungsproblem
  "On Computable Numbers, with an Application to the Entscheidungsproblem" is Alan Turing’s landmark 1936 paper that introduced the Turing machine model and founded the formal study of computability and the limits of algorithmic decision procedures.
• 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: The Mathematical Analysis of Logic
Triple: [George Boole, notableWork, The Mathematical Analysis of Logic]

The Mathematical Analysis of Logic is George Boole’s pioneering 1847 work that laid the foundations of symbolic logic and helped initiate the algebraic treatment of logical reasoning.

Target entity: The Mathematical Analysis of Logic
Target entity description: The Mathematical Analysis of Logic is George Boole’s pioneering 1847 work that laid the foundations of symbolic logic and helped initiate the algebraic treatment of logical reasoning.

• A. Principia Mathematica
  Principia Mathematica is a landmark three-volume work in mathematical logic and the foundations of mathematics, co-authored by Bertrand Russell and Alfred North Whitehead, which aimed to derive all mathematical truths from a formal system of symbolic logic.
• B. Science of Logic
  Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
• C. A System of Logic
  A System of Logic is John Stuart Mill’s influential 1843 philosophical treatise that systematically develops inductive logic and the empirical foundations of scientific reasoning.
• D. A Treatise on Probability
  A Treatise on Probability is John Maynard Keynes’s influential 1921 work that develops a logical and philosophical theory of probability, challenging classical and frequency-based interpretations.
• E. On Computable Numbers with an Application to the Entscheidungsproblem
  "On Computable Numbers, with an Application to the Entscheidungsproblem" is Alan Turing’s landmark 1936 paper that introduced the Turing machine model and founded the formal study of computability and the limits of algorithmic decision procedures.
• F. None of above. chosen