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: Temporal Logic of Actions | Statement: [TLA+, basedOn, Temporal Logic of Actions]

Target entity: Temporal Logic of Actions
Context triple: [TLA+, basedOn, Temporal Logic of Actions]

• A. Temporal Logic of Actions chosen
  Temporal Logic of Actions is a formal framework for specifying and reasoning about concurrent and distributed systems using temporal logic to describe system behaviors over time.
• B. The Temporal Logic of Programs
  The Temporal Logic of Programs is a landmark 1977 paper by Amir Pnueli that introduced temporal logic as a formal framework for specifying and verifying the behavior of concurrent and reactive computer programs.
• C. The Logical Form of Action Sentences
  "The Logical Form of Action Sentences" is a seminal essay by Donald Davidson that argues for analyzing action statements using an event-based logical framework, profoundly influencing the philosophy of language and action theory.
• D. branching-time temporal logic CTL*
  Branching-time temporal logic CTL* is a highly expressive formalism in computer science used to specify and reason about the behavior of concurrent and reactive systems over branching time structures.
• E. 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.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.