Assertion list
lens (aspect of camera ) → AtLocation
Results from Ascent++: 2
lens → AtLocation → the sensor 0.25
lens → AtLocation → the tip of the endoscope 0.25