rainy(seattle). rainy(rochester).