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: Peter B. Bendix | Statement: [Knuth–Bendix completion algorithm, inventedBy, Peter B. Bendix]

Target entity: Peter B. Bendix
Context triple: [Knuth–Bendix completion algorithm, inventedBy, Peter B. Bendix]

• A. William S. Knudsen
  William S. Knudsen was a Danish-American automotive executive and industrialist who played a key role in organizing U.S. mass production for World War II.
• B. Poul Martin Bendix
  Poul Martin Bendix is a physicist and academic known for supervising and mentoring researchers such as Lene Vestergaard Hau during their doctoral studies.
• C. Adolph B. Jepsen
  Adolph B. Jepsen was an individual notable enough to be recorded as a distinguished bearer of the Jepsen surname, though specific widely known biographical details about him are limited.
• D. Hunt Stromberg
  Hunt Stromberg was a prominent American film producer of Hollywood’s Golden Age, best known for his work at MGM on numerous classic films of the 1930s and 1940s.
• E. Robert B. C. Noorduyn
  Robert B. C. Noorduyn was a Dutch-Canadian aircraft designer and aviation pioneer best known for creating rugged bush planes that were instrumental in opening up remote regions of Canada.
• 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: Peter B. Bendix
Triple: [Knuth–Bendix completion algorithm, inventedBy, Peter B. Bendix]

Peter B. Bendix is a computer scientist known for co-developing the Knuth–Bendix completion algorithm, a fundamental method in automated theorem proving and term rewriting systems.

Target entity: Peter B. Bendix
Target entity description: Peter B. Bendix is a computer scientist known for co-developing the Knuth–Bendix completion algorithm, a fundamental method in automated theorem proving and term rewriting systems.

• A. William S. Knudsen
  William S. Knudsen was a Danish-American automotive executive and industrialist who played a key role in organizing U.S. mass production for World War II.
• B. Poul Martin Bendix
  Poul Martin Bendix is a physicist and academic known for supervising and mentoring researchers such as Lene Vestergaard Hau during their doctoral studies.
• C. Adolph B. Jepsen
  Adolph B. Jepsen was an individual notable enough to be recorded as a distinguished bearer of the Jepsen surname, though specific widely known biographical details about him are limited.
• D. Hunt Stromberg
  Hunt Stromberg was a prominent American film producer of Hollywood’s Golden Age, best known for his work at MGM on numerous classic films of the 1930s and 1940s.
• E. Robert B. C. Noorduyn
  Robert B. C. Noorduyn was a Dutch-Canadian aircraft designer and aviation pioneer best known for creating rugged bush planes that were instrumental in opening up remote regions of Canada.
• F. None of above. chosen