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: Max-LIN-2 | Statement: [Max-E3-LIN-2, isSpecialCaseOf, Max-LIN-2]

Target entity: Max-LIN-2
Context triple: [Max-E3-LIN-2, isSpecialCaseOf, Max-LIN-2]

• A. Max-E3-LIN-2
  Max-E3-LIN-2 is a canonical constraint satisfaction optimization problem over linear equations modulo 2 with three variables per equation, widely used as a central example in hardness of approximation theory.
• B. Weighted Inclusive Gregory method
  The Weighted Inclusive Gregory method is a proportional vote-counting procedure used in some Single Transferable Vote elections that redistributes surplus votes from elected candidates using fractional, weighted transfers to maintain fairness and accuracy in representation.
• C. Maskin monotonicity
  Maskin monotonicity is a key condition in mechanism design theory that characterizes when a social choice rule can be implemented in Nash equilibrium.
• D. Kemeny–Young method
  The Kemeny–Young method is a voting system that ranks candidates by finding the ordering that best reflects voters’ pairwise preferences, minimizing overall disagreement.
• E. Shapley value
  The Shapley value is a solution concept in cooperative game theory that fairly allocates the total gains of cooperation among players based on their average marginal contributions across all possible coalitions.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Max-LIN-2
Target entity description: Max-LIN-2 is a computational optimization problem that seeks an assignment to Boolean variables maximizing the number of satisfied linear equations modulo 2.

• A. Max-E3-LIN-2 chosen
  Max-E3-LIN-2 is a canonical constraint satisfaction optimization problem over linear equations modulo 2 with three variables per equation, widely used as a central example in hardness of approximation theory.
• B. Weighted Inclusive Gregory method
  The Weighted Inclusive Gregory method is a proportional vote-counting procedure used in some Single Transferable Vote elections that redistributes surplus votes from elected candidates using fractional, weighted transfers to maintain fairness and accuracy in representation.
• C. Maskin monotonicity
  Maskin monotonicity is a key condition in mechanism design theory that characterizes when a social choice rule can be implemented in Nash equilibrium.
• D. Kemeny–Young method
  The Kemeny–Young method is a voting system that ranks candidates by finding the ordering that best reflects voters’ pairwise preferences, minimizing overall disagreement.
• E. Shapley value
  The Shapley value is a solution concept in cooperative game theory that fairly allocates the total gains of cooperation among players based on their average marginal contributions across all possible coalitions.
• F. None of above.