They also promised to try to solve their border dispute over Kashmir.
Kashmir's border dispute had proved intractable thus far.
mnli hypothesis: Kashmir's border dispute had proved intractable thus far. premise: They also promised to try to solve their border dispute over Kashmir.