Premise: Vallejo ( [ vəˈleɪ.oʊ , _ - hoʊ ] ; Spanish : [ baˈʎexo ] ) is a waterfront port city in Solano County , California , located in the North Bay region of the San Francisco Bay Area .
Hypothesis: There is a port named Vallejo, California.
Label: ENTAILMENT