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: predicate logic | Statement: [Leibnizian logic, relatedTo, predicate logic]

Target entity: predicate logic
Context triple: [Leibnizian logic, relatedTo, predicate logic]

• A. Logic
  Logic is an American rapper, singer, songwriter, and record producer known for his intricate lyricism, concept albums, and work addressing mental health and social issues.
• B. Logik
  Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
• C. Symbolic Logic
  Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
• D. Formal Logic
  Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
• E. Herbrand disjunction
  Herbrand disjunction is a logical formula formed as a finite disjunction of ground instances of a first-order formula, central to Herbrand’s theorem in proof theory and automated reasoning.
• 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: predicate logic
Triple: [Leibnizian logic, relatedTo, predicate logic]

Predicate logic is a formal system in mathematical logic that extends propositional logic by using quantifiers and predicates to express statements about objects and their properties or relations.

Target entity: predicate logic
Target entity description: Predicate logic is a formal system in mathematical logic that extends propositional logic by using quantifiers and predicates to express statements about objects and their properties or relations.

• A. Logic
  Logic is an American rapper, singer, songwriter, and record producer known for his intricate lyricism, concept albums, and work addressing mental health and social issues.
• B. Logik
  Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
• C. Symbolic Logic
  Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
• D. Formal Logic
  Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
• E. Herbrand disjunction
  Herbrand disjunction is a logical formula formed as a finite disjunction of ground instances of a first-order formula, central to Herbrand’s theorem in proof theory and automated reasoning.
• F. None of above. chosen