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: System F | Statement: [Hindley–Milner type system, restrictionOf, System F]

Target entity: System F
Context triple: [Hindley–Milner type system, restrictionOf, System F]

• A. System F chosen
  System F is a polymorphic lambda calculus that extends simple type systems with universal quantification over types, forming a foundational framework for studying typed functional programming and type theory.
• B. Hindley–Milner type system
  The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
• C. Franz Lisp
  Franz Lisp is a dialect of the Lisp programming language developed in the late 1970s at the University of California, Berkeley, primarily for use in artificial intelligence research and symbolic computation.
• D. Chez Scheme
  Chez Scheme is a high-performance, optimizing implementation of the Scheme programming language widely used for both research and production systems.
• E. Landin’s SECD machine
  Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: restrictionOf
Context triple: [Hindley–Milner type system, restrictionOf, System F]

• A. restrictionOfPact
  Indicates a relationship where one pact imposes limitations, conditions, or constraints on another pact or agreement.
• B. restriction chosen
  Indicates a limiting condition or rule that constrains or controls what an entity can do, use, or access in relation to another entity or context.
• C. notableRestriction
  Indicates that there is a significant limitation, constraint, or prohibition that meaningfully affects the entity or its use.
• D. restrictedFromUseFor
  Indicates that something is prohibited or limited from being used for a specified purpose, context, or application.
• E. mandateRestriction
  Indicates that an authority imposes a binding limitation or requirement on an entity’s actions or conditions.
• F. None of above.