Assertion: camera lens's length | /r/HasProperty | 15–16 mm
Facets:
value: for full-frame images
type: PURPOSE
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.