Assertion: comet's designation | /r/HasProperty | comet c/2007 n3
Facets:
Source sentences:
text: The comet was named "Comet Lulin" after the observatory, and its official designation is Comet C/2007 N3.