Columbus,  National Center for Research in Vocational Education, 1980.
Columbus is a city in Ohio.
mnli hypothesis: Columbus is a city in Ohio. premise: Columbus,  National Center for Research in Vocational Education, 1980.