search

kovvalsky / prove_SICK_NL

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

`ontX` vs `X` #30

Open kovvalsky opened 3 years ago

kovvalsky commented 3 years ago

It seems some bug that ontvouwen entails vouwen. Is it originally coming from ODWN? or is it a bug in the integration? 

word_hyp(_, ontvouwen, vouwen, Num, SN1, SN2, Path).
Num = '2',
SN1 = SN2, SN2 = 2,
Path = ['eng-30-01277974-v'] ;
kovvalsky commented 3 years ago

One can actually create a rule that makes ont-X and X disjoint concepts, but Alpino doesn't provide decomposition in lemma:

image

kovvalsky commented 3 years ago

This problem is affected

 3405: E-[CONTRADICTION]
P:trg: A person is unfolding a tortilla
  src: Een persoon ontvouwt een tortilla
H:trg: A person is folding a tortilla
  src: Een persoon is een tortilla aan het vouwen