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: Zohar Manna | Statement: [Herbrand Award, notableRecipient, Zohar Manna]

Target entity: Zohar Manna
Context triple: [Herbrand Award, notableRecipient, Zohar Manna]

• A. Zohar
  The Zohar is the central mystical text of Jewish Kabbalah, presenting esoteric interpretations of the Torah and profound teachings on the nature of God, the cosmos, and the soul.
• B. Haggadah
  The Haggadah is a Jewish religious text that sets forth the order of the Passover Seder, combining biblical narrative, prayers, and ritual instructions.
• C. Sefer Yetzirah
  Sefer Yetzirah is an early foundational work of Jewish mysticism that explores creation through the Hebrew letters and the ten sefirot.
• D. Arba’ah Turim
  Arba’ah Turim is a foundational 14th-century Jewish legal code by Rabbi Jacob ben Asher that systematically organizes and clarifies halakhic rulings for practical religious life.
• E. Am Segula
  Am Segula is a Hebrew term referring to the Jewish people as a "treasured" or "chosen" nation with a special covenantal relationship to God.
• 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: Zohar Manna
Triple: [Herbrand Award, notableRecipient, Zohar Manna]

Zohar Manna was a pioneering computer scientist known for his foundational work in mathematical logic, program verification, and the formal methods of software correctness.

Target entity: Zohar Manna
Target entity description: Zohar Manna was a pioneering computer scientist known for his foundational work in mathematical logic, program verification, and the formal methods of software correctness.

• A. Zohar
  The Zohar is the central mystical text of Jewish Kabbalah, presenting esoteric interpretations of the Torah and profound teachings on the nature of God, the cosmos, and the soul.
• B. Haggadah
  The Haggadah is a Jewish religious text that sets forth the order of the Passover Seder, combining biblical narrative, prayers, and ritual instructions.
• C. Sefer Yetzirah
  Sefer Yetzirah is an early foundational work of Jewish mysticism that explores creation through the Hebrew letters and the ten sefirot.
• D. Arba’ah Turim
  Arba’ah Turim is a foundational 14th-century Jewish legal code by Rabbi Jacob ben Asher that systematically organizes and clarifies halakhic rulings for practical religious life.
• E. Am Segula
  Am Segula is a Hebrew term referring to the Jewish people as a "treasured" or "chosen" nation with a special covenantal relationship to God.
• F. None of above. chosen