Assertion: comet | /r/HasProperty | discovered after halley's comet
Facets:
Source sentences:
text: As its official designation implies, Encke's Comet was the first periodic comet discovered after Halley's Comet (designated 1P/Halley).