Assertion: planet | /r/HasProperty | 9 main planets
Facets:
Source sentences:
text: Currently, only 5 planets – Pluto, Ceres, Makemake, Haumea, and Eris – are known as dwarf planets, while there are 9 main planets, which includes the earth.