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: Tarski school of logic | Statement: [Leon Henkin, coAuthor, Tarski school of logic]

Target entity: Tarski school of logic
Context triple: [Leon Henkin, coAuthor, Tarski school of logic]

• A. “Logic, Semantics, Metamathematics”
  “Logic, Semantics, Metamathematics” is a landmark collection of Alfred Tarski’s foundational papers that helped shape modern logic, model theory, and the formal study of truth.
• B. Tarskian object-language/metalanguage distinction
  The Tarskian object-language/metalanguage distinction is a foundational semantic framework that separates the language in which statements are made from the higher-level language used to talk about and define their truth, thereby avoiding self-referential paradoxes like the liar paradox.
• C. Alfred Tarski
  Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
• D. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• E. Logic, Methodology and Science
  "Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
• 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: Tarski school of logic
Triple: [Leon Henkin, coAuthor, Tarski school of logic]

Tarski school of logic is a scholarly work on mathematical logic and the legacy of Alfred Tarski, reflecting the contributions and perspectives of his students and followers in the development of modern logic and model theory.

Target entity: Tarski school of logic
Target entity description: Tarski school of logic is a scholarly work on mathematical logic and the legacy of Alfred Tarski, reflecting the contributions and perspectives of his students and followers in the development of modern logic and model theory.

• A. “Logic, Semantics, Metamathematics”
  “Logic, Semantics, Metamathematics” is a landmark collection of Alfred Tarski’s foundational papers that helped shape modern logic, model theory, and the formal study of truth.
• B. Tarskian object-language/metalanguage distinction
  The Tarskian object-language/metalanguage distinction is a foundational semantic framework that separates the language in which statements are made from the higher-level language used to talk about and define their truth, thereby avoiding self-referential paradoxes like the liar paradox.
• C. Alfred Tarski
  Alfred Tarski was a Polish-American logician and mathematician renowned for his foundational work in model theory, formal semantics, and the concept of truth in formalized languages.
• D. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• E. Logic, Methodology and Science
  "Logic, Methodology and Science" is a scholarly work by philosopher Alan Musgrave that explores foundational issues in logic, scientific method, and the philosophy of science.
• F. None of above. chosen