E2c/notes
[the, shopper, drank, the, pepsi]
(thereExists ?shopper4675
(and (isa ?shopper4675 (FrequentPerformerFn Shopping ) )
(thereExists ?pepsi6
(and (isa ?pepsi6 PepsiCola )
(and (occursDuring ?drank7550 Past )
(and (isa ?drank7550 DrinkingEvent ) (performedBy ?drank7550 ?shopper4675 ) (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) )
)
[the, shopper, drinks, the, pepsi]
(thereExists ?shopper4675
(and (isa ?shopper4675 (FrequentPerformerFn Shopping ) ) (thereExists ?pepsi6 (and (isa ?pepsi6 PepsiCola ) (and (occursDuring ?drank7550 Now ) (and (isa ?drank7550 DrinkingEvent ) (performedBy ?drank7550 ?shopper4675 ) (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) ) )
[the, shopper, bought, fries]
(thereExists ?shopper4794
(and (isa ?shopper4794 (FrequentPerformerFn Shopping ) ) (and (and (isa ?fries20 Frying ) (objectOfStateChange ?fries20 ?POSSESSOR13610 ) ) (and (occursDuring ?bought3 Past ) (and (isa ?bought3 Buying ) (buyer ?bought3 ?shopper4794 ) (objectPaidFor ?bought3 ?fries20 ) ) ) ) ) )
[the, shopper, bought, fries, with, his, pepsi]
(thereExists ?shopper4863
(and (isa ?shopper4863 (FrequentPerformerFn Shopping ) ) (and (isa ?pepsi42 PepsiCola ) (and (and (and (isa ?fries103 Frying ) (objectOfStateChange ?fries103 ?POSSESSOR13613 ) ) (and (isa ?bought4 Buying ) (seller ?bought4 ?shopper4863 ) (objectPaidFor ?bought4 ?fries103 ) (buyingPerformer ?bought4 ?pepsi42 ) ) ) (equals ?POSSESSOR13613 (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post ) (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) ) ) (controls (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post ) (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) ) ?pepsi42 ) ) ) ) )
english2Kif("I see you").
assert(known_phrase(verbSemTrans(#$and(#$isa(?ACTION1, #$VisualPerception), #$performedBy(?ACTION1, ?Speaker), #$perceivedThings(?ACTION1, ?TargetAgent)), true) ))
e2c("George fell last year").
[[txt, 'George'], [tag, staart, nnp, np]] [[txt, fell], [tag, z, vbd]] [[txt, last], [tag, z, jj, ap, 'Adjective', 'Adverb', 'CountNoun', 'WHAdverb']] [[txt, year], [tag, laast, nn, 'CountNoun']]
seg([p('VP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('PP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4)])
(implies
(equals ?GEORGE2 (OneOfFn EddieGeorge-FootballPlayer-American (CityNamedFn "George" RepublicOfSouthAfrica ) ) ) (and (isa ?FELL1 Event ) (implies (and (isa ?YEAR5 CalendarYear ) (isa ?YEAR5 ContemporaryArtifact ) ) (or (and (isa ?FELL1 CuttingDownATree ) (objectOfStateChange ?FELL1 ?YEAR5 ) (doneBy ?FELL1 ?GEORGE2 ) ) (and (organismKilled ?FELL1 ?YEAR5 ) (isa ?FELL1 CuttingDownATree ) (performedBy ?FELL1 ?GEORGE2 ) ) ) ) ) )
e2c("I see you").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, see], [tag, z, vb]] [[txt, you], [tag, laast, ppss, ppo, prp, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SEE1 Event ) (thereExists ?TARGETAGENT (and (isa ?TARGETAGENT Person ) (or (awareOf ?SPEAKER ?TARGETAGENT ) (and (isa ?SEE1 VisualPerception ) (performedBy ?SEE1 ?SPEAKER ) (perceivedThings ?SEE1 ?TARGETAGENT ) ) ) ) ) ) ) )
e2c("I seen the wood").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, seen], [tag, z, vbn]] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('QP', 3, 4)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SEEN1 Event ) (thereExists ?WOOD5 (and (isa ?WOOD5 (OneOfFn Wood Wood-GolfClub WoodedArea ) ) (or (awareOf ?SPEAKER ?WOOD5 ) (and (isa ?SEEN1 VisualPerception ) (performedBy ?SEEN1 ?SPEAKER ) (perceivedThings ?SEEN1 ?WOOD5 ) ) ) ) ) ) ) )
e2c("I sawed the wood").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, sawed], [tag, z, 'NLWordForm', 'Verb', 'Adjective']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SAWED1 Event ) (thereExists ?WOOD11 (and (isa ?WOOD11 (OneOfFn Wood Wood-GolfClub WoodedArea ) ) (and (isa ?SAWED1 SawingSomething ) (objectOfStateChange ?SAWED1 ?WOOD11 ) (doneBy ?SAWED1 ?SPEAKER ) ) ) ) ) ) )
e2c("I see two books on a shelf").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, see], [tag, z, vb]] [[txt, two], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']] [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, shelf], [tag, laast, nn, 'CountNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('QP', 3, 4), p('PP_non_cyclic', 5, 5), p('QP', 6, 7)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SEE2 Event ) (thereExistExactly 2 ?TWO2 (and (and (isa ?TWO2 BookCopy ) (isa ?TWO2 Thing ) ) (and (or (awareOf ?SPEAKER ?TWO2 ) (and (isa ?SEE2 VisualPerception ) (performedBy ?SEE2 ?SPEAKER ) (perceivedThings ?SEE2 ?TWO2 ) ) ) (thereExists ?SHELF5 (and (isa ?SHELF5 ShelfInABuilding ) (on-UnderspecifiedSurface ?TWO2 ?SHELF5 ) ) ) ) ) ) ) ) )
e2c("I see two books sitting on a shelf").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, see], [tag, z, vb]] [[txt, two], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']] [[txt, sitting], [tag, z, vbg, 'GerundiveCountNoun', 'GerundiveNoun', 'MassNoun-Generic', 'Adjective']] [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, shelf], [tag, laast, nn, 'CountNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('QP', 3, 4), p('VP_non_cyclic', 5, 5), p('PP_non_cyclic', 6, 6), p('QP', 7, 8)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SEE3 Event ) (thereExistExactly 2 ?TWO4 (and (and (isa ?TWO4 BookCopy ) (isa ?TWO4 SittingDown ) ) (and (or (awareOf ?SPEAKER ?TWO4 ) (and (isa ?SEE3 VisualPerception ) (performedBy ?SEE3 ?SPEAKER ) (perceivedThings ?SEE3 ?TWO4 ) ) ) (thereExists ?SHELF11 (and (isa ?SHELF11 ShelfInABuilding ) (on-UnderspecifiedSurface ?TWO4 ?SHELF11 ) ) ) ) ) ) ) ) )
e2c("I can see you").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, can], [tag, z, md, 'Modal', 'CountNoun']] [[txt, see], [tag, z, vb]] [[txt, you], [tag, laast, ppss, ppo, prp, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('VP_non_cyclic', 3, 3), p('ADVP_non_cyclic', 4, 4)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (behavourCapable ?SPEAKER ?SEE4 ) (and (isa ?SEE4 Event ) (thereExists ?TARGETAGENT (and (isa ?TARGETAGENT Person ) (or (awareOf ?SPEAKER ?TARGETAGENT ) (and (isa ?SEE4 VisualPerception ) (performedBy ?SEE4 ?SPEAKER ) (perceivedThings ?SEE4 ?TARGETAGENT ) ) ) ) ) ) ) ) )
e2c("Fido is a dog").
[[txt, 'Fido'], [tag, staart]] [[txt, is], [tag, z, bez, vbz, 'BeAux']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, dog], [tag, laast, nn, 'CountNoun']]
(implies
(properNameString ?FIDO3 "Fido" ) (thereExists ?DOG8 (and (and (isa ?DOG8 InsultingSomeone ) (subjectOfInfo ?DOG8 :POSSESSOR ) ) (and (isa ?IS1 Living ) (occursDuring ?IS1 Now ) (preActors ?IS1 ?FIDO3 ) (actors ?IS1 ?DOG8 ) ) ) ) )
e2c("Who is the president of the United States of America ?").
[[txt, 'Who'], [tag, staart, nnp, prp, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, is], [tag, z, bez, vbz, 'BeAux']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, president], [tag, z, nn, 'CountNoun', 'ProperCountNoun', 'ProperNoun', 'Adjective']] [[txt, of], [tag, z, in, 'Preposition', 'Preposition-Of']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, 'United', 'States', of, 'America'], [tag, z]] [[txt, ?], [tag, laast, ?, 'Punctuation-SP']]
(CYC-QUERY
(thereExists ?Who (thereExists ?PRESIDENT46 (and (and (and (isa ?PRESIDENT46 Thing ) (isa ?PRESIDENT46 Thing ) ) (isa ?PRESIDENT46 (OneOfFn PresidentOfOrganization (SubcollectionOfWithRelationFromTypeFn Person president Organization ) ) ) ) (and (and (isa ?IS10 Living ) (occursDuring ?IS10 Now ) (preActors ?IS10 ?Who ) (actors ?IS10 ?PRESIDENT46 ) ) (thereExists ?G300312 (and (eq ?G300312 UnitedStatesOfAmerica ) (possessiveRelation ?G300312 ?PRESIDENT46 ) ) ) ) ) ) ) )
e2c("I saw him").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, saw], [tag, z, vbd, 'CountNoun']] [[txt, him], [tag, laast, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (and (isa ?SAW1 Event ) (thereExists ?HIM (and (equals ?HIM (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) ) (or (awareOf ?SPEAKER ?HIM ) (and (isa ?SAW1 SawingSomething ) (objectOfStateChange ?SAW1 ?HIM ) (doneBy ?SAW1 ?SPEAKER ) ) (and (isa ?SAW1 VisualPerception ) (performedBy ?SAW1 ?SPEAKER ) (perceivedThings ?SAW1 ?HIM ) ) ) ) ) ) ) )
e2c("I saw him Monday").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, saw], [tag, z, vbd, 'CountNoun']] [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, 'Monday'], [tag, laast, nnp, nr, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (implies (occursDuring ?SAW2 Monday ) (holdsIn ?SAW2 (and (isa ?SAW2 Event ) (thereExists ?HIM (and (equals ?HIM (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) ) (or (awareOf ?SPEAKER ?HIM ) (and (isa ?SAW2 SawingSomething ) (objectOfStateChange ?SAW2 ?HIM ) (doneBy ?SAW2 ?SPEAKER ) ) (and (isa ?SAW2 VisualPerception ) (performedBy ?SAW2 ?SPEAKER ) (perceivedThings ?SAW2 ?HIM ) ) ) ) ) ) ) ) ) )
e2c("I saw him January").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, saw], [tag, z, vbd, 'CountNoun']] [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, 'January'], [tag, laast, nnp, np, 'ProperCountNoun', 'ProperNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4)])
(thereExists ?SPEAKER
(and (isa ?SPEAKER Person ) (implies (occursDuring ?SAW3 January ) (holdsIn ?SAW3 (and (isa ?SAW3 Event ) (thereExists ?HIM (and (equals ?HIM (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) ) (or (awareOf ?SPEAKER ?HIM ) (and (isa ?SAW3 SawingSomething ) (objectOfStateChange ?SAW3 ?HIM ) (doneBy ?SAW3 ?SPEAKER ) ) (and (isa ?SAW3 VisualPerception ) (performedBy ?SAW3 ?SPEAKER ) (perceivedThings ?SAW3 ?HIM ) ) ) ) ) ) ) ) ) )
e2c("I saw him January twenty first").
[[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, saw], [tag, z, vbd, 'CountNoun']] [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, 'January'], [tag, z, nnp, np, 'ProperCountNoun', 'ProperNoun']] [[txt, twenty], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, first], [tag, laast, jj, od, rb, 'Adjective', 'Adverb', 'CountNoun', 'NongradableAdjective', 'OrdinalAdjective', 'WHAdverb']]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5), p('PP_non_cyclic', 6, 6)])
e2c("Monday ' s concert should be good").
[[txt, 'Monday\'s'], [txt, 'Monday', '\'s'], [txt, 'Monday'], [tag, staart, '\'s', 'nr$']] [[txt, concert], [tag, z, nn, 'CountNoun']] [[txt, should], [tag, z, md, 'Modal']] [[txt, be], [tag, z, be, vb, 'BeAux']] [[txt, good], [tag, laast, jj, 'Adjective']]
e2c("We did it in Jan").
[[txt, 'We'], [tag, staart, prp, ppss, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, did], [tag, z, dod, vbd, 'DoAux']] [[txt, it], [tag, z, prp, pps, ppo, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']] [[txt, 'Jan'], [tag, laast, nnp, np]]
seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3), p('PP_non_cyclic', 4, 4), p('VP_non_cyclic', 5, 5)])
(thereExists ?WE
(and (equals ?WE (PronounFn FirstPerson-NLAttr Plural-NLAttr Ungendered-NLAttr SubjectPronoun ) ) (and (and (occursDurring ?IN3 ?G431374 ) (bodilyDoer ?WE ?IN3 ) ) (implies (properNameString ?JAN68 "Jan" ) (and (occursDuring ?IN3 Now ) (holdsIn ?IN3 (in-UnderspecifiedContainer ?WE ?JAN68 ) ) ) ) ) ) )
e2c("Failure to comply may result in dismissal").
[[txt, 'Failure'], [tag, staart, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']] [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']] [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']] [[txt, result], [tag, z, nn, vb, 'CountNoun']] [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']] [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
seg([p('VP_non_cyclic', 1, 1), p('PP_non_cyclic', 2, 2), p('VP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4), p('VP_non_cyclic', 5, 5), p('PP_non_cyclic', 6, 6), p('VP_non_cyclic', 7, 7)])
(implies
(properNameString ?FAILURE3 "Failure" ) (and (and (isa ?RESULT3 (AdverbFn Comply-TheWord ) ) (and (behavourCapable ?FAILURE3 ?RESULT3 ) (implies (and (isa ?DISMISSAL9 (NounFn Dismiss-TheWord ) ) (agentPopularity ?DISMISSAL9 (HighAmountFn PopularityLevel ) ) ) (and (occursDuring ?RESULT3 Now ) (holdsIn ?RESULT3 (eventOutcomes ?FAILURE3 ?DISMISSAL9 ) ) ) ) ) ) (implies (and (isa ?G461366 Thing ) (isa ?G461366 Thing ) ) (to-UnderspecifiedLocation ?FAILURE3 ?G461366 ) ) ) )
e2c("Absence to comply may result in dismissal").
[[txt, 'Absence'], [tag, staart, 'CountNoun', 'CountNoun-Generic', 'NLWordForm', 'Noun']] [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']] [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']] [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']] [[txt, result], [tag, z, nn, vb, 'CountNoun']] [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']] [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
(implies
(properNameString ?ABSENCE3 "Absence" ) (and (and (isa ?RESULT7 (AdverbFn Comply-TheWord ) ) (and (behavourCapable ?ABSENCE3 ?RESULT7 ) (implies (and (isa ?DISMISSAL18 (NounFn Dismiss-TheWord ) ) (agentPopularity ?DISMISSAL18 (HighAmountFn PopularityLevel ) ) ) (and (occursDuring ?RESULT7 Now ) (holdsIn ?RESULT7 (eventOutcomes ?ABSENCE3 ?DISMISSAL18 ) ) ) ) ) ) (implies (and (isa ?G495123 Thing ) (isa ?G495123 Thing ) ) (to-UnderspecifiedLocation ?ABSENCE3 ?G495123 ) ) ) )
e2c("He made a request that there be an investigation").
[[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, made], [tag, z, vbd, vbn]] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, request], [tag, z, nn, 'CountNoun']] [[txt, that], [tag, z, in, cs, dt, wdt, 'Adverb', 'Complementizer', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Definite', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHAdverb', 'WHDeterminer', 'WHPronoun']] [[txt, there], [tag, z, ex, rb, 'Adverb', 'AdverbOfPlace', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'There-Existential', 'WHAdverb', 'WHPronoun']] [[txt, be], [tag, z, be, vb, 'BeAux']] [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']] [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
(thereExists ?HE
(and (isa ?HE Male ) (and (isa ?MADE1 Event ) (thereExists ?REQUEST8 (and (and (isa ?REQUEST8 (OneOfFn InformationRequest-IBT Request Requesting-CommunicationAct ) ) (isa ?REQUEST8 Thing ) ) (and (or (causes-Underspecified ?HE ?REQUEST8 ) (createdBy ?REQUEST8 ?HE ) (doneBy ?REQUEST8 ?HE ) (and (isa ?MADE1 MakingSomething ) (performedBy ?MADE1 ?HE ) (products ?MADE1 ?REQUEST8 ) ) ) (and (isa ?BE29 (AdverbFn There-TheWord ) ) (thereExists ?INVESTIGATION7 (and (isa ?INVESTIGATION7 Research ) (and (isa ?BE29 Living ) (occursDuring ?BE29 Now ) (preActors ?BE29 ?REQUEST8 ) (actors ?BE29 ?INVESTIGATION7 ) ) ) ) ) ) ) ) ) ) )
e2c("He stated the fact that there be an investigation").
[[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']] [[txt, stated], [tag, z, vbn, vbd, 'Adjective']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, fact], [tag, z, nn, 'CountNoun']] [[txt, that], [tag, z, in, cs, dt, wdt, 'Adverb', 'Complementizer', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Definite', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHAdverb', 'WHDeterminer', 'WHPronoun']] [[txt, there], [tag, z, ex, rb, 'Adverb', 'AdverbOfPlace', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'There-Existential', 'WHAdverb', 'WHPronoun']] [[txt, be], [tag, z, be, vb, 'BeAux']] [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']] [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
(thereExists ?HE
(and (isa ?HE Male ) (thereExists ?FACT10 (and (ist :POSSESSOR ?FACT10 ) (and (implies (isa ?STATED3 (VerbFn State-TheWord ) ) (eventSOT ?STATED3 ?HE ?FACT10 Past ) ) (and (isa ?BE31 (AdverbFn There-TheWord ) ) (thereExists ?INVESTIGATION15 (and (isa ?INVESTIGATION15 Research ) (and (isa ?BE31 Living ) (occursDuring ?BE31 Now ) (preActors ?BE31 ?FACT10 ) (actors ?BE31 ?INVESTIGATION15 ) ) ) ) ) ) ) ) ) )
e2c("Many were angered by the hearings").
[[txt, 'Many'], [tag, staart, dt, jj, nnp, pdt, rb, 'Adverb', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHAdverb', 'WHDeterminer', 'WHPronoun', 'Adjective']] [[txt, were], [tag, z, bed, vbd, 'BeAux']] [[txt, angered], [tag, z, vbn, vbd, 'Adjective']] [[txt, by], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'WHAdverb', 'Adjective']] [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, hearings], [tag, laast, nns, 'CountNoun', 'GerundiveCountNoun']]
seg([p('QP', 1, 1), p('VP_non_cyclic', 2, 2), p('VP_non_cyclic', 3, 3), p('PP_non_cyclic', 4, 4), p('QP', 5, 5), p('QP', 6, 6)])
(thereExists ?MANY
(and (or (and (equals ?MANY Many-NLAttr ) (isa ?MANY (CollectionUnionFn Individual NLGenQuantAttribute ) ) ) (and (equals ?MANY Many-Quant ) (isa ?MANY (CollectionUnionFn Individual PositiveIntegerExtent ) ) ) (and (equals ?MANY many ) (isa ?MANY (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) ) (and (occursDurring ?ANGERED3 Past ) (implies (and (isa ?G626264 Thing ) (isa ?G626264 Thing ) ) (and (implies (isa ?ANGERED3 (VerbFn Anger-TheWord ) ) (eventSOT ?ANGERED3 ?MANY ?G626264 Past ) ) (thereExists ?HEARINGS5 (and (and (isa ?HEARINGS5 Hearing ) (objectActedOn ?HEARINGS5 :POSSESSOR ) ) (by-Underspecified ?G626264 ?HEARINGS5 ) ) ) ) ) ) ) )
e2c("Many who initially supported Thomas later changed their minds").
[[txt, 'Many'], [tag, staart, dt, jj, nnp, pdt, rb, 'Adverb', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHAdverb', 'WHDeterminer', 'WHPronoun', 'Adjective']] [[txt, who], [tag, z, wps, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun', 'WHPronoun-Subject']] [[txt, initially], [tag, z, rb, 'Adverb', 'WHAdverb', 'Adjective']] [[txt, supported], [tag, z, vbn, vbd, 'Adjective']] [[txt, 'Thomas'], [tag, z, np, nnp]] [[txt, later], [tag, z, rbr, rb, 'Adjective', 'Adverb', 'AgentiveNoun', 'AdverbOfTime', 'WHAdverb']] [[txt, changed], [tag, z, vbn, vbd, 'Adjective', 'CountNoun']] [[txt, their], [tag, z, 'pp$', 'prp$', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'PossessivePronoun-Pre', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, minds], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('X', 2, 2), p('PP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4), p('VP_non_cyclic', 5, 5), p('QP', 6, 6), p('VP_non_cyclic', 7, 7), p('NX', 8, 9)])
(thereExists ?MANY
(and (or (and (equals ?MANY Many-NLAttr ) (isa ?MANY (CollectionUnionFn Individual NLGenQuantAttribute ) ) ) (and (equals ?MANY Many-Quant ) (isa ?MANY (CollectionUnionFn Individual PositiveIntegerExtent ) ) ) (and (equals ?MANY many ) (isa ?MANY (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) ) (implies (and (or (and (equals ?MANY Agent-PartiallyTangible ) (isa ?MANY (CollectionUnionFn Collection ExistingObjectType StuffType TemporalStuffType ) ) ) ) (and (isa ?CHANGED1 Event ) (and (controls ?THEIR ?MINDS4 ) (and (equals ?THEIR (PronounFn ThirdPerson-NLAttr Plural-NLAttr Ungendered-NLAttr PossessivePronoun-Pre ) ) (implies (and (isa ?MINDS4 TakingCareOfSomething ) (beneficiary ?MINDS4 :POSSESSOR ) ) (or (and (isa ?CHANGED1 IntrinsicStateChangeEvent ) (performedBy ?CHANGED1 ?MANY ) (objectOfStateChange ?CHANGED1 ?MINDS4 ) ) (and (isa ?CHANGED1 ReplacingAnObject ) (objectActedOn ?CHANGED1 ?MINDS4 ) (doneBy ?CHANGED1 ?MANY ) ) ) ) ) ) ) ) (and (isa ?SUPPORTED1 (AdverbFn Initial-TheWord ) ) (and (isa ?SUPPORTED1 (AdverbFn Late-TheWord ) ) (and (isa ?SUPPORTED1 Event ) (implies (equals ?THOMAS2 JackThomas-911FOAF ) (or (satisfiesStandard ?MANY ?THOMAS2 ) (and (isa ?SUPPORTED1 ShowingSupportForSomeone ) (beneficiary ?SUPPORTED1 ?THOMAS2 ) (performedBy ?SUPPORTED1 ?MANY ) ) (and (isa ?SUPPORTED1 SupportingSomething ) (supportedObject ?SUPPORTED1 ?THOMAS2 ) (supportingObject ?SUPPORTED1 ?MANY ) ) ) ) ) ) ) ) ) )
e2c("Those that want to come can come").
[[txt, 'Those'], [tag, staart, dt, nnp, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, that], [tag, z, in, cs, dt, wdt, 'Adverb', 'Complementizer', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Definite', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHAdverb', 'WHDeterminer', 'WHPronoun']] [[txt, want], [tag, z, vb, vbp, 'CountNoun']] [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']] [[txt, come], [tag, z, vb, vbn]] [[txt, can], [tag, z, md, 'Modal', 'CountNoun']] [[txt, come], [tag, laast, vb, vbn]]
seg([p('PP_non_cyclic', 1, 2), p('VP_non_cyclic', 3, 3), p('PP_non_cyclic', 4, 4), p('VP_non_cyclic', 5, 5), p('VP_non_cyclic', 6, 6), p('VP_non_cyclic', 7, 7)])
(thereExists ?THOSE
(and (or (and (equals ?THOSE Backreference-ClassB-NLAttr ) (isa ?THOSE (CollectionUnionFn Backreference-NLAttrType Individual ) ) ) (and (equals ?THOSE Demonstrative-ClassB-NLAttr ) (isa ?THOSE (CollectionUnionFn Demonstrative-NLAttrType Individual ) ) ) ) (and (eventSOT ?EVENT88 ?THOSE ?OBJ88 ?TIME88 ) (implies (occursDuring ?WANT3 (OneOfFn ArrivingAtAPlace HavingAnOrgasm ) ) (holdsIn ?WANT3 (implies (and (isa ?G738781 Thing ) (isa ?G738781 Thing ) ) (and (implies (isa ?WANT3 (VerbFn Want-TheWord ) ) (eventSOT ?WANT3 ?THOSE ?G738781 Now ) ) (implies (and (isa ?COME4 Emission ) (isa ?COME4 (OneOfFn Buttocks Can CanningFood ) ) ) (to-UnderspecifiedLocation ?G738781 ?COME4 ) ) ) ) ) ) ) ) )
e2c("the best costumes got prizes").
[[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('ADVP_non_cyclic', 2, 2), p('QP', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
(thereExists ?COSTUMES5
(and (and (isa ?COSTUMES5 Costume ) (isa ?COSTUMES5 Thing ) ) (implies (isa ?PRIZES7 AwardPractice ) (implies (isa ?GOT7 (VerbFn Get-TheWord ) ) (eventSOT ?GOT7 ?COSTUMES5 ?PRIZES7 Past ) ) ) ) )
e2c("a best costume got prizes").
[[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, costume], [tag, z, nn, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('ADVP_non_cyclic', 2, 2), p('VP_non_cyclic', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
(thereExists ?COSTUME5
(and (and (isa ?COSTUME5 Costume ) (isa ?COSTUME5 Thing ) ) (implies (isa ?PRIZES15 AwardPractice ) (implies (isa ?GOT14 (VerbFn Get-TheWord ) ) (eventSOT ?GOT14 ?COSTUME5 ?PRIZES15 Past ) ) ) ) )
e2c("some best costumes got prizes").
[[txt, some], [tag, staart, dt, dti, 'Adverb', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Postdeterminer', 'WHAdverb', 'WHDeterminer']] [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('ADVP_non_cyclic', 2, 2), p('QP', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
(thereExists ?COSTUMES10
(and (and (isa ?COSTUMES10 Costume ) (isa ?COSTUMES10 Thing ) ) (implies (isa ?PRIZES23 AwardPractice ) (implies (isa ?GOT21 (VerbFn Get-TheWord ) ) (eventSOT ?GOT21 ?COSTUMES10 ?PRIZES23 Past ) ) ) ) )
e2c("the best five costumes got prizes").
[[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, five], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('ADVP_non_cyclic', 2, 2), p('QP', 3, 4), p('VP_non_cyclic', 5, 5), p('QP', 6, 6)])
(thereExistExactly 5 ?FIVE1
(and (and (isa ?FIVE1 Costume ) (isa ?FIVE1 Thing ) ) (implies (isa ?PRIZES31 AwardPractice ) (implies (isa ?GOT28 (VerbFn Get-TheWord ) ) (eventSOT ?GOT28 ?FIVE1 ?PRIZES31 Past ) ) ) ) )
e2c("best costumes got prizes").
[[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 2), p('VP_non_cyclic', 3, 3), p('QP', 4, 4)])
e2c("best five costumes got prizes").
[[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']] [[txt, five], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
(implies
(and (and (isa ?COSTUMES42 (NounFn Five-TheWord ) ) (isa ?COSTUMES42 Costume ) ) (hasEvaluativeQuantity ?COSTUMES42 (MediumToVeryHighAmountFn Goodness-Generic ) ) ) (implies (isa ?PRIZES65 AwardPractice ) (implies (isa ?GOT45 (VerbFn Get-TheWord ) ) (eventSOT ?GOT45 ?COSTUMES42 ?PRIZES65 Past ) ) ) )
e2c("five other costumes got prizes").
[[txt, five], [tag, staart, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 1), p('PP_non_cyclic', 2, 2), p('QP', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
(thereExistExactly 5 ?FIVE18
(and (and (and (isa ?FIVE18 Costume ) (isa ?FIVE18 Thing ) ) (isa ?FIVE18 BIOS-OTHERSurveillanceSyndrome ) ) (implies (isa ?PRIZES73 AwardPractice ) (implies (isa ?GOT52 (VerbFn Get-TheWord ) ) (eventSOT ?GOT52 ?FIVE18 ?PRIZES73 Past ) ) ) ) )
e2c("the other five costumes got prizes").
[[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']] [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']] [[txt, five], [tag, z, cd, 'CountNoun', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Postdeterminer', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHDeterminer', 'WHPronoun']] [[txt, costumes], [tag, z, nns, 'CountNoun']] [[txt, got], [tag, z, vbd, vbn]] [[txt, prizes], [tag, laast, nns, 'CountNoun']]
seg([p('QP', 1, 2), p('QP', 3, 4), p('VP_non_cyclic', 5, 5), p('QP', 6, 6)])
(thereExistExactly 5 ?FIVE19
(and (and (isa ?FIVE19 Costume ) (isa ?FIVE19 Thing ) ) (implies (isa ?PRIZES81 AwardPractice ) (implies (isa ?GOT59 (VerbFn Get-TheWord ) ) (eventSOT ?GOT59 ?FIVE19 ?PRIZES81 Past ) ) ) ) )
e2c("other five costumes got prizes").
(implies
(and (and (isa ?OTHER12 (NounFn Five-TheWord ) ) (isa ?OTHER12 Costume ) ) (isa ?OTHER12 BIOS-OTHERSurveillanceSyndrome ) ) (implies (isa ?PRIZES89 AwardPractice ) (implies (isa ?GOT62 (VerbFn Get-TheWord ) ) (eventSOT ?GOT62 ?OTHER12 ?PRIZES89 Past ) ) ) )
e2c("some other costumes were really bad").
(thereExists ?OTHER52
(and (and (and (isa ?OTHER52 Costume ) (isa ?OTHER52 Thing ) ) (isa ?OTHER52 BIOS-OTHERSurveillanceSyndrome ) ) (implies (and (isa ?BAD14 (NounFn Real-TheWord ) ) (isa ?BAD14 (OneOfFn Badness-Generic Badness-Moral ) ) ) (and (isa ?WERE6 Living ) (occursDuring ?WERE6 Past ) (preActors ?WERE6 ?OTHER52 ) (actors ?WERE6 ?BAD14 ) ) ) ) )
English Parser
Show All
Please wait..
Assertion
['Hypothetic-I', 'Hypothetic-The-Arabian-Coffee', 'Hypothetic-Drank'] Variable Quantification Or Constant Name Refactoring To Customize The Assertion (Persistent)
Hypothetic-I
Hypothetic-The-Arabian-Coffee
Hypothetic-Drank
(situationConstituents Hypothetic-GenitiveFrame Hypothetic-I) T (subEvents Hypothetic-GenitiveFrame Hypothetic-Drank) T (actors Hypothetic-Drank Hypothetic-The-Arabian-Coffee) T (preActors Hypothetic-Drank Hypothetic-I) T (isa Hypothetic-Drank DrinkingEvent) T (performedBy Hypothetic-Drank Hypothetic-I) "Formula (#$performedBy #$Hypothetic-Drank #$Hypothetic-I)
was not well formed because: Term #$Hypothetic-I violates arg-isa #$Agent-Generic applicable to argument 2 of relation #$performedBy in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates arg-isa #$Agent-Generic applicable to argument 2 of relation #$performedBy (via #$deliberateActors) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates arg-isa #$Agent-Generic applicable to argument 2 of relation #$performedBy (via #$awareOf) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. "
(primaryObjectMoving Hypothetic-Drank Hypothetic-I) "Formula (#$primaryObjectMoving #$Hypothetic-Drank #$Hypothetic-I)
was not well formed because: Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing applicable to argument 2 of relation #$primaryObjectMoving when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing applicable to argument 2 of relation #$primaryObjectMoving (via #$objectMoving) when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing applicable to argument 2 of relation #$primaryObjectMoving when argument 1, #$Hypothetic-Drank, isa #$FluidFlow-Translation in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates arg-isa #$SpatialThing applicable to argument 2 of relation #$primaryObjectMoving (via #$objectMoving) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates arg-isa #$PartiallyTangible applicable to argument 2 of relation #$primaryObjectMoving in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. "
(objectMoving Hypothetic-Drank Hypothetic-I) "Formula (#$objectMoving #$Hypothetic-Drank #$Hypothetic-I)
was not well formed because: Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing applicable to argument 2 of relation #$objectMoving when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. Term #$Hypothetic-I violates arg-isa #$SpatialThing applicable to argument 2 of relation #$objectMoving in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. "
(consumedObject Hypothetic-Drank Hypothetic-The-Arabian-Coffee) T (isa Hypothetic-Drank Event) T (isa Hypothetic-Drank Situation) T (termStrings Hypothetic-Drank "drank") T (occursDuring Hypothetic-Drank (IntervalBeforeFn Now AnIndefiniteAmountOfTime)) T (isa Hypothetic-The-Arabian-Coffee Individual) T (isa Hypothetic-The-Arabian-Coffee SomethingExisting) T (termStrings Hypothetic-The-Arabian-Coffee "the arabian coffee") T (isa Hypothetic-The-Arabian-Coffee Coffee-Ground) T (isa Hypothetic-The-Arabian-Coffee Coffee-Beverage) T (equals Hypothetic-The-Arabian-Coffee ArabianPeninsula) T (isa Hypothetic-The-Arabian-Coffee ArabianHorse) "Formula (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse)
was not well formed because:
- $Hypothetic-The-Arabian-Coffee is known not to be an instance of #$ArabianHorse in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
sbhl conflict: (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse) TRUE #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>
because: (#$isa #$Hypothetic-The-Arabian-Coffee #$Coffee-Beverage) True-JustificationTruth
(#$genls #$Coffee-Beverage #$Drink) TRUE (#$genls #$Drink #$LiquidTangibleThing) TRUE (#$genls #$LiquidTangibleThing #$FluidTangibleThing) TRUE (#$disjointWith #$FluidTangibleThing #$Agent-PartiallyTangible) TRUE (#$genls #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))> #$Agent-PartiallyTangible) TRUE (#$genls #$Animal #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))>) TRUE (#$genls #$NonHumanAnimal #$Animal) TRUE (#$genls #$EquineAnimal #$NonHumanAnimal) TRUE (#$genls #$Horse #$EquineAnimal) TRUE (#$genls #$Horse-Domesticated #$Horse) TRUE (#$genls #$ArabianHorse #$Horse-Domesticated) TRUE
"
(conceptuallyRelated Hypothetic-The-Arabian-Coffee ArabianPeninsula) "Formula (#$conceptuallyRelated #$Hypothetic-The-Arabian-Coffee #$ArabianPeninsula)
was not well formed because: (#$isa #$conceptuallyRelated #$IrreflexiveBinaryPredicate) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))> "
(isa Hypothetic-I Individual) T (properNameStrings Hypothetic-I "I") "Formula (#$properNameStrings #$Hypothetic-I \"I\")
was not well formed because: Asserting a literal with predicate #$properNameStrings is prohibited in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>. "
(equals Hypothetic-I (PronounFn FirstPerson-NLAttr Singular-NLAttr Ungendered-NLAttr SubjectPronoun)) T (isa Hypothetic-I SomethingExisting) T (termStrings Hypothetic-I "I") T (equals Hypothetic-I Hypothetic-I) T (isa Hypothetic-GenitiveFrame Event) T