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: routley star semantics | Statement: [Graham Priest, hasConcept, routley star semantics]

Target entity: routley star semantics
Context triple: [Graham Priest, hasConcept, routley star semantics]

• A. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• B. Kleene strong three-valued logic
  Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.
• C. Kripke fixed-point theory of truth
  The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
• D. Fregean semantics
  Fregean semantics is a theory of meaning in philosophy of language that distinguishes between the sense (Sinn) and reference (Bedeutung) of linguistic expressions to explain how terms can be cognitively significant even when they refer to the same object.
• E. 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.
• 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: routley star semantics
Triple: [Graham Priest, hasConcept, routley star semantics]

Routley star semantics is a possible-worlds-style semantic framework for relevant and paraconsistent logics that uses a special “star” operation on worlds to model negation without explosion.

Target entity: routley star semantics
Target entity description: Routley star semantics is a possible-worlds-style semantic framework for relevant and paraconsistent logics that uses a special “star” operation on worlds to model negation without explosion.

• A. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• B. Kleene strong three-valued logic
  Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.
• C. Kripke fixed-point theory of truth
  The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
• D. Fregean semantics
  Fregean semantics is a theory of meaning in philosophy of language that distinguishes between the sense (Sinn) and reference (Bedeutung) of linguistic expressions to explain how terms can be cognitively significant even when they refer to the same object.
• E. 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.
• F. None of above. chosen