Label-correct but poor proves

kovvalsky / prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro

MIT License

3 stars 0 forks source link

Label-correct but poor proves #9

Open kovvalsky opened 3 years ago

kovvalsky commented 3 years ago

These are the proves that correctly predict SICK-labels but from a semantic point of view they are not the good ones

kovvalsky commented 3 years ago

SICK: entailment
(840):[1333]p De vrouw meet de andere vrouw
(841):[1333]h Een vrouw wordt gemeten door een andere vrouw

Ideally andere should introduce inequality. Instead, the proof is achieved by assuming the De vrouwe referent is self-measuring herself. This is due to the way semantics of the is modeled in LangPro.