kovvalsky / prove_SICK_NL

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

ODWN says `kat` isa `hond`, seriously? #31

Open kovvalsky opened 2 years ago

kovvalsky commented 2 years ago
% in WNProlog/wn_s.pl:
s('eng-30-02084071-n', _, 'hond', 'n', 1, _).
s('odwn-10-104754060-n', _, 'kat', 'n', 1, _).
s('eng-30-01318894-n', _, 'huisdier', 'n', 1, _).
% in WNProlog/wn_hyp.pl:
hyp('eng-30-02084071-n', 'eng-30-01318894-n').
hyp('eng-30-01318894-n', 'eng-30-02084071-n').
hyp('odwn-10-104754060-n', 'eng-30-01318894-n').

Because of this, the following 6 neutral problems are wrongly proved as entailment:

5663: E-[NEUTRAL]
--
P:trg: De kat likt een fles
src: The cat is licking a bottle
H:trg: De hond likt een fles
src: The dog is licking a bottle

7890: E-[NEUTRAL]
--
P:trg: Twee witte katten spelen met een bruine hond en een bal
src: Two white cats are playing with a brown dog and a ball
H:trg: Twee witte honden spelen met een bruine hond en een bal
src: Two white dogs are playing with a brown dog and a ball

8173: E-[NEUTRAL]
--
P:trg: Een grote bruine kat springt over een rode hindernis
src: A large brown cat is jumping over a red hurdle
H:trg: Een grote bruine hond springt over een rode hindernis
src: A large brown dog is jumping over a red hurdle

9167: E-[NEUTRAL]
--
P:trg: Een bruine en witte kat springt op de stoep
src: A brown and white cat is jumping on the sidewalk
H:trg: Een bruine en witte hond springt op de stoep
src: A brown and white dog is jumping on the sidewalk

9185: E-[NEUTRAL]
--
P:trg: Een gele kat zit achter een bal aan
src: A yellow cat is chasing a ball
H:trg: Een gele hond zit achter een bal aan
src: A yellow dog is chasing a ball

9697: E-[NEUTRAL]
--
P:trg: Een vrouw laat een kleine kat zien aan een kind
src: A woman is showing a small cat to an infant
H:trg: Een vrouw laat een kleine hond aan een kind zien
src: A woman is showing a small dog to an infant
kovvalsky commented 2 years ago

@konstantinosKokos could you verify if this is really coming from ODWN files?

konstantinosKokos commented 2 years ago

cant replicate from files