E2c/notes

From Public Domain Knowledge Bank
Revision as of 21:32, 23 September 2016 by DavidWhitten (talk | contribs) (Created page with " [the, shopper, drank, the, pepsi] (thereExists ?shopper4675 (and (isa ?shopper4675 (FrequentPerformerFn Shopping ) ) (thereExists ?pepsi6...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

  1. $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