Assertion: spin | /r/HasProperty | maximal group
Facets:
value: in the sequence
type: LOCATION
Source sentences:
text: If the spin group is simply connected (as Spin(n) is for n > 2), then Spin is the maximal group in the sequence, and one has a sequence of three groups,