how many iso settings does the camera with 3.1 resolution have?
(COUNT (AND digicams.camera_iso (JOIN (R digicams.digital_camera.iso_setting) (JOIN digicams.digital_camera.effective_resolution 3.1^^http://www.w3.org/2001/XMLSchema#float))))