search

kovvalsky / prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro
MIT License
3 stars 0 forks source link

Proofs that disagree with gold labels #7

Open kovvalsky opened 3 years ago

kovvalsky commented 3 years ago

Given that not all gold labels are gold, the examples below are a mixture of false proofs and true proofs.

kovvalsky commented 3 years ago 
SICK: neutral;  LP: entailment
(4491):[7374]p Een man staat op de top van de rotsen met wolken erachter
(4489):[7374]h Iemand staat op een bergtop

The entailment proof is achieved because in ODWN top.n.01 and bergtop.n.02 are synonyms:

ODWN:

s('eng-30-08617963-n', _, 'top', 'n', 1, _).
s('eng-30-08617963-n', _, 'kruin', 'n', 2, _).
s('eng-30-08617963-n', _, 'apex', 'n', 1, _).
s('eng-30-08617963-n', _, 'bergtop', 'n', 2, _).
s('eng-30-08617963-n', _, 'piek', 'n', 10, _).

WN3.0:

s(108617963,1,'peak',n,4,2).
s(108617963,2,'crown',n,8,0).
s(108617963,3,'crest',n,2,3).
s(108617963,4,'top',n,3,8).
s(108617963,5,'tip',n,5,0).
s(108617963,6,'summit',n,2,0).
kovvalsky commented 3 years ago 
SICK: neutral,  LP: contradiction
(1989):[3181]p Een man is aan het wandelen in het bos
(1993):[3181]h De man is niet aan het wandelen in het bos

Due to lexical shift during teh translation: https://github.com/kovvalsky/prove_SICK_NL/issues/3#issue-816258462