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: John | Statement: [Mike Hawthorn, givenName, John]

Target entity: John
Context triple: [Mike Hawthorn, givenName, John]

• A. John
  John Vassall Jr. was a British civil servant who became notorious as a Soviet spy during the Cold War.
• B. John
  John is the given first name of Johnny Kilbane, an American featherweight boxing champion from the early 20th century.
• C. John
  John is the given name of John Albert William Spencer-Churchill, a British aristocrat and 10th Duke of Marlborough.
• D. John
  John is the given name of John Cornford, a British poet and communist who was killed while fighting in the Spanish Civil War.
• E. John
  John is the first name of American actor and musician John Stamos, best known for his role as Uncle Jesse on the television series "Full House."
• 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: John
Triple: [Mike Hawthorn, givenName, John]

John is the given first name of British racing driver Mike Hawthorn, the 1958 Formula One World Drivers' Champion.

Target entity: John
Target entity description: John is the given first name of British racing driver Mike Hawthorn, the 1958 Formula One World Drivers' Champion.

• A. John
  John is the given name of John Surtees, the legendary British motorcycle road racer and Formula One driver who uniquely won world championships on both two and four wheels.
• B. John
  John is the first name of Jack Charlton, the famed English footballer and World Cup–winning defender.
• C. John
  John is the first name of Jeremy Thorpe, a prominent British Liberal Party politician and former party leader.
• D. John
  John is the given first name of English football legend Jackie Milburn, a prolific striker for Newcastle United in the mid-20th century.
• E. John
  John is the given first name of Jack Northrop, the pioneering American aircraft industrialist and designer.
• F. None of above. chosen