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: Reactive Systems Group at Weizmann Institute of Science | Statement: [Amir Pnueli, founded, Reactive Systems Group at Weizmann Institute of Science]

Target entity: Reactive Systems Group at Weizmann Institute of Science
Context triple: [Amir Pnueli, founded, Reactive Systems Group at Weizmann Institute of Science]

• A. Board of Governors of the Weizmann Institute of Science
  The Board of Governors of the Weizmann Institute of Science is the institution’s highest governing body, composed of leading figures from academia, industry, and public life who oversee its strategic direction, policies, and long-term development.
• B. Faculty of Mathematics and Computer Science, Weizmann Institute of Science
  The Faculty of Mathematics and Computer Science at the Weizmann Institute of Science is an academic division specializing in advanced research and graduate education in pure and applied mathematics, theoretical computer science, and related computational fields.
• C. Weizmann Institute of Science
  The Weizmann Institute of Science is a leading multidisciplinary research university in Rehovot, Israel, renowned for its pioneering work in natural and exact sciences.
• D. Weizmann
  Weizmann is a Jewish surname most prominently associated with Chaim Weizmann, the chemist and statesman who became the first President of Israel.
• E. Herzliya Interdisciplinary Center
  Herzliya Interdisciplinary Center is a private research university in Herzliya, Israel, known for its interdisciplinary programs in law, business, government, and social sciences.
• 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: Reactive Systems Group at Weizmann Institute of Science
Triple: [Amir Pnueli, founded, Reactive Systems Group at Weizmann Institute of Science]

The Reactive Systems Group at the Weizmann Institute of Science is a research group specializing in formal methods and the theory and verification of reactive and concurrent systems.

Target entity: Reactive Systems Group at Weizmann Institute of Science
Target entity description: The Reactive Systems Group at the Weizmann Institute of Science is a research group specializing in formal methods and the theory and verification of reactive and concurrent systems.

• A. Board of Governors of the Weizmann Institute of Science
  The Board of Governors of the Weizmann Institute of Science is the institution’s highest governing body, composed of leading figures from academia, industry, and public life who oversee its strategic direction, policies, and long-term development.
• B. Faculty of Mathematics and Computer Science, Weizmann Institute of Science chosen
  The Faculty of Mathematics and Computer Science at the Weizmann Institute of Science is an academic division specializing in advanced research and graduate education in pure and applied mathematics, theoretical computer science, and related computational fields.
• C. Weizmann Institute of Science
  The Weizmann Institute of Science is a leading multidisciplinary research university in Rehovot, Israel, renowned for its pioneering work in natural and exact sciences.
• D. Weizmann
  Weizmann is a Jewish surname most prominently associated with Chaim Weizmann, the chemist and statesman who became the first President of Israel.
• E. Herzliya Interdisciplinary Center
  Herzliya Interdisciplinary Center is a private research university in Herzliya, Israel, known for its interdisciplinary programs in law, business, government, and social sciences.
• F. None of above.