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: Constraint Handling Rules | Statement: [Prolog, influenced, Constraint Handling Rules]

Target entity: Constraint Handling Rules
Context triple: [Prolog, influenced, Constraint Handling Rules]

• A. The Model of Rules I
  "The Model of Rules I" is a key chapter in Ronald Dworkin’s legal philosophy that challenges legal positivism by arguing that legal principles, not just rules, play a fundamental role in judicial decision-making.
• B. Karush–Kuhn–Tucker conditions
  The Karush–Kuhn–Tucker conditions are fundamental optimality criteria in nonlinear programming that generalize Lagrange multipliers to handle inequality constraints.
• C. Object Constraint Language
  Object Constraint Language is a formal specification language used primarily to define precise rules, constraints, and queries on UML models within software and systems modeling.
• D. Hudde’s rules
  Hudde’s rules are a set of 17th-century algebraic techniques for finding maxima, minima, and multiple roots of equations, regarded as an early contribution to the development of calculus.
• E. Laporte rule
  The Laporte rule is a selection rule in spectroscopy that states electronic transitions in centrosymmetric molecules or ions are only allowed between states of opposite parity, helping explain the intensity patterns of absorption and emission spectra.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Constraint Handling Rules
Target entity description: Constraint Handling Rules is a high-level declarative programming language extension designed for writing and solving constraint-based systems through rule-based transformations.

• A. The Model of Rules I
  "The Model of Rules I" is a key chapter in Ronald Dworkin’s legal philosophy that challenges legal positivism by arguing that legal principles, not just rules, play a fundamental role in judicial decision-making.
• B. Karush–Kuhn–Tucker conditions
  The Karush–Kuhn–Tucker conditions are fundamental optimality criteria in nonlinear programming that generalize Lagrange multipliers to handle inequality constraints.
• C. Object Constraint Language
  Object Constraint Language is a formal specification language used primarily to define precise rules, constraints, and queries on UML models within software and systems modeling.
• D. Hudde’s rules
  Hudde’s rules are a set of 17th-century algebraic techniques for finding maxima, minima, and multiple roots of equations, regarded as an early contribution to the development of calculus.
• E. Laporte rule
  The Laporte rule is a selection rule in spectroscopy that states electronic transitions in centrosymmetric molecules or ions are only allowed between states of opposite parity, helping explain the intensity patterns of absorption and emission spectra.
• F. None of above. chosen