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: SO^+(3,1) | Statement: [SL(2,C), quotientByCenterIsIsomorphicTo, SO^+(3,1)]

Target entity: SO^+(3,1)
Context triple: [SL(2,C), quotientByCenterIsIsomorphicTo, SO^+(3,1)]

• A. Lorentz group chosen
  The Lorentz group is the mathematical group of spacetime symmetries in special relativity, consisting of all rotations and boosts that preserve the Minkowski spacetime interval.
• B. Poincaré group
  The Poincaré group is the fundamental symmetry group of special relativity, combining spacetime translations with Lorentz transformations in four-dimensional Minkowski space.
• C. special orthogonal group SO(n)
  The special orthogonal group SO(n) is the group of all n×n real rotation matrices with determinant 1, representing orientation-preserving isometries of n-dimensional Euclidean space that fix the origin.
• D. SO(2,d-1)
  SO(2,d-1) is the non-compact Lorentz group in (d+1) dimensions that serves as the symmetry group of d-dimensional anti-de Sitter space and plays a central role in AdS/CFT correspondence.
• E. Galilean group
  The Galilean group is the mathematical group of spacetime transformations—comprising translations, rotations, and Galilean boosts—that characterize the symmetries of classical Newtonian mechanics.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: quotientByCenterIsIsomorphicTo
Context triple: [SL(2,C), quotientByCenterIsIsomorphicTo, SO^+(3,1)]

• A. hasTrivialCenter
  Indicates that the group’s center consists only of the identity element, meaning it has no nontrivial elements that commute with all others.
• B. isSemidirectProductOf
  Indicates that a group is constructed as a semidirect product of two subgroups, where one subgroup acts on the other via automorphisms in a way that generalizes the direct product.
• C. isQuotientOf chosen
  Indicates that one quantity is the result of dividing another quantity by a specified divisor.
• D. isMaximalSubgroupOf
  Indicates that one group is a proper subgroup of another that is not contained in any larger proper subgroup of that group.
• E. isSubquotientOf
  Indicates that one object can be obtained from another by first taking a subobject and then forming a quotient of that subobject.
• F. None of above.