what is the number of iso settings a camera with a resolution of 9.0 has?
(COUNT (AND digicams.camera_iso (JOIN (R digicams.digital_camera.iso_setting) (JOIN digicams.digital_camera.effective_resolution 9.0^^http://www.w3.org/2001/XMLSchema#float))))