Assertion: celestial sphere's star | /r/HasProperty | main sequence subgiant
Facets:
Source sentences:
text: The primary star is a main sequence subgiant belonging to the spectral class A3 IV, twice the size of the Sun.