Assertion: inner moon | /r/HasProperty | discovered
Facets:
Source sentences:
text: The numbered names (Jupiter x) were used until the mid-20th century when other inner moons were discovered, and Marius' names became widely used.
text: Smaller inner moons may eventually be discovered.