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: Kenneth McMillan | Statement: [Edmund M. Clarke, notableStudent, Kenneth McMillan]

Target entity: Kenneth McMillan
Context triple: [Edmund M. Clarke, notableStudent, Kenneth McMillan]

• A. Bruce McCulloch
  Bruce McCulloch is a Canadian actor, writer, and comedian best known as one of the core members of the sketch comedy troupe The Kids in the Hall.
• B. Allan MacEachen
  Allan MacEachen was a prominent Canadian Liberal politician and long-serving cabinet minister who played a key role in shaping Canada's domestic and foreign policy in the late 20th century.
• C. Douglas McPhail
  Douglas McPhail was an American singer and actor active in the late 1930s and early 1940s, known for his musical film roles at MGM.
• D. Bob MacKinnon
  Bob MacKinnon was an American basketball coach known for his work in the ABA and NBA, including leading the Spirits of St. Louis.
• E. Don Jamieson
  Don Jamieson was a Canadian Liberal politician and cabinet minister who served prominently in federal government roles, including in foreign affairs, during the latter half of the 20th century.
• 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: Kenneth McMillan
Triple: [Edmund M. Clarke, notableStudent, Kenneth McMillan]

Kenneth McMillan is a computer scientist known for his influential work in model checking and formal verification.

Target entity: Kenneth McMillan
Target entity description: Kenneth McMillan is a computer scientist known for his influential work in model checking and formal verification.

• A. Bruce McCulloch
  Bruce McCulloch is a Canadian actor, writer, and comedian best known as one of the core members of the sketch comedy troupe The Kids in the Hall.
• B. Allan MacEachen
  Allan MacEachen was a prominent Canadian Liberal politician and long-serving cabinet minister who played a key role in shaping Canada's domestic and foreign policy in the late 20th century.
• C. Douglas McPhail
  Douglas McPhail was an American singer and actor active in the late 1930s and early 1940s, known for his musical film roles at MGM.
• D. Bob MacKinnon
  Bob MacKinnon was an American basketball coach known for his work in the ABA and NBA, including leading the Spirits of St. Louis.
• E. Don Jamieson
  Don Jamieson was a Canadian Liberal politician and cabinet minister who served prominently in federal government roles, including in foreign affairs, during the latter half of the 20th century.
• F. None of above. chosen