API tools faq
paste
Advertisement
logicmoo

TWO PROLOG DATABASES

logicmoo
Aug 27th, 2014
381
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
PHP 55.78 KB | None | 0 0
raw download clone embed print report
  1.  just did what made sense that someone write software would be forced to do to make it work
  2.  
  3. aa(X) & bb(X,Y) & cc(Y) -> dd(Y)
  4.  
  5. I (like many) could naively thought this simply meant in FOPL
  6.  
  7. Modus Ponens prolog rules:
  8.  
  9. 1) dd(Y) :- cc(Y),  bb(X,Y) , aa(X) .
  10.  
  11. However that was not the whole story
  12.  
  13. For this to work/function in code I “needed” a “DNF explosion” ?
  14.  
  15. Modus Tollens  (asserting the “contrapositive” as a result of transitioning through the normal forms)
  16.  
  17. <Learn>
  18.  
  19.  
  20. 2) not_dd(Y):- not_cc(Y).  % will have proven true not_dd(Y) when i have simply prove not_cc(Y)
  21.  
  22. 3) not_dd(_) :- not_aa(_).    %  proven there can never be any
  23.     % dd anywhere if i can prove there can't ever be any aa anywhere **
  24.  
  25. 4) not_aa(X) :-  not_dd(Y),  bb(X,Y), cc(Y).  % I will have proven not_aa(X) must never be true because I just proved not_dd(Y) and given to believe the rule #1 conditions bb(X,Y), cc(Y). should have made not_dd(X) impossible
  26.  
  27. 5) not_bb(X,Y) :-  not_dd(Y),  aa(X), cc(Y).   % same reason as #4
  28.  
  29. 6) not_cc(Y) :-  not_dd(Y),  bb(X,Y), aa(X). % same reason as #4
  30.  
  31. ……
  32.  
  33. What this meant was I had to create two data structures (like two prolog databases)  
  34.  
  35.  
  36. PONENS: A database of everything we found undisputable in the world  (rule 1 above)
  37. TOLENS: A database of everything that was absolutely impossible (rule 2 and below)
  38.  
  39. Before I was “allowed” to make a query in database PONENS of  “dd(Y1)”  I have to first vette the literal inTOLENS. (assure that not_dd(X) failed in the typical prolog sense.)
  40.  
  41. Ok lets say that not_dd(Y1)   fails in TOLENS..   and now  have permission to work on on cc(Y) in PONENS .. but must vetted not_cc(Y)  in TOLENS first and so on..   every time the two database mingle there is some special quantification rules.. .. ( Notice  TOLENS is quantified in reverse of PONENS )
  42.  
  43.  
  44.  
  45.  
  46.  
  47.  
  48.  
  49.  
  50.  
  51.  
  52. -----------------------------------------------------------------------------------------------------------------------------------------------------
  53. [the, shopper, drank, the, pepsi]
  54. (thereExists ?shopper4675
  55.  (and (isa ?shopper4675 (FrequentPerformerFn Shopping ) )
  56.   (thereExists ?pepsi6
  57.     (and (isa ?pepsi6 PepsiCola )
  58.     (and (occursDuring ?drank7550 Past )
  59.     (and (isa ?drank7550 DrinkingEvent )
  60.     (performedBy ?drank7550 ?shopper4675 )
  61.     (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) ) )      
  62.                                                  
  63. [the, shopper, drinks, the, pepsi]
  64. (thereExists ?shopper4675
  65.  (and (isa ?shopper4675 (FrequentPerformerFn Shopping ) )
  66.   (thereExists ?pepsi6
  67.     (and (isa ?pepsi6 PepsiCola )
  68.     (and (occursDuring ?drank7550 Now )
  69.     (and (isa ?drank7550 DrinkingEvent )
  70.     (performedBy ?drank7550 ?shopper4675 )
  71.     (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) ) )                          
  72.  
  73. [the, shopper, bought, fries]
  74. (thereExists ?shopper4794
  75.   (and (isa ?shopper4794 (FrequentPerformerFn Shopping ) )
  76.   (and (and (isa ?fries20 Frying )
  77.   (objectOfStateChange ?fries20 ?POSSESSOR13610 ) )
  78.   (and (occursDuring ?bought3 Past )
  79.   (and (isa ?bought3 Buying )
  80.   (buyer ?bought3 ?shopper4794 )
  81.   (objectPaidFor ?bought3 ?fries20 ) ) ) ) ) )
  82.  
  83. [the, shopper, bought, fries, with, his, pepsi]
  84. (thereExists ?shopper4863
  85.    (and (isa ?shopper4863 (FrequentPerformerFn Shopping ) )
  86.    (and (isa ?pepsi42 PepsiCola )
  87.    (and (and (and (isa ?fries103 Frying )
  88.       (objectOfStateChange ?fries103 ?POSSESSOR13613 ) )
  89.    (and (isa ?bought4 Buying ) (seller ?bought4 ?shopper4863 )
  90.    (objectPaidFor ?bought4 ?fries103 )
  91.    (buyingPerformer ?bought4 ?pepsi42 ) ) )
  92.    (equals ?POSSESSOR13613
  93.            (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post )
  94.             (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) ) )
  95.    (controls (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post )
  96.                           (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) )
  97.                   ?pepsi42 ) ) ) ) )
  98.  
  99.  
  100.  
  101. |    english2Kif("I see you").
  102. assert(known_phrase(verbSemTrans(#$and(#$isa(?ACTION1, #$VisualPerception), #$pe
  103. rformedBy(?ACTION1, ?Speaker), #$perceivedThings(?ACTION1, ?TargetAgent)), true)
  104. ))
  105.  
  106.  
  107. e2c("George fell last year").
  108.  
  109. [[txt, 'George'], [tag, staart, nnp, np]]
  110. [[txt, fell], [tag, z, vbd]]
  111. [[txt, last], [tag, z, jj, ap, 'Adjective', 'Adverb', 'CountNoun', 'WHAdverb']]
  112. [[txt, year], [tag, laast, nn, 'CountNoun']]
  113.  
  114. 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)])
  115.  
  116. (implies
  117.  (equals ?GEORGE2
  118.    (OneOfFn EddieGeorge-FootballPlayer-American
  119.      (CityNamedFn "George" RepublicOfSouthAfrica ) ) )
  120.  (and
  121.    (isa ?FELL1 Event )
  122.    (implies
  123.      (and
  124.        (isa ?YEAR5 CalendarYear )
  125.        (isa ?YEAR5 ContemporaryArtifact ) )
  126.      (or
  127.        (and
  128.          (isa ?FELL1 CuttingDownATree )
  129.          (objectOfStateChange ?FELL1 ?YEAR5 )
  130.          (doneBy ?FELL1 ?GEORGE2 ) )
  131.        (and
  132.          (organismKilled ?FELL1 ?YEAR5 )
  133.          (isa ?FELL1 CuttingDownATree )
  134.          (performedBy ?FELL1 ?GEORGE2 ) ) ) ) ) )
  135.  
  136.  
  137.  
  138. e2c("I see you").
  139.  
  140. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  141. [[txt, see], [tag, z, vb]]
  142. [[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']]
  143.  
  144. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
  145.  
  146. (thereExists ?SPEAKER
  147.  (and
  148.    (isa ?SPEAKER Person )
  149.    (and
  150.      (isa ?SEE1 Event )
  151.      (thereExists ?TARGETAGENT
  152.        (and
  153.          (isa ?TARGETAGENT Person )
  154.          (or
  155.            (awareOf ?SPEAKER ?TARGETAGENT )
  156.            (and
  157.              (isa ?SEE1 VisualPerception )
  158.              (performedBy ?SEE1 ?SPEAKER )
  159.              (perceivedThings ?SEE1 ?TARGETAGENT ) ) ) ) ) ) ) )
  160.  
  161. e2c("I seen the wood").
  162.  
  163. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  164. [[txt, seen], [tag, z, vbn]]
  165. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  166. [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  167.  
  168. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('QP', 3, 4)])
  169.  
  170. (thereExists ?SPEAKER
  171.  (and
  172.    (isa ?SPEAKER Person )
  173.    (and
  174.      (isa ?SEEN1 Event )
  175.      (thereExists ?WOOD5
  176.        (and
  177.          (isa ?WOOD5
  178.            (OneOfFn Wood Wood-GolfClub WoodedArea ) )
  179.          (or
  180.            (awareOf ?SPEAKER ?WOOD5 )
  181.            (and
  182.              (isa ?SEEN1 VisualPerception )
  183.              (performedBy ?SEEN1 ?SPEAKER )
  184.              (perceivedThings ?SEEN1 ?WOOD5 ) ) ) ) ) ) ) )
  185.  
  186. e2c("I sawed the wood").
  187.  
  188. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  189. [[txt, sawed], [tag, z, 'NLWordForm', 'Verb', 'Adjective']]
  190. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  191. [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  192.  
  193.  
  194. (thereExists ?SPEAKER
  195.  (and
  196.    (isa ?SPEAKER Person )
  197.    (and
  198.      (isa ?SAWED1 Event )
  199.      (thereExists ?WOOD11
  200.        (and
  201.          (isa ?WOOD11
  202.            (OneOfFn Wood Wood-GolfClub WoodedArea ) )
  203.          (and
  204.            (isa ?SAWED1 SawingSomething )
  205.            (objectOfStateChange ?SAWED1 ?WOOD11 )
  206.            (doneBy ?SAWED1 ?SPEAKER ) ) ) ) ) ) )
  207.  
  208. e2c("I see two books on a shelf").
  209.  
  210. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  211. [[txt, see], [tag, z, vb]]
  212. [[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']]
  213. [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  214. [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  215. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  216. [[txt, shelf], [tag, laast, nn, 'CountNoun']]
  217.  
  218. 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)])
  219.  
  220. (thereExists ?SPEAKER
  221.  (and
  222.    (isa ?SPEAKER Person )
  223.    (and
  224.      (isa ?SEE2 Event )
  225.      (thereExistExactly 2 ?TWO2
  226.        (and
  227.          (and
  228.            (isa ?TWO2 BookCopy )
  229.            (isa ?TWO2 Thing ) )
  230.          (and
  231.            (or
  232.              (awareOf ?SPEAKER ?TWO2 )
  233.              (and
  234.                (isa ?SEE2 VisualPerception )
  235.                (performedBy ?SEE2 ?SPEAKER )
  236.                (perceivedThings ?SEE2 ?TWO2 ) ) )
  237.            (thereExists ?SHELF5
  238.              (and
  239.                (isa ?SHELF5 ShelfInABuilding )
  240.                (on-UnderspecifiedSurface ?TWO2 ?SHELF5 ) ) ) ) ) ) ) ) )
  241.  
  242. e2c("I see two books sitting on a shelf").
  243.  
  244. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  245. [[txt, see], [tag, z, vb]]
  246. [[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']]
  247. [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  248. [[txt, sitting], [tag, z, vbg, 'GerundiveCountNoun', 'GerundiveNoun', 'MassNoun-Generic', 'Adjective']]
  249. [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  250. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  251. [[txt, shelf], [tag, laast, nn, 'CountNoun']]
  252.  
  253. 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)])
  254.  
  255. (thereExists ?SPEAKER
  256.  (and
  257.    (isa ?SPEAKER Person )
  258.    (and
  259.      (isa ?SEE3 Event )
  260.      (thereExistExactly 2 ?TWO4
  261.        (and
  262.          (and
  263.            (isa ?TWO4 BookCopy )
  264.            (isa ?TWO4 SittingDown ) )
  265.          (and
  266.            (or
  267.              (awareOf ?SPEAKER ?TWO4 )
  268.              (and
  269.                (isa ?SEE3 VisualPerception )
  270.                (performedBy ?SEE3 ?SPEAKER )
  271.                (perceivedThings ?SEE3 ?TWO4 ) ) )
  272.            (thereExists ?SHELF11
  273.              (and
  274.                (isa ?SHELF11 ShelfInABuilding )
  275.                (on-UnderspecifiedSurface ?TWO4 ?SHELF11 ) ) ) ) ) ) ) ) )
  276.  
  277. e2c("I can see you").
  278.  
  279. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  280. [[txt, can], [tag, z, md, 'Modal', 'CountNoun']]
  281. [[txt, see], [tag, z, vb]]
  282. [[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']]
  283.  
  284. 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)])
  285.  
  286. (thereExists ?SPEAKER
  287.  (and
  288.    (isa ?SPEAKER Person )
  289.    (and
  290.      (behavourCapable ?SPEAKER ?SEE4 )
  291.      (and
  292.        (isa ?SEE4 Event )
  293.        (thereExists ?TARGETAGENT
  294.          (and
  295.            (isa ?TARGETAGENT Person )
  296.            (or
  297.              (awareOf ?SPEAKER ?TARGETAGENT )
  298.              (and
  299.                (isa ?SEE4 VisualPerception )
  300.                (performedBy ?SEE4 ?SPEAKER )
  301.                (perceivedThings ?SEE4 ?TARGETAGENT ) ) ) ) ) ) ) ) )
  302.  
  303. e2c("Fido is a dog").
  304.  
  305. [[txt, 'Fido'], [tag, staart]]
  306. [[txt, is], [tag, z, bez, vbz, 'BeAux']]
  307. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  308. [[txt, dog], [tag, laast, nn, 'CountNoun']]
  309.  
  310.  
  311. (implies
  312.  (properNameString ?FIDO3 "Fido" )
  313.  (thereExists ?DOG8
  314.    (and
  315.      (and
  316.        (isa ?DOG8 InsultingSomeone )
  317.        (subjectOfInfo ?DOG8 :POSSESSOR ) )
  318.      (and
  319.        (isa ?IS1 Living )
  320.        (occursDuring ?IS1 Now )
  321.        (preActors ?IS1 ?FIDO3 )
  322.        (actors ?IS1 ?DOG8 ) ) ) ) )
  323.  
  324. e2c("Who is the president of the United States of America ?").
  325.  
  326. [[txt, 'Who'], [tag, staart, nnp, prp, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  327. [[txt, is], [tag, z, bez, vbz, 'BeAux']]
  328. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  329. [[txt, president], [tag, z, nn, 'CountNoun', 'ProperCountNoun', 'ProperNoun', 'Adjective']]
  330. [[txt, of], [tag, z, in, 'Preposition', 'Preposition-Of']]
  331. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  332. [[txt, 'United', 'States', of, 'America'], [tag, z]]
  333. [[txt, ?], [tag, laast, ?, 'Punctuation-SP']]
  334.  
  335.  
  336. (CYC-QUERY
  337.  (thereExists ?Who
  338.    (thereExists ?PRESIDENT46
  339.      (and
  340.        (and
  341.          (and
  342.            (isa ?PRESIDENT46 Thing )
  343.            (isa ?PRESIDENT46 Thing ) )
  344.          (isa ?PRESIDENT46
  345.            (OneOfFn PresidentOfOrganization
  346.              (SubcollectionOfWithRelationFromTypeFn Person president Organization ) ) ) )
  347.        (and
  348.          (and
  349.            (isa ?IS10 Living )
  350.            (occursDuring ?IS10 Now )
  351.            (preActors ?IS10 ?Who )
  352.            (actors ?IS10 ?PRESIDENT46 ) )
  353.          (thereExists ?G300312
  354.            (and
  355.              (eq ?G300312 UnitedStatesOfAmerica )
  356.              (possessiveRelation ?G300312 ?PRESIDENT46 ) ) ) ) ) ) ) )
  357.  
  358. e2c("I saw him").
  359.  
  360. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  361. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  362. [[txt, him], [tag, laast, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  363.  
  364. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
  365.  
  366. (thereExists ?SPEAKER
  367.  (and
  368.    (isa ?SPEAKER Person )
  369.    (and
  370.      (isa ?SAW1 Event )
  371.      (thereExists ?HIM
  372.        (and
  373.          (equals ?HIM
  374.            (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  375.          (or
  376.            (awareOf ?SPEAKER ?HIM )
  377.            (and
  378.              (isa ?SAW1 SawingSomething )
  379.              (objectOfStateChange ?SAW1 ?HIM )
  380.              (doneBy ?SAW1 ?SPEAKER ) )
  381.            (and
  382.              (isa ?SAW1 VisualPerception )
  383.              (performedBy ?SAW1 ?SPEAKER )
  384.              (perceivedThings ?SAW1 ?HIM ) ) ) ) ) ) ) )
  385.  
  386. e2c("I saw him Monday").
  387.  
  388. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  389. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  390. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  391. [[txt, 'Monday'], [tag, laast, nnp, nr, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  392.  
  393. 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)])
  394.  
  395. (thereExists ?SPEAKER
  396.  (and
  397.    (isa ?SPEAKER Person )
  398.    (implies
  399.      (occursDuring ?SAW2 Monday )
  400.      (holdsIn ?SAW2
  401.        (and
  402.          (isa ?SAW2 Event )
  403.          (thereExists ?HIM
  404.            (and
  405.              (equals ?HIM
  406.                (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  407.              (or
  408.                (awareOf ?SPEAKER ?HIM )
  409.                (and
  410.                  (isa ?SAW2 SawingSomething )
  411.                  (objectOfStateChange ?SAW2 ?HIM )
  412.                  (doneBy ?SAW2 ?SPEAKER ) )
  413.                (and
  414.                  (isa ?SAW2 VisualPerception )
  415.                  (performedBy ?SAW2 ?SPEAKER )
  416.                  (perceivedThings ?SAW2 ?HIM ) ) ) ) ) ) ) ) ) )
  417.  
  418. e2c("I saw him January").
  419.  
  420. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  421. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  422. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  423. [[txt, 'January'], [tag, laast, nnp, np, 'ProperCountNoun', 'ProperNoun']]
  424.  
  425. 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)])
  426.  
  427. (thereExists ?SPEAKER
  428.  (and
  429.    (isa ?SPEAKER Person )
  430.    (implies
  431.      (occursDuring ?SAW3 January )
  432.      (holdsIn ?SAW3
  433.        (and
  434.          (isa ?SAW3 Event )
  435.          (thereExists ?HIM
  436.            (and
  437.              (equals ?HIM
  438.                (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  439.              (or
  440.                (awareOf ?SPEAKER ?HIM )
  441.                (and
  442.                  (isa ?SAW3 SawingSomething )
  443.                  (objectOfStateChange ?SAW3 ?HIM )
  444.                  (doneBy ?SAW3 ?SPEAKER ) )
  445.                (and
  446.                  (isa ?SAW3 VisualPerception )
  447.                  (performedBy ?SAW3 ?SPEAKER )
  448.                  (perceivedThings ?SAW3 ?HIM ) ) ) ) ) ) ) ) ) )
  449.  
  450. e2c("I saw him January twenty first").
  451.  
  452. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  453. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  454. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  455. [[txt, 'January'], [tag, z, nnp, np, 'ProperCountNoun', 'ProperNoun']]
  456. [[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']]
  457. [[txt, first], [tag, laast, jj, od, rb, 'Adjective', 'Adverb', 'CountNoun', 'NongradableAdjective', 'OrdinalAdjective', 'WHAdverb']]
  458.  
  459. 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)])
  460.  
  461. e2c("Monday ' s concert should be good").
  462.  
  463. [[txt, 'Monday\'s'], [txt, 'Monday', '\'s'], [txt, 'Monday'], [tag, staart, '\'s', 'nr$']]
  464. [[txt, concert], [tag, z, nn, 'CountNoun']]
  465. [[txt, should], [tag, z, md, 'Modal']]
  466. [[txt, be], [tag, z, be, vb, 'BeAux']]
  467. [[txt, good], [tag, laast, jj, 'Adjective']]
  468.  
  469.  
  470. e2c("We did it in Jan").
  471.  
  472. [[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']]
  473. [[txt, did], [tag, z, dod, vbd, 'DoAux']]
  474. [[txt, it], [tag, z, prp, pps, ppo, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  475. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  476. [[txt, 'Jan'], [tag, laast, nnp, np]]
  477.  
  478. 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)])
  479.  
  480. (thereExists ?WE
  481.  (and
  482.    (equals ?WE
  483.      (PronounFn FirstPerson-NLAttr Plural-NLAttr Ungendered-NLAttr SubjectPronoun ) )
  484.    (and
  485.      (and
  486.        (occursDurring ?IN3 ?G431374 )
  487.        (bodilyDoer ?WE ?IN3 ) )
  488.      (implies
  489.        (properNameString ?JAN68 "Jan" )
  490.        (and
  491.          (occursDuring ?IN3 Now )
  492.          (holdsIn ?IN3
  493.            (in-UnderspecifiedContainer ?WE ?JAN68 ) ) ) ) ) ) )
  494.  
  495.  
  496. e2c("Failure to comply may result in dismissal").
  497.  
  498. [[txt, 'Failure'], [tag, staart, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  499. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  500. [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']]
  501. [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']]
  502. [[txt, result], [tag, z, nn, vb, 'CountNoun']]
  503. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  504. [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
  505.  
  506. 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)])
  507.  
  508. (implies
  509.  (properNameString ?FAILURE3 "Failure" )
  510.  (and
  511.    (and
  512.      (isa ?RESULT3
  513.        (AdverbFn Comply-TheWord ) )
  514.      (and
  515.        (behavourCapable ?FAILURE3 ?RESULT3 )
  516.        (implies
  517.          (and
  518.            (isa ?DISMISSAL9
  519.              (NounFn Dismiss-TheWord ) )
  520.            (agentPopularity ?DISMISSAL9
  521.              (HighAmountFn PopularityLevel ) ) )
  522.          (and
  523.            (occursDuring ?RESULT3 Now )
  524.            (holdsIn ?RESULT3
  525.              (eventOutcomes ?FAILURE3 ?DISMISSAL9 ) ) ) ) ) )
  526.    (implies
  527.      (and
  528.        (isa ?G461366 Thing )
  529.        (isa ?G461366 Thing ) )
  530.      (to-UnderspecifiedLocation ?FAILURE3 ?G461366 ) ) ) )
  531.  
  532. e2c("Absence to comply may result in dismissal").
  533.  
  534. [[txt, 'Absence'], [tag, staart, 'CountNoun', 'CountNoun-Generic', 'NLWordForm', 'Noun']]
  535. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  536. [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']]
  537. [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']]
  538. [[txt, result], [tag, z, nn, vb, 'CountNoun']]
  539. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  540. [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
  541.  
  542.  
  543. (implies
  544.  (properNameString ?ABSENCE3 "Absence" )
  545.  (and
  546.    (and
  547.      (isa ?RESULT7
  548.        (AdverbFn Comply-TheWord ) )
  549.      (and
  550.        (behavourCapable ?ABSENCE3 ?RESULT7 )
  551.        (implies
  552.          (and
  553.            (isa ?DISMISSAL18
  554.              (NounFn Dismiss-TheWord ) )
  555.            (agentPopularity ?DISMISSAL18
  556.              (HighAmountFn PopularityLevel ) ) )
  557.          (and
  558.            (occursDuring ?RESULT7 Now )
  559.            (holdsIn ?RESULT7
  560.              (eventOutcomes ?ABSENCE3 ?DISMISSAL18 ) ) ) ) ) )
  561.    (implies
  562.      (and
  563.        (isa ?G495123 Thing )
  564.        (isa ?G495123 Thing ) )
  565.      (to-UnderspecifiedLocation ?ABSENCE3 ?G495123 ) ) ) )
  566.  
  567. e2c("He made a request that there be an investigation").
  568.  
  569. [[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  570. [[txt, made], [tag, z, vbd, vbn]]
  571. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  572. [[txt, request], [tag, z, nn, 'CountNoun']]
  573. [[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']]
  574. [[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']]
  575. [[txt, be], [tag, z, be, vb, 'BeAux']]
  576. [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']]
  577. [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  578.  
  579.  
  580. (thereExists ?HE
  581.  (and
  582.    (isa ?HE Male )
  583.    (and
  584.      (isa ?MADE1 Event )
  585.      (thereExists ?REQUEST8
  586.        (and
  587.          (and
  588.            (isa ?REQUEST8
  589.              (OneOfFn InformationRequest-IBT Request Requesting-CommunicationAct ) )
  590.            (isa ?REQUEST8 Thing ) )
  591.          (and
  592.            (or
  593.              (causes-Underspecified ?HE ?REQUEST8 )
  594.              (createdBy ?REQUEST8 ?HE )
  595.              (doneBy ?REQUEST8 ?HE )
  596.              (and
  597.                (isa ?MADE1 MakingSomething )
  598.                (performedBy ?MADE1 ?HE )
  599.                (products ?MADE1 ?REQUEST8 ) ) )
  600.            (and
  601.              (isa ?BE29
  602.                (AdverbFn There-TheWord ) )
  603.              (thereExists ?INVESTIGATION7
  604.                (and
  605.                  (isa ?INVESTIGATION7 Research )
  606.                  (and
  607.                    (isa ?BE29 Living )
  608.                    (occursDuring ?BE29 Now )
  609.                    (preActors ?BE29 ?REQUEST8 )
  610.                    (actors ?BE29 ?INVESTIGATION7 ) ) ) ) ) ) ) ) ) ) )
  611.  
  612. e2c("He stated the fact that there be an investigation").
  613.  
  614. [[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  615. [[txt, stated], [tag, z, vbn, vbd, 'Adjective']]
  616. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  617. [[txt, fact], [tag, z, nn, 'CountNoun']]
  618. [[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']]
  619. [[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']]
  620. [[txt, be], [tag, z, be, vb, 'BeAux']]
  621. [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']]
  622. [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  623.  
  624.  
  625. (thereExists ?HE
  626.  (and
  627.    (isa ?HE Male )
  628.    (thereExists ?FACT10
  629.      (and
  630.        (ist :POSSESSOR ?FACT10 )
  631.        (and
  632.          (implies
  633.            (isa ?STATED3
  634.              (VerbFn State-TheWord ) )
  635.            (eventSOT ?STATED3 ?HE ?FACT10 Past ) )
  636.          (and
  637.            (isa ?BE31
  638.              (AdverbFn There-TheWord ) )
  639.            (thereExists ?INVESTIGATION15
  640.              (and
  641.                (isa ?INVESTIGATION15 Research )
  642.                (and
  643.                  (isa ?BE31 Living )
  644.                  (occursDuring ?BE31 Now )
  645.                  (preActors ?BE31 ?FACT10 )
  646.                  (actors ?BE31 ?INVESTIGATION15 ) ) ) ) ) ) ) ) ) )
  647.  
  648.  
  649. e2c("Many were angered by the hearings").
  650.  
  651. [[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']]
  652. [[txt, were], [tag, z, bed, vbd, 'BeAux']]
  653. [[txt, angered], [tag, z, vbn, vbd, 'Adjective']]
  654. [[txt, by], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'WHAdverb', 'Adjective']]
  655. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  656. [[txt, hearings], [tag, laast, nns, 'CountNoun', 'GerundiveCountNoun']]
  657.  
  658. 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)])
  659.  
  660. (thereExists ?MANY
  661.  (and
  662.    (or
  663.      (and
  664.        (equals ?MANY Many-NLAttr )
  665.        (isa ?MANY
  666.          (CollectionUnionFn Individual NLGenQuantAttribute ) ) )
  667.      (and
  668.        (equals ?MANY Many-Quant )
  669.        (isa ?MANY
  670.          (CollectionUnionFn Individual PositiveIntegerExtent ) ) )
  671.      (and
  672.        (equals ?MANY many )
  673.        (isa ?MANY
  674.          (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) )
  675.    (and
  676.      (occursDurring ?ANGERED3 Past )
  677.      (implies
  678.        (and
  679.          (isa ?G626264 Thing )
  680.          (isa ?G626264 Thing ) )
  681.        (and
  682.          (implies
  683.            (isa ?ANGERED3
  684.              (VerbFn Anger-TheWord ) )
  685.            (eventSOT ?ANGERED3 ?MANY ?G626264 Past ) )
  686.          (thereExists ?HEARINGS5
  687.            (and
  688.              (and
  689.                (isa ?HEARINGS5 Hearing )
  690.                (objectActedOn ?HEARINGS5 :POSSESSOR ) )
  691.              (by-Underspecified ?G626264 ?HEARINGS5 ) ) ) ) ) ) ) )
  692.  
  693.  
  694. e2c("Many who initially supported Thomas later changed their minds").
  695.  
  696. [[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']]
  697. [[txt, who], [tag, z, wps, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun', 'WHPronoun-Subject']]
  698. [[txt, initially], [tag, z, rb, 'Adverb', 'WHAdverb', 'Adjective']]
  699. [[txt, supported], [tag, z, vbn, vbd, 'Adjective']]
  700. [[txt, 'Thomas'], [tag, z, np, nnp]]
  701. [[txt, later], [tag, z, rbr, rb, 'Adjective', 'Adverb', 'AgentiveNoun', 'AdverbOfTime', 'WHAdverb']]
  702. [[txt, changed], [tag, z, vbn, vbd, 'Adjective', 'CountNoun']]
  703. [[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']]
  704. [[txt, minds], [tag, laast, nns, 'CountNoun']]
  705.  
  706. 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)])
  707.  
  708. (thereExists ?MANY
  709.  (and
  710.    (or
  711.      (and
  712.        (equals ?MANY Many-NLAttr )
  713.        (isa ?MANY
  714.          (CollectionUnionFn Individual NLGenQuantAttribute ) ) )
  715.      (and
  716.        (equals ?MANY Many-Quant )
  717.        (isa ?MANY
  718.          (CollectionUnionFn Individual PositiveIntegerExtent ) ) )
  719.      (and
  720.        (equals ?MANY many )
  721.        (isa ?MANY
  722.          (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) )
  723.    (implies
  724.      (and
  725.        (or
  726.          (and
  727.            (equals ?MANY Agent-PartiallyTangible )
  728.            (isa ?MANY
  729.              (CollectionUnionFn Collection ExistingObjectType StuffType TemporalStuffType ) ) ) )
  730.        (and
  731.          (isa ?CHANGED1 Event )
  732.          (and
  733.            (controls ?THEIR ?MINDS4 )
  734.            (and
  735.              (equals ?THEIR
  736.                (PronounFn ThirdPerson-NLAttr Plural-NLAttr Ungendered-NLAttr PossessivePronoun-Pre ) )
  737.              (implies
  738.                (and
  739.                  (isa ?MINDS4 TakingCareOfSomething )
  740.                  (beneficiary ?MINDS4 :POSSESSOR ) )
  741.                (or
  742.                  (and
  743.                    (isa ?CHANGED1 IntrinsicStateChangeEvent )
  744.                    (performedBy ?CHANGED1 ?MANY )
  745.                    (objectOfStateChange ?CHANGED1 ?MINDS4 ) )
  746.                  (and
  747.                    (isa ?CHANGED1 ReplacingAnObject )
  748.                    (objectActedOn ?CHANGED1 ?MINDS4 )
  749.                    (doneBy ?CHANGED1 ?MANY ) ) ) ) ) ) ) )
  750.      (and
  751.        (isa ?SUPPORTED1
  752.          (AdverbFn Initial-TheWord ) )
  753.        (and
  754.          (isa ?SUPPORTED1
  755.            (AdverbFn Late-TheWord ) )
  756.          (and
  757.            (isa ?SUPPORTED1 Event )
  758.            (implies
  759.              (equals ?THOMAS2 JackThomas-911FOAF )
  760.              (or
  761.                (satisfiesStandard ?MANY ?THOMAS2 )
  762.                (and
  763.                  (isa ?SUPPORTED1 ShowingSupportForSomeone )
  764.                  (beneficiary ?SUPPORTED1 ?THOMAS2 )
  765.                  (performedBy ?SUPPORTED1 ?MANY ) )
  766.                (and
  767.                  (isa ?SUPPORTED1 SupportingSomething )
  768.                  (supportedObject ?SUPPORTED1 ?THOMAS2 )
  769.                  (supportingObject ?SUPPORTED1 ?MANY ) ) ) ) ) ) ) ) ) )
  770.  
  771.  
  772. e2c("Those that want to come can come").
  773.  
  774. [[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']]
  775. [[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']]
  776. [[txt, want], [tag, z, vb, vbp, 'CountNoun']]
  777. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  778. [[txt, come], [tag, z, vb, vbn]]
  779. [[txt, can], [tag, z, md, 'Modal', 'CountNoun']]
  780. [[txt, come], [tag, laast, vb, vbn]]
  781.  
  782. 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)])
  783.  
  784. (thereExists ?THOSE
  785.  (and
  786.    (or
  787.      (and
  788.        (equals ?THOSE Backreference-ClassB-NLAttr )
  789.        (isa ?THOSE
  790.          (CollectionUnionFn Backreference-NLAttrType Individual ) ) )
  791.      (and
  792.        (equals ?THOSE Demonstrative-ClassB-NLAttr )
  793.        (isa ?THOSE
  794.          (CollectionUnionFn Demonstrative-NLAttrType Individual ) ) ) )
  795.    (and
  796.      (eventSOT ?EVENT88 ?THOSE ?OBJ88 ?TIME88 )
  797.      (implies
  798.        (occursDuring ?WANT3
  799.          (OneOfFn ArrivingAtAPlace HavingAnOrgasm ) )
  800.        (holdsIn ?WANT3
  801.          (implies
  802.            (and
  803.              (isa ?G738781 Thing )
  804.              (isa ?G738781 Thing ) )
  805.            (and
  806.              (implies
  807.                (isa ?WANT3
  808.                  (VerbFn Want-TheWord ) )
  809.                (eventSOT ?WANT3 ?THOSE ?G738781 Now ) )
  810.              (implies
  811.                (and
  812.                  (isa ?COME4 Emission )
  813.                  (isa ?COME4
  814.                    (OneOfFn Buttocks Can CanningFood ) ) )
  815.                (to-UnderspecifiedLocation ?G738781 ?COME4 ) ) ) ) ) ) ) ) )
  816.  
  817.  
  818. e2c("the best costumes got prizes").
  819.  
  820. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  821. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  822. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  823. [[txt, got], [tag, z, vbd, vbn]]
  824. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  825.  
  826. 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)])
  827.  
  828. (thereExists ?COSTUMES5
  829.  (and
  830.    (and
  831.      (isa ?COSTUMES5 Costume )
  832.      (isa ?COSTUMES5 Thing ) )
  833.    (implies
  834.      (isa ?PRIZES7 AwardPractice )
  835.      (implies
  836.        (isa ?GOT7
  837.          (VerbFn Get-TheWord ) )
  838.        (eventSOT ?GOT7 ?COSTUMES5 ?PRIZES7 Past ) ) ) ) )
  839.  
  840. e2c("a best costume got prizes").
  841.  
  842. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  843. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  844. [[txt, costume], [tag, z, nn, 'CountNoun']]
  845. [[txt, got], [tag, z, vbd, vbn]]
  846. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  847.  
  848. 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)])
  849.  
  850. (thereExists ?COSTUME5
  851.  (and
  852.    (and
  853.      (isa ?COSTUME5 Costume )
  854.      (isa ?COSTUME5 Thing ) )
  855.    (implies
  856.      (isa ?PRIZES15 AwardPractice )
  857.      (implies
  858.        (isa ?GOT14
  859.          (VerbFn Get-TheWord ) )
  860.        (eventSOT ?GOT14 ?COSTUME5 ?PRIZES15 Past ) ) ) ) )
  861.  
  862. e2c("some best costumes got prizes").
  863.  
  864. [[txt, some], [tag, staart, dt, dti, 'Adverb', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Postdeterminer', 'WHAdverb', 'WHDeterminer']]
  865. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  866. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  867. [[txt, got], [tag, z, vbd, vbn]]
  868. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  869.  
  870. 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)])
  871.  
  872. (thereExists ?COSTUMES10
  873.  (and
  874.    (and
  875.      (isa ?COSTUMES10 Costume )
  876.      (isa ?COSTUMES10 Thing ) )
  877.    (implies
  878.      (isa ?PRIZES23 AwardPractice )
  879.      (implies
  880.        (isa ?GOT21
  881.          (VerbFn Get-TheWord ) )
  882.        (eventSOT ?GOT21 ?COSTUMES10 ?PRIZES23 Past ) ) ) ) )
  883.  
  884. e2c("the best five costumes got prizes").
  885.  
  886. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  887. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  888. [[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']]
  889. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  890. [[txt, got], [tag, z, vbd, vbn]]
  891. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  892.  
  893. 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)])
  894.  
  895. (thereExistExactly 5 ?FIVE1
  896.  (and
  897.    (and
  898.      (isa ?FIVE1 Costume )
  899.      (isa ?FIVE1 Thing ) )
  900.    (implies
  901.      (isa ?PRIZES31 AwardPractice )
  902.      (implies
  903.        (isa ?GOT28
  904.          (VerbFn Get-TheWord ) )
  905.        (eventSOT ?GOT28 ?FIVE1 ?PRIZES31 Past ) ) ) ) )
  906.  
  907. e2c("best costumes got prizes").
  908.  
  909. [[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  910. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  911. [[txt, got], [tag, z, vbd, vbn]]
  912. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  913.  
  914. seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 2), p('VP_non_cyclic', 3, 3), p('QP', 4, 4)])
  915.  
  916. e2c("best five costumes got prizes").
  917.  
  918. [[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  919. [[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']]
  920. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  921. [[txt, got], [tag, z, vbd, vbn]]
  922. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  923.  
  924. seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
  925.  
  926. (implies
  927.  (and
  928.    (and
  929.      (isa ?COSTUMES42
  930.        (NounFn Five-TheWord ) )
  931.      (isa ?COSTUMES42 Costume ) )
  932.    (hasEvaluativeQuantity ?COSTUMES42
  933.      (MediumToVeryHighAmountFn Goodness-Generic ) ) )
  934.  (implies
  935.    (isa ?PRIZES65 AwardPractice )
  936.    (implies
  937.      (isa ?GOT45
  938.        (VerbFn Get-TheWord ) )
  939.      (eventSOT ?GOT45 ?COSTUMES42 ?PRIZES65 Past ) ) ) )
  940.  
  941. e2c("five other costumes got prizes").
  942.  
  943. [[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']]
  944. [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']]
  945. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  946. [[txt, got], [tag, z, vbd, vbn]]
  947. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  948.  
  949. 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)])
  950.  
  951. (thereExistExactly 5 ?FIVE18
  952.  (and
  953.    (and
  954.      (and
  955.        (isa ?FIVE18 Costume )
  956.        (isa ?FIVE18 Thing ) )
  957.      (isa ?FIVE18 BIOS-OTHERSurveillanceSyndrome ) )
  958.    (implies
  959.      (isa ?PRIZES73 AwardPractice )
  960.      (implies
  961.        (isa ?GOT52
  962.          (VerbFn Get-TheWord ) )
  963.        (eventSOT ?GOT52 ?FIVE18 ?PRIZES73 Past ) ) ) ) )
  964.  
  965. e2c("the other five costumes got prizes").
  966.  
  967. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  968. [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']]
  969. [[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']]
  970. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  971. [[txt, got], [tag, z, vbd, vbn]]
  972. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  973.  
  974. seg([p('QP', 1, 2), p('QP', 3, 4), p('VP_non_cyclic', 5, 5), p('QP', 6, 6)])
  975.  
  976. (thereExistExactly 5 ?FIVE19
  977.  (and
  978.    (and
  979.      (isa ?FIVE19 Costume )
  980.      (isa ?FIVE19 Thing ) )
  981.    (implies
  982.      (isa ?PRIZES81 AwardPractice )
  983.      (implies
  984.        (isa ?GOT59
  985.          (VerbFn Get-TheWord ) )
  986.        (eventSOT ?GOT59 ?FIVE19 ?PRIZES81 Past ) ) ) ) )
  987.  
  988. e2c("other five costumes got prizes").
  989.  
  990. (implies
  991.  (and
  992.    (and
  993.      (isa ?OTHER12
  994.        (NounFn Five-TheWord ) )
  995.      (isa ?OTHER12 Costume ) )
  996.    (isa ?OTHER12 BIOS-OTHERSurveillanceSyndrome ) )
  997.  (implies
  998.    (isa ?PRIZES89 AwardPractice )
  999.    (implies
  1000.      (isa ?GOT62
  1001.        (VerbFn Get-TheWord ) )
  1002.      (eventSOT ?GOT62 ?OTHER12 ?PRIZES89 Past ) ) ) )
  1003.  
  1004.  
  1005. e2c("some other costumes were really bad").
  1006.  
  1007.  
  1008. (thereExists ?OTHER52
  1009.  (and
  1010.    (and
  1011.      (and
  1012.        (isa ?OTHER52 Costume )
  1013.        (isa ?OTHER52 Thing ) )
  1014.      (isa ?OTHER52 BIOS-OTHERSurveillanceSyndrome ) )
  1015.    (implies
  1016.      (and
  1017.        (isa ?BAD14
  1018.          (NounFn Real-TheWord ) )
  1019.        (isa ?BAD14
  1020.          (OneOfFn Badness-Generic Badness-Moral ) ) )
  1021.      (and
  1022.        (isa ?WERE6 Living )
  1023.        (occursDuring ?WERE6 Past )
  1024.        (preActors ?WERE6 ?OTHER52 )
  1025.        (actors ?WERE6 ?BAD14 ) ) ) ) )
  1026.  
  1027.  
  1028.  
  1029. English Parser
  1030.  
  1031.   Show All
  1032.  
  1033. Please wait..
  1034.  
  1035. Assertion
  1036.  
  1037.  
  1038.  
  1039. ['Hypothetic-I', 'Hypothetic-The-Arabian-Coffee', 'Hypothetic-Drank']
  1040. Variable Quantification
  1041. Or Constant Name    Refactoring To Customize The Assertion (Persistent)
  1042. Hypothetic-I
  1043.  
  1044.  
  1045. Hypothetic-The-Arabian-Coffee
  1046.  
  1047.  
  1048. Hypothetic-Drank
  1049.  
  1050.  
  1051.  (situationConstituents Hypothetic-GenitiveFrame Hypothetic-I)
  1052. T
  1053. (subEvents Hypothetic-GenitiveFrame Hypothetic-Drank)
  1054. T
  1055. (actors Hypothetic-Drank Hypothetic-The-Arabian-Coffee)
  1056. T
  1057. (preActors Hypothetic-Drank Hypothetic-I)
  1058. T
  1059. (isa Hypothetic-Drank DrinkingEvent)
  1060. T
  1061. (performedBy Hypothetic-Drank Hypothetic-I)
  1062. "Formula
  1063.   (#$performedBy #$Hypothetic-Drank #$Hypothetic-I)
  1064. was not well formed because:
  1065. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1066. applicable to argument 2 of relation #$performedBy
  1067. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1068. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1069. applicable to argument 2 of relation #$performedBy
  1070. (via #$deliberateActors)
  1071. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1072. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1073. applicable to argument 2 of relation #$performedBy
  1074. (via #$awareOf)
  1075. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1076. "
  1077. (primaryObjectMoving Hypothetic-Drank Hypothetic-I)
  1078. "Formula
  1079.   (#$primaryObjectMoving #$Hypothetic-Drank #$Hypothetic-I)
  1080. was not well formed because:
  1081. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1082. applicable to argument 2 of relation #$primaryObjectMoving
  1083. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1084. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1085. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1086. applicable to argument 2 of relation #$primaryObjectMoving
  1087. (via #$objectMoving)
  1088. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1089. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1090. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1091. applicable to argument 2 of relation #$primaryObjectMoving
  1092. when argument 1, #$Hypothetic-Drank, isa #$FluidFlow-Translation
  1093. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1094. Term #$Hypothetic-I violates arg-isa #$SpatialThing
  1095. applicable to argument 2 of relation #$primaryObjectMoving
  1096. (via #$objectMoving)
  1097. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1098. Term #$Hypothetic-I violates arg-isa #$PartiallyTangible
  1099. applicable to argument 2 of relation #$primaryObjectMoving
  1100. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1101. "
  1102. (objectMoving Hypothetic-Drank Hypothetic-I)
  1103. "Formula
  1104.   (#$objectMoving #$Hypothetic-Drank #$Hypothetic-I)
  1105. was not well formed because:
  1106. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1107. applicable to argument 2 of relation #$objectMoving
  1108. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1109. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1110. Term #$Hypothetic-I violates arg-isa #$SpatialThing
  1111. applicable to argument 2 of relation #$objectMoving
  1112. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1113. "
  1114. (consumedObject Hypothetic-Drank Hypothetic-The-Arabian-Coffee)
  1115. T
  1116. (isa Hypothetic-Drank Event)
  1117. T
  1118. (isa Hypothetic-Drank Situation)
  1119. T
  1120. (termStrings Hypothetic-Drank "drank")
  1121. T
  1122. (occursDuring Hypothetic-Drank
  1123.      (IntervalBeforeFn Now AnIndefiniteAmountOfTime))
  1124. T
  1125. (isa Hypothetic-The-Arabian-Coffee Individual)
  1126. T
  1127. (isa Hypothetic-The-Arabian-Coffee SomethingExisting)
  1128. T
  1129. (termStrings Hypothetic-The-Arabian-Coffee "the arabian coffee")
  1130. T
  1131. (isa Hypothetic-The-Arabian-Coffee Coffee-Ground)
  1132. T
  1133. (isa Hypothetic-The-Arabian-Coffee Coffee-Beverage)
  1134. T
  1135. (equals Hypothetic-The-Arabian-Coffee ArabianPeninsula)
  1136. T
  1137. (isa Hypothetic-The-Arabian-Coffee ArabianHorse)
  1138. "Formula
  1139.   (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse)
  1140. was not well formed because:
  1141. #$Hypothetic-The-Arabian-Coffee is known not to be an instance of #$ArabianHorse in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.  
  1142. sbhl conflict: (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse) TRUE #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>
  1143.      because: (#$isa #$Hypothetic-The-Arabian-Coffee #$Coffee-Beverage) True-JustificationTruth              
  1144. (#$genls #$Coffee-Beverage #$Drink) TRUE              
  1145. (#$genls #$Drink #$LiquidTangibleThing) TRUE              
  1146. (#$genls #$LiquidTangibleThing #$FluidTangibleThing) TRUE              
  1147. (#$disjointWith #$FluidTangibleThing #$Agent-PartiallyTangible) TRUE              
  1148. (#$genls #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))> #$Agent-PartiallyTangible) TRUE              
  1149. (#$genls #$Animal #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))>) TRUE              
  1150. (#$genls #$NonHumanAnimal #$Animal) TRUE              
  1151. (#$genls #$EquineAnimal #$NonHumanAnimal) TRUE              
  1152. (#$genls #$Horse #$EquineAnimal) TRUE              
  1153. (#$genls #$Horse-Domesticated #$Horse) TRUE              
  1154. (#$genls #$ArabianHorse #$Horse-Domesticated) TRUE
  1155.  
  1156. "
  1157. (conceptuallyRelated Hypothetic-The-Arabian-Coffee ArabianPeninsula)
  1158. "Formula
  1159.   (#$conceptuallyRelated #$Hypothetic-The-Arabian-Coffee #$ArabianPeninsula)
  1160. was not well formed because:
  1161. (#$isa #$conceptuallyRelated #$IrreflexiveBinaryPredicate) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>
  1162. "
  1163. (isa Hypothetic-I Individual)
  1164. T
  1165. (properNameStrings Hypothetic-I "I")
  1166. "Formula
  1167.   (#$properNameStrings #$Hypothetic-I \"I\")
  1168. was not well formed because:
  1169. Asserting a literal with predicate #$properNameStrings is prohibited in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1170. "
  1171. (equals Hypothetic-I
  1172.      (PronounFn FirstPerson-NLAttr Singular-NLAttr Ungendered-NLAttr SubjectPronoun))
  1173. T
  1174. (isa Hypothetic-I SomethingExisting)
  1175. T
  1176. (termStrings Hypothetic-I "I")
  1177. T
  1178. (equals Hypothetic-I Hypothetic-I)
  1179. T
  1180. (isa Hypothetic-GenitiveFrame Event)
  1181. T
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!