Proofs that disagree with gold labels about prove_sick_nl

[kovvalsky]

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]

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: #3 (comment)