Assertion: comet | /r/HasProperty | heavenly bodies
Facets:
Source sentences:
text: In 1681, the Saxon pastor Georg Samuel Doerfel set forth his proofs that comets are heavenly bodies moving in parabolas of which the sun is the focus.
text: In 1681, the Saxon pastor Georg Samuel Doerfel set forth his proofs that comets are heavenly bodies moving in parabolas of which the sun is the focus.