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: PSL(2,7) | Statement: [Fano plane, hasCollineationGroup, PSL(2,7)]

Target entity: PSL(2,7)
Context triple: [Fano plane, hasCollineationGroup, PSL(2,7)]

• A. PSL(2,7) chosen
  PSL(2,7) is a finite simple group of order 168, notable as the full automorphism group of the Klein quartic and as a key example in the theory of projective linear groups over finite fields.
• B. PGL(2,7)
  PGL(2,7) is the projective general linear group of 2×2 invertible matrices over the finite field with 7 elements, a finite group of order 336 that acts as the full collineation group of the projective line over that field.
• C. SL(2,7)
  SL(2,7) is the special linear group of 2×2 matrices with determinant 1 over the finite field with 7 elements, a non-abelian finite group of order 336 that plays an important role in group theory and geometry.
• D. PSL(2,ℤ/Nℤ)
  PSL(2,ℤ/Nℤ) is the projective special linear group of 2×2 matrices with entries in the ring of integers modulo N, modulo scalar matrices, forming a fundamental example of a finite (or, for composite N, generally non-simple) group in algebra and number theory.
• E. modular group PSL(2,Z)
  The modular group PSL(2,ℤ) is a fundamental discrete group of 2×2 integer matrices modulo sign, acting by fractional linear transformations on the upper half-plane and playing a central role in number theory, geometry, and the theory of modular forms.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: hasCollineationGroup
Context triple: [Fano plane, hasCollineationGroup, PSL(2,7)]

• A. hasIsometryGroup
  Indicates that one entity possesses or is associated with a particular isometry group describing all distance-preserving transformations of that entity.
• B. hasAutomorphism
  Indicates that there exists a structure-preserving bijection from an entity to itself that maintains all relevant relations and operations.
• C. hasConjugacyClasses
  Indicates that a group is associated with specific conjugacy classes, each consisting of elements that are mutually conjugate within the group.
• D. isMaximalSymmetryGroupOf
  Indicates that a group represents the largest possible symmetry group for a given object or structure, such that no strictly larger symmetry group of that object exists containing it.
• E. isConformalGroupOf
  Indicates that one entity is the conformal symmetry group associated with another entity, typically preserving angles and the conformal structure of that object or space.
• F. None of above. chosen