premise: Verna has visited Kansas City, Spearfish, Silver City, Paris, New Albany, Sharon, Peoria, Simsbury, Lynchburg, Clinton, Salem, Lake City, Ontario, Newton, Freeport, Saratoga Springs, Florence, Portsmouth, Wisconsin and Grand Haven
hypothesis: Verna has visited less than twenty-four places