Assertion: dime | /r/HasProperty | found with either 13 or 16 stars
Facets:
Source sentences:
text: Therefore, 1797 dimes can be found with either 13 or 16 stars.