Premis: Wilayah administrasi Kota Solok berbatasan dengan Kabupaten Solok dan Kota Padang.
Hipotesis: Kota Solok berbatasan dengan ibukota Provinsi Sumatra Barat.
Label: entailment