Assertion: circle's diameter | /r/AtLocation | average 14mm–16mm
Facets:
Source sentences:
text: The diameter of regular contact lenses that are sold in the United States are on average 14mm–16mm.