premise: Irma has visited Iron Mountain, Springville, Wethersfield, Loveland, Naperville, Harlingen, Albany, Tiverton, Yazoo City, Scottsdale, Pecos, New Brunswick, Frederick, Saint Joseph, Rockville, Oak Park and New Bern
hypothesis: Irma has visited more than sixteen places