Assertion: comet's designation | /r/HasProperty | 1i/2017 u1
Facets:
Source sentences:
text: The first example was 1I/ʻOumuamua, which has the formal designation 1I/2017 U1 (ʻOumuamua).