Prémisse : Un différend entre le Honduras et le Salvador au sujet de leurs frontières a été réglé par un compromis élaboré par la CIJ en 1992.
Hypothèse : Le Honduras et le Salvador étaient en conflit au sujet de leurs frontières.
Relation : entailment