find digital camera whose lcd screen resolution is 72000.0.
(AND digicams.digital_camera (JOIN digicams.digital_camera.lcd_pixels 72000.0^^http://www.w3.org/2001/XMLSchema#float))