Assertion: known moon | /r/HasProperty | pluto
Facets:
Source sentences:
text: The half-dozen largest candidates have either been visited by spacecraft (Pluto and Ceres) or have at least one known moon (Pluto, Eris, Haumea, Makemake, Gonggong, Quaoar), which allows their masses and thus an estimate of their densities to be determined.