what's the compressed format of a camera manufactured by sony, that has a weight less than 180.0?
(AND digicams.camera_compressed_format (JOIN digicams.camera_compressed_format.cameras (AND (lt digicams.digital_camera.weight 180.0^^http://www.w3.org/2001/XMLSchema#float) (JOIN digicams.digital_camera.manufacturer m.06q07))))