Assertion: asterism's star | /r/Synonym | ludwig's star
Facets:
value: occasionally
type: DEGREE
Source sentences:
text: This star is occasionally known as "Ludwig's Star", it was observed on 2 December 1722 by the German astronomer Johann Georg Liebknecht (23 April 1679 – 17 September 1749) and named in honour of his patron the Landgrave Ludwig of Hessen-Darmstadt.