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

Target entity: Andrei Voronkov
Context triple: [Herbrand Award, notableRecipient, Andrei Voronkov]

• A. Andrei Zelentsov
  Andrei Zelentsov was a Soviet military commander best known for leading Red Army forces during the Winter War against Finland, including in the Battle of Suomussalmi.
• B. Oleg Baklanov
  Oleg Baklanov was a Soviet politician and high-ranking official who played a key role as one of the hardline plotters in the failed 1991 coup attempt against Mikhail Gorbachev.
• C. Sergei Udaltsov
  Sergei Udaltsov is a Russian left-wing opposition activist and politician known for organizing and leading anti-Kremlin protests, including the large-scale demonstrations following the 2011 parliamentary elections.
• D. Vladimir Yurzinov
  Vladimir Yurzinov is a prominent Russian ice hockey coach and former player, best known for his successful leadership of top Soviet and Russian clubs and contributions to the national team.
• E. Andrey Yeremenko
  Andrey Yeremenko was a Soviet general and Marshal of the Soviet Union who played a key leadership role on the Eastern Front during World War II, particularly in major operations against Nazi Germany.
• 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: Andrei Voronkov
Triple: [Herbrand Award, notableRecipient, Andrei Voronkov]

Andrei Voronkov is a computer scientist known for his influential work in automated reasoning and theorem proving.

Target entity: Andrei Voronkov
Target entity description: Andrei Voronkov is a computer scientist known for his influential work in automated reasoning and theorem proving.

• A. Andrei Zelentsov
  Andrei Zelentsov was a Soviet military commander best known for leading Red Army forces during the Winter War against Finland, including in the Battle of Suomussalmi.
• B. Oleg Baklanov
  Oleg Baklanov was a Soviet politician and high-ranking official who played a key role as one of the hardline plotters in the failed 1991 coup attempt against Mikhail Gorbachev.
• C. Sergei Udaltsov
  Sergei Udaltsov is a Russian left-wing opposition activist and politician known for organizing and leading anti-Kremlin protests, including the large-scale demonstrations following the 2011 parliamentary elections.
• D. Vladimir Yurzinov
  Vladimir Yurzinov is a prominent Russian ice hockey coach and former player, best known for his successful leadership of top Soviet and Russian clubs and contributions to the national team.
• E. Andrey Yeremenko
  Andrey Yeremenko was a Soviet general and Marshal of the Soviet Union who played a key leadership role on the Eastern Front during World War II, particularly in major operations against Nazi Germany.
• F. None of above. chosen