Assertion: star | /r/HasProperty | seen by same observer
Facets:
Source sentences:
text: Generally, if a star whose declination is δ is circumpolar for some observer (where δ is either positive or negative), then a star whose declination is −δ never rises above the horizon, as seen by the same observer.