premise: Kathy has visited North Little Rock, Enterprise, Victoria, Independence, Lenox, South Orange Village, New Hope, Sunnyvale, Deadwood, Hobbs, Vermillion, Amherst, Salina, Paris, Pascagoula and Joplin
hypothesis: Kathy has visited more than fifteen places