Assertion: lens's length | /r/HasProperty | mm
Facets:
Source sentences:
text: For the popular 35 mm film format, typical focal lengths of fisheye lenses are between 8 mm and 10 mm for circular images, and 15–16 mm for full-frame images.