Translations that change the course of proofs about prove_sick_nl

[kovvalsky]

drawing a picture --> (een tekening maakt | tekent een foto)

sen_id(441, 4086, 'p', 'no', 'There is no man drawing a picture').
sen_id(442, 4086, 'h', 'no', 'A man is drawing a picture').

is translated as

sen_id(2526, 4086, 'p', 'TRIAL', 'no', 'Er is geen man die een tekening maakt').
sen_id(2525, 4086, 'h', 'TRIAL', 'no', 'Een man tekent een foto').

which makes it difficult to prove the SICK contradiction label: no relation found between foto and tekening (but foto isa teken).
Does the hypothesis has a correct translation?

[kovvalsky]

🇳🇱 Entailment; 🇬🇧&🥇 Neutral

sen_id(359, 3459, 'p', 'unknown', 'The man is chopping a tree trunk with an axe').
sen_id(360, 3459, 'h', 'unknown', 'A man is chopping a log with an axe').

is translated as

sen_id(2161, 3459, 'p', 'TRIAL', 'unknown', 'De man is een boomstam aan het hakken met een bijl').
sen_id(2158, 3459, 'h', 'TRIAL', 'unknown', 'Een man hakt een houtblok met een bijl').

And after that, the proof for entailment is found.
The reason is ODWN that says that boomstam.n.2 and houtblok.n.3 are synonyms (corresponding WN3.0 synset is log.n.01).
In WN3.0, there is no hypernymy relation between tree trunk.n.1 and bomstam.n.1.
FYI, bomstam.n.1 <--> tree trunk.n.1.

[kovvalsky]

who are in a wagon --> die in een wagon zitten

zitten is a lexical word not present in EN. Also proving that Z zitten in Y --> Z is in Y

947: N-(E)-[ENTAILMENT]
P:trg: Sommige corndogs worden opgegeten door twee peuters die in een wagon zitten, die echt klein is
src: Some corndogs are being eaten by two toddlers who are in a wagon , which is really small
H:trg: Twee peuters eten corndogs in een wagon, die echt klein is
src: Two toddlers are eating corndogs in a wagon , which is really small

[kovvalsky]

yard --> (erf|tuin), run --> (lopen|rennen), mouth --> (bek, mond)

erf vs tuin no support from ODWN
lopen vs rennen no support from ODWN
bek vs mond ODWN know that bek -> mond

7214: N-(C)-[CONTRADICTION]
P:trg: Een bruine hond loopt over het erf met een stuk speelgoed in zijn bek
src: A brown dog is running across the yard with a toy in its mouth
H:trg: Er is geen bruine hond die door de tuin rent met een stuk speelgoed in zijn mond
src: There is no brown dog running across the yard with a toy in its mouth

[kovvalsky]

dirt bike race --> crossmotorwedstrijd | crossmotorrace

6971: N-(C)-[CONTRADICTION]
P:trg: Er is geen man in een rood uniform die een sprong maakt in een crossmotorwedstrijd
src: There is no man in a red uniform making a jump in a dirt bike race
H:trg: Een man in een rood uniform maakt een sprong in een crossmotorrace
src: A man in a red uniform is making a jump in a dirt bike race

[kovvalsky]

Doesn't change much the word change:
#13 (comment)

[kovvalsky]

talking to --> praat met | praat tegen

3061: N-(C)-[CONTRADICTION]
P:trg: Een vrouw rijdt in een auto en praat met de man die naast haar zit
src: A woman is driving a car and is talking to the man who is seated beside her
H:trg: Er is geen vrouw die een auto rijdt en praat tegen de man die naast haar zit
src: There is no woman driving a car and talking to the man seated beside her

[kovvalsky]

driving --> bestuurt | rijdt in

4614: N-(C)-[CONTRADICTION]
P:trg: Er is geen man die een auto bestuurt
src: There is no man driving a car
H:trg: Een man rijdt in een auto
src: A man is driving a car

[kovvalsky]

Some instruments --> sommige instrumenten | enkele instrumenten

4851: N-(E)-[ENTAILMENT]
P:trg: Sommige instrumenten worden bespeeld door een band
src: Some instruments are being played by a band
H:trg: Een band speelt op enkele instrumenten
src: A band is playing some instruments

4852: N-(C)-[CONTRADICTION]
P:trg: Een band bespeelt sommige instrumenten niet
src: A band is not playing some instruments
H:trg: Een band speelt op enkele instrumenten
src: A band is playing some instruments

[kovvalsky]

close to --> dicht bij | bij

9069: N-(E)-[ENTAILMENT]
P:trg: Twee jongens liggen in de oceaan dicht bij het strand
src: Two boys are laying in the ocean close to the beach
H:trg: Twee jongens liggen in het water bij het strand
src: Two boys are laying in the water close to the beach

[kovvalsky]

running --> lopen | rennen

8714: N-(E)-[ENTAILMENT]
P:trg: Twee witte honden lopen snel samen
src: Two white dogs are quickly running together
H:trg: Twee witte honden rennen samen
src: Two white dogs are running together

[kovvalsky]

Would be interesting to know how good/bad are these trasnaltions:

2195 CONTRADICTION
1378, 'p', 'TRAIN', 'Een man besprenkelt een aantal in sneetjes gesneden en beboterde broden met kruiden'
1380, 'h', 'TRAIN', 'Er is geen man die verschillende in sneetjes gesneden en beboterde broden besprenkelt met kruiden'

1955, 'p', 'A man is sprinkling seasoning on several sliced and buttered loaves of bread'
1956, 'h', 'There is no man sprinkling seasoning on several sliced and buttered loaves of bread'

[kovvalsky]

slicing meat with a knife --> vlees in plakjes snijdt met een mes

1453   NEUTRAL   TRAIN
A man is spreading dough
There is no woman slicing meat with a knife

1453   NEUTRAL   TRAIN
Een man strooit deeg uit
Er is geen vrouw die vlees in plakjes snijdt met een mes

5678: 
P:trg: Een vrouw snijdt boter
  src: A woman is cutting butter
H:trg: Een vrouw is boter in plakjes aan het snijden
  src: A woman is slicing butter

[kovvalsky]

bike ---> fiets | motor

3607    CONTRADICTION    TRAIN 
 monkey is riding a bike
There is no monkey riding a bike

3607    ???CONTRADICTION    TRAIN
Een aap rijdt op een motor
Er is geen aap die op een fiets rijdt 

[kovvalsky]

one is jumping ---> één springt | één is aan het springen

 7972 [ENTAILMENT] TRAIN
P:trg: Twee poedels liggen in de sneeuw en één springt hoog
  src: Two poodles are in the snow and one is jumping high
H:trg: Twee poedels liggen in de sneeuw en één is aan het springen
  src: Two poodles are in the snow and one is jumping

[kovvalsky]

hopping -> springen | huppelen

 7699: [CONTRADICTION] TRAIN
P:trg: De kinderen dragen geen zwarte panty's en springen niet
  src: The children are not wearing black tights and are not hopping
H:trg: De kinderen dragen zwarte panty's en huppelen
  src: The children are wearing black tights and hopping

[kovvalsky]

track --> (circuit | spoor)

8316: 
P:trg: Honden racen op een circuit
  src: Dogs are racing on a track
H:trg: Honden rennen op een spoor
  src: Dogs are running on a track

[kovvalsky]

konijn | haasje ~ rabbit | bunny

5282: 
P:trg: Een konijn speelt met een knuffelkonijn
  src: A rabbit is playing with a stuffed bunny
H:trg: Een konijn speelt met een knuffelhaasje
  src: A bunny is playing with a stuffed bunny

[kovvalsky]

shirtless man --> man zonder hemd | shirtloze

but slightly simplified by leading|exorting -> (be)geleiden

9665: 
P:trg: Een man zonder hemd begeleidt een paard dat een koets over een vuile weg trekt
  src: A shirtless man is escorting a horse that is pulling a carriage along a dirty road
H:trg: Een shirtloze man leidt een paard dat een koets trekt
  src: A shirtless man is leading a horse that is pulling a carriage

[kovvalsky]

pouring --> (gieten | schenken)
pot --> (pan|pot)

2776:
P:trg: Iemand schenkt olie gemaakt met olijven in een pan op het fornuis
  src: A person is pouring oil made with olives into a pot on the stove
H:trg: Iemand giet bakolie in een pot
  src: A person is pouring cooking oil into a pot

[kovvalsky]

podium --> lessenaar | podium

1194: 
P:trg: Een man spreekt op een lessenaar
  src: A man is speaking on a podium
H:trg: Er spreekt geen man op een podium
  src: There is no man speaking on a podium

[kovvalsky]

jumping ---> springen op | opstaan

7427: 
P:trg: Een bruingele hond springt op en vangt een tennisbal
  src: A tan dog is jumping up and catching a tennis ball
H:trg: Er is geen bruingele hond die opstaat en een tennisbal vangt
  src: There is no tan dog jumping up and catching a tennis ball

[kovvalsky]

talking on a telephone --> aan het telefoneren | praat over een telefoon

1207: 
P:trg: Een vrouw praat niet over een telefoon
  src: A woman is not talking on a telephone
H:trg: Een vrouw is aan het telefoneren
  src: A woman is talking on a telephone

[kovvalsky]

walking along -> loopt langs | loopt (niet) over

3857: 
P:trg: De man loopt langs een pad door de wildernis
  src: The man is walking along a path through the wilderness
H:trg: De man loopt niet over een pad door de wildernis
  src: The man is not walking along a path through the wilderness

[kovvalsky]

shade of some trees -> schaduw van sommige bomen | schaduw van enkele bomen

9448: 
P:trg: Geen enkele hond springt in de schaduw van sommige bomen
  src: No dog is jumping in the shade of some trees
H:trg: Een hond springt in de schaduw van enkele bomen
  src: A dog is jumping in the shade of some trees

[kovvalsky]

podium|stage -> podium
Changes label from N to E

1202:
P:trg: Een man houdt een toespraak op een podium
src: A man is making a speech on a podium
H:trg: Een man spreekt op een podium
src: A man is speaking on a stage

[kovvalsky]

One of a few examples
beside | next to -> naast

6099: [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

[kovvalsky]

ENT --> CONT

bike -> motor & bicycle -> fiets

3606
A monkey is riding a bike --> A monkey is riding a bicycle
Een aap rijdt op een motor | Een aap rijdt op een fiets