Assertion: celestial sphere's star | /r/HasProperty | its traditional names
Facets:
Source sentences:
text: The star is known by its traditional names Marfik, Marfak, or Marsic, all derived from the Arabic Al-Mirfaq, which means “the elbow.