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: Gibbard–Satterthwaite theorem | Statement: [Arrow’s impossibility theorem, relatedTo, Gibbard–Satterthwaite theorem]

Target entity: Gibbard–Satterthwaite theorem
Context triple: [Arrow’s impossibility theorem, relatedTo, Gibbard–Satterthwaite theorem]

• A. Arrow’s impossibility theorem
  Arrow’s impossibility theorem is a foundational result in social choice theory showing that no voting system can convert individual preferences into a collective ranking while simultaneously satisfying a set of seemingly reasonable fairness criteria.
• B. Condorcet paradox
  The Condorcet paradox is a voting theory phenomenon where collective preferences can become cyclic and inconsistent, even when individual voters’ preferences are perfectly rational and transitive.
• C. Collective Choice and Social Welfare
  Collective Choice and Social Welfare is a foundational work in social choice theory that rigorously examines how individual preferences can be aggregated into collective decisions while addressing issues of welfare, justice, and fairness.
• D. Arrow paradox
  The Arrow paradox is an ancient philosophical argument that challenges the coherence of motion by claiming that a flying arrow must be motionless at every instant of its flight.
• E. Kuhn’s theorem
  Kuhn’s theorem is a fundamental result in game theory that shows any finite extensive-form game with perfect recall has an equivalent normal-form (strategic-form) representation, ensuring the existence of mixed-strategy equilibria.
• 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: Gibbard–Satterthwaite theorem
Triple: [Arrow’s impossibility theorem, relatedTo, Gibbard–Satterthwaite theorem]

The Gibbard–Satterthwaite theorem is a fundamental result in social choice theory showing that every reasonable voting system with at least three options is susceptible to strategic manipulation by voters.

Target entity: Gibbard–Satterthwaite theorem
Target entity description: The Gibbard–Satterthwaite theorem is a fundamental result in social choice theory showing that every reasonable voting system with at least three options is susceptible to strategic manipulation by voters.

• A. Arrow’s impossibility theorem
  Arrow’s impossibility theorem is a foundational result in social choice theory showing that no voting system can convert individual preferences into a collective ranking while simultaneously satisfying a set of seemingly reasonable fairness criteria.
• B. Condorcet paradox
  The Condorcet paradox is a voting theory phenomenon where collective preferences can become cyclic and inconsistent, even when individual voters’ preferences are perfectly rational and transitive.
• C. Collective Choice and Social Welfare
  Collective Choice and Social Welfare is a foundational work in social choice theory that rigorously examines how individual preferences can be aggregated into collective decisions while addressing issues of welfare, justice, and fairness.
• D. Arrow paradox
  The Arrow paradox is an ancient philosophical argument that challenges the coherence of motion by claiming that a flying arrow must be motionless at every instant of its flight.
• E. Kuhn’s theorem
  Kuhn’s theorem is a fundamental result in game theory that shows any finite extensive-form game with perfect recall has an equivalent normal-form (strategic-form) representation, ensuring the existence of mixed-strategy equilibria.
• F. None of above. chosen