No eta-reduction applied

kovvalsky / prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro

MIT License

3 stars 0 forks source link

Open kovvalsky opened 3 years ago

kovvalsky commented 3 years ago

It seems after fixing the terms one might still need to do beta-eta reduction. npn_robbert tree for the premise.

>> (5164):[8400]p Er is geen man die gitaar speelt naast een drummer
   (5162):[8400]h Een man speelt gitaar naast een drummer

kovvalsky commented 3 years ago

NPN robbert (1581):[2529]p Een kat eet maı̈s op de kolf (1582):[2529]h Er is geen kat die maı̈s eet op de kolf