API tools faq
paste
Advertisement
logicmoo

Untitled

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