kovvalsky / prove_SICK_NL

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

In ODWN, `staan` entails `zitten` #32

Open kovvalsky opened 2 years ago

kovvalsky commented 2 years ago

In ODWN, staan entails zitten

WNProlog/wn_s.pl:s('eng-30-01546111-v', _, 'staan', 'v', 1, _).
WNProlog/wn_s.pl:s('eng-30-01546111-v', _, 'stellen', 'v', 9, _).
WNProlog/wn_s.pl:s('eng-30-01546111-v', _, 'de kat sturen', 'v', 1, _). % this is also weird as it means "not to show up"

WNProlog/wn_hyp.pl:hyp('eng-30-01546111-v', 'eng-30-02655135-v').

WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'zijn', 'v', 2, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'ophouden', 'v', 4, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'bevinden', 'v', 3, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'zitten', 'v', 2, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'uithangen', 'v', 1, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'pozen', 'v', 1, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'toeven', 'v', 1, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'verkeren', 'v', 2, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'verwijlen', 'v', 1, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'wezen', 'v', 2, _).
WNProlog/wn_s.pl:s('eng-30-02655135-v', _, 'vertoeven', 'v', 1, _).

And wrongly proves these problems:

6099: E-[NEUTRAL]
P:trg: Een man staat naast een grote en kleurrijke vogelkooi
src: A man is standing beside a large and colorful birdcage
H:trg: De man zit naast een vogelkooi
src: The man is sitting next to a birdcage

6549: E-[NEUTRAL]
P:trg: Een kleine jongen staat in het bos
src: A small boy is standing in the forest
H:trg: Een kleine jongen zit in het bos
src: A small boy is sitting in the forest

7196: E-[NEUTRAL]
P:trg: Een man staat op een stoep
src: A man is standing on a sidewalk
H:trg: Een man zit op een stoep
src: A man is sitting on a sidewalk

7375: E-[NEUTRAL]
P:trg: Een man staat op de top van de rotsen met wolken erachter
src: A man is standing on the top of the rocks with clouds behind them
H:trg: Een persoon zit op een bergtop
src: A person is sitting on a mountain top