[T] A woman is slicing an onion. slice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, onion-PAT-sg-indef-f) [H] An onion is being sliced by a woman. [entailment] slice.f1-PRED-pres-progr-f( onion-PAT-sg-indef-t, *, woman-ACT-sg-indef-f) [T] A woman is slicing an eggplant. slice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, eggplant-PAT-sg-indef-f) [H] A woman is slicing a vegetable. [entailment] slice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, vegetable-PAT-sg-indef-f) [T] There is no woman slicing an onion. slice.f1-PRED-pres-progr-t( onion-PAT-sg-indef-t, *, #Neg-RHEM, woman-ACT-sg-indef-f) [H] A woman is slicing an onion. [contradiction] slice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, onion-PAT-sg-indef-f) [T] The woman is dicing a carrot. dice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, carrot-PAT-sg-indef-f) [H] A woman is slicing an onion. [neutral] slice.f1-PRED-pres-progr-f( woman-ACT-sg-indef-t, *, onion-PAT-sg-indef-f) [T] A bride in a white dress is running. run.f1-PRED-pres-progr-f( bride-ACT-sg-indef-t( *,dress-LOC-sg-indef-t( *,white-RSTR-t)) *) [H] A girl in a white dress is running. [entailment] run.f1-PRED-pres-progr-f( girl-ACT-sg-indef-t( *,dress-LOC-sg-indef-t( *,white-RSTR-t)) [T] People are looking at some costumes gathered in the vicinity of the forest. look.f3-PRED-pres-progr-t( person-ACT-pl-indef-t, *, costume-PAT-pl-indef-f-ID[1]( gather.f2-RSTR-precede-f( #PersPron-ACT-pl-indef-ref[1], *, vicinity-LOC-sg-f( *,forest-RSTR-sg-def-f)))) [H] People wearing costumes are gathering in a forest and are looking in the same direction. [neutral] and-COORD( gather.f2-PRED-pres-progr-t( person-ACT-pl-indef-t-ID[1]( wear.f1-RSTR-simult-t( #PersPron-ACT-pl-indef-ref[1], *, costume-PAT-pl-indef-t)), *, forest-LOC-sg-indef-f) *, look.f1-PRED-pres-progr-t( person-ACT-pl-indef-t-ref[1], *, direction-DIR3-sg-f( *,same-RSTR-f-ref[?]))) [T] A group of scouts are hiking through the grass. hike.f2-PRED-pres-progr-t( group-ACT-sg-indef-t( *,scout-RSTR-pl-indef-t) *, grass-DIR2-sg-def-f) [H] Some people are walking. [entailment] walk.f1-PRED-pres-progr-f( person-ACT-pl-indef-t( *,some-RSTR-t) *) [T] The brown horse is near a red barrel at the rodeo. be.f4-PRED-pres-simple-t( horse-ACT-pl-def-t( *,brown-RSTR-t) *, rodeo-LOC-sg-def-t, barrel-LOC.near-indef-f( *,red-RSTR-f)) [H] The brown horse is far from a red barrel at the rodeo. [contradiction] be.f4-PRED-pres-simple-t( horse-ACT-pl-def-t( *,brown-RSTR-t) *, rodeo-LOC-sg-def-t, barrel-LOC.far-indef-f( *,red-RSTR-f)) [T] A man who is playing is running with the ball in his hands. run.f1-PRED-pres-progr-f( man-ACT-sg-indef-t-ID[1]( play.f3-RSTR-pres-progr-t( #PersPron-ACT-sg-t-ref[1], *), *, ball-ACMP.p-sg-def-t( *,hand-LOC-pl-def-f( *,#PersPron-APP-sg-t-ref[1])))) [H] A player is running with the ball. [entailment] run.f1-PRED-pres-progr-f( player-ACT-sg-indef-t-ID[1], *, ball-ACMP.p-sg-def-t) [T] The guitar is being played by the man. play.f2-PRED-pres-progr-f( guitar-PAT-sg-def-t, *, man-ACT-sg-def-t) [H] The man is a guitar player. [entailment] be.f6-PRED-pres-simple-f( man-ACT-sg-def-t, *, player-PAT-sg-f( *,guitar-RSTR-sg-f)) [T] A man, a woman and two girls are walking on the beach. walk.f1-PRED-pres-progr-f( and-COORD( man-ACT-sg-t, woman-ACT-sg-t, *, girl-ACT-pl-t( *,two-EXT-t) ), beach-LOC-sg-def-t, *) [H] Four people are walking on the beach. [entailment] walk.f1-PRED-pres-progr-f( person-ACT-pl-t( *,four-EXT-t), *, beach-LOC-sg-def-t) {T] A man, a woman and two girls are walking on the beach. walk.f1-PRED-pres-progr-f( and-COORD( man-ACT-sg-t, woman-ACT-sg-t, *, girl-ACT-pl-t( *,two-EXT-t) ), beach-LOC-sg-def-t, *) [H] A group of people is on a beach. [entailment] be.f4-PRED-pres-simple-f( group-ACT-sg-indef-t( *,person-RSTR-pl-indef-t) *, beach-LOC-sg-indef-f) [T] Romano Prodi will meet the US President George Bush in his capacity as the president of the European commission. meet.f2-PRED-fut-simple-f( Prodi-ACT-sg-def-t-ID[1]( *,Romano-RSTR-sg-def-t) *, #Empty-AP( president-PAT-sg-def-f( USA-RSTR-sg-def-f,*), Bush-PAT-sg-def-f( George-RSTR-sg-def-f,*)), capacity-COMPL-sg-def-f( #PersPron-APP-sg-def-f-ref[1],*, president-RSTR-sg-def-f( EU-RSTR-sg-def-f,*) ) ) [H] George Bush is the president of the European commission. be.f6-PRED-pres-simple-f( Bush-ACT-sg-def-t( George-RSTR-sg-def-t,*), *, president-PAT-sg-def-f( EU-RSTR-sg-def-f,*)) [T] ABC News revealed today that Ted Koppel, the host of Nightline for 25 years, would leave the network before his contract expired in December. reveal.f1-PRED-past-simple-f( ABCNews-ACT-sg-def-t-ID[1], *, leave.f2-PAT-fut-simple-f( ,-AP-ID[2]( Koppel-ACT-sg-def-f( Ted-RSTR-sg-def-f,*), host-ACT-sg-def-f( *,Nightline-ACT-sg-def-f, years-TFHL-pl-def-f( 25-EXT-f,*) ) *, network-PAT-sg-def-f-ref[1], expire-TWHEN.before-fut-f( contract-ACT-sg-def-f( #PersPron-APP-sg-def-f-ref[2],* ), *, December-TWHEN-sg-def-f ) ) ) [H] Ted Koppel left ABC before December 2005. leave.f2-PAT-past-simple-f( Koppel-ACT-sg-def-t( Ted-RSTR-sg-def-t,*), *, ABC-PAT-sg-def-t, December-TWHEN.before-sg-def-f( 2005-RSTR-f,*)) [T] ABC News revealed today that Ted Koppel, the host of Nightline for 25 years, left the network before his contract expired in December. reveal.f1-PRED-past-simple-f( ABCNews-ACT-sg-def-t-ID[1], *, leave.f2-PAT-past-simple-f( ,-AP-ID[2]( Koppel-ACT-sg-def-f( Ted-RSTR-sg-def-f,*), host-ACT-sg-def-f( *,Nightline-ACT-sg-def-f, years-TFHL-pl-def-f( 25-EXT-f,*) ) *, network-PAT-sg-def-f-ref[1], expire-TWHEN.before-past-f( contract-ACT-sg-def-f( #PersPron-APP-sg-def-f-ref[2],* ), *, December-TWHEN-sg-def-f ) ) ) [H] Ted Koppel left ABC before December 2004. leave.f2-PAT-past-simple-f( Koppel-ACT-sg-def-t( Ted-RSTR-sg-def-t,*), *, ABC-PAT-sg-def-t, December-TWHEN.before-sg-def-f( 2004-RSTR-f,*))