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: linear logic | Statement: [Dale Miller, influencedBy, linear logic]

Target entity: linear logic
Context triple: [Dale Miller, influencedBy, linear logic]

• A. Description Logic
  Description Logic is a family of formal knowledge representation languages used to model and reason about the concepts and relationships within a domain, forming the logical foundation of ontology languages like OWL.
• B. Intensional Logic
  Intensional Logic is a branch of logic that studies meaning, modality, and context-dependence in language and reasoning, extending classical logic to handle notions like necessity, belief, and time.
• C. Proof Methods for Modal and Intuitionistic Logics
  "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
• D. linear temporal logic
  Linear temporal logic is a modal temporal logic used in computer science and formal methods to specify and reason about the behavior of systems over linear sequences of time, using operators that describe how properties evolve in the future.
• 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: linear logic
Triple: [Dale Miller, influencedBy, linear logic]

Linear logic is a substructural logic introduced by Jean-Yves Girard that treats logical propositions as resources, carefully tracking their use to model state change, concurrency, and resource-sensitive computation.

Target entity: linear logic
Target entity description: Linear logic is a substructural logic introduced by Jean-Yves Girard that treats logical propositions as resources, carefully tracking their use to model state change, concurrency, and resource-sensitive computation.

• A. Description Logic
  Description Logic is a family of formal knowledge representation languages used to model and reason about the concepts and relationships within a domain, forming the logical foundation of ontology languages like OWL.
• B. Intensional Logic
  Intensional Logic is a branch of logic that studies meaning, modality, and context-dependence in language and reasoning, extending classical logic to handle notions like necessity, belief, and time.
• C. Proof Methods for Modal and Intuitionistic Logics
  "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
• D. linear temporal logic
  Linear temporal logic is a modal temporal logic used in computer science and formal methods to specify and reason about the behavior of systems over linear sequences of time, using operators that describe how properties evolve in the future.
• 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