Assertion: subsurface ocean | /r/HasProperty | based upon single type of observation
Facets:
Source sentences:
text: A host of other bodies in the Solar System are considered candidates to host subsurface oceans based upon a single type of observation or by theoretical modeling, including Ariel, Ceres, Dione, Eris, Mimas, Miranda, Oberon, Pluto, and Triton.