Assertion: asterism's star | /r/HasProperty | mismar
Facets:
Source sentences:
text: The star has been known by many other names, including Alruccabah, Navigatoria, Mismar, Yilduz, and Star of Arcady.