premise: Belinda has only visited Glenwood Springs, Columbia, Huntington Beach, Gainesville, Cahokia, East Providence, Alliance, Menominee, Whitman, Norton, Bloomfield and West Allis
hypothesis: Belinda didn't visit West Allis