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: Annex D (Real-Time Systems) | Statement: [GNAT, supportsStandard, Annex D (Real-Time Systems)]

Target entity: Annex D (Real-Time Systems)
Context triple: [GNAT, supportsStandard, Annex D (Real-Time Systems)]

• A. Temporal Verification of Reactive Systems
  "Temporal Verification of Reactive Systems" is a foundational book in formal methods that presents rigorous techniques for specifying and verifying the correctness of reactive and concurrent systems using temporal logic.
• B. Real-time Transport Control Protocol
  Real-time Transport Control Protocol (RTCP) is a companion protocol to RTP that provides out-of-band control, quality-of-service feedback, and synchronization for real-time audio and video streams over IP networks.
• C. LynxOS
  LynxOS is a real-time, POSIX-compliant operating system designed for embedded and mission-critical applications, particularly in aerospace, defense, and industrial systems.
• D. Operating Systems: Design and Implementation
  Operating Systems: Design and Implementation is a foundational textbook by Andrew S. Tanenbaum that presents the principles of operating system design alongside a detailed case study of the MINIX operating system.
• E. "Time, Clocks, and the Ordering of Events in a Distributed System"
  "Time, Clocks, and the Ordering of Events in a Distributed System" is a seminal 1978 paper that introduced logical clocks and the happened-before relation, fundamentally shaping the theory and practice of distributed computing.
• 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: Annex D (Real-Time Systems)
Triple: [GNAT, supportsStandard, Annex D (Real-Time Systems)]

Annex D (Real-Time Systems) is a specialized section of the Ada language standard that defines features and semantics for building deterministic, high-integrity real-time applications.

Target entity: Annex D (Real-Time Systems)
Target entity description: Annex D (Real-Time Systems) is a specialized section of the Ada language standard that defines features and semantics for building deterministic, high-integrity real-time applications.

• A. Temporal Verification of Reactive Systems
  "Temporal Verification of Reactive Systems" is a foundational book in formal methods that presents rigorous techniques for specifying and verifying the correctness of reactive and concurrent systems using temporal logic.
• B. Real-time Transport Control Protocol
  Real-time Transport Control Protocol (RTCP) is a companion protocol to RTP that provides out-of-band control, quality-of-service feedback, and synchronization for real-time audio and video streams over IP networks.
• C. LynxOS
  LynxOS is a real-time, POSIX-compliant operating system designed for embedded and mission-critical applications, particularly in aerospace, defense, and industrial systems.
• D. Operating Systems: Design and Implementation
  Operating Systems: Design and Implementation is a foundational textbook by Andrew S. Tanenbaum that presents the principles of operating system design alongside a detailed case study of the MINIX operating system.
• E. "Time, Clocks, and the Ordering of Events in a Distributed System"
  "Time, Clocks, and the Ordering of Events in a Distributed System" is a seminal 1978 paper that introduced logical clocks and the happened-before relation, fundamentally shaping the theory and practice of distributed computing.
• F. None of above. chosen