what lake has the maximum width of 0.5243?
(AND geography.lake (JOIN geography.lake.width 0.5243^^http://www.w3.org/2001/XMLSchema#float))