API tools faq
paste
Advertisement
logicmoo

e2cycl

logicmoo
Dec 9th, 2013
346
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
PHP 58.39 KB | None | 0 0
raw download clone embed print report diff
  1. -----------------------------------------------------------------------------------------------------------------------------------------------------
  2.  
  3. CycMoo  (UNDER CONSTRUCTION)   
  4.  
  5. Muddle around in Cyc's imagination
  6.  | Try Now | Project | Documentation | Support |  Feature Requests | Bugs | CVS  | OpenCyc | CycL Programming |
  7.  
  8.  
  9. This project delivers Java APIs, Ontologies and other Tools that you will need to use CycL, KIF (Knowledge Interchange Format) and soon enough DAML (DARPA Agent Markup Language) content into an episodic simulation inside a virtual world MOO.  
  10.  
  11. Browse to the Development Machines Web Interface at http://12.211.44.132:8080/logicmoo/
  12. The system is sometimes down or being recompiled and the previous usernames and passwords may be reset.
  13. I intend to offer a stable connection point for persistent user engineering in a short while.
  14.  
  15. You also may log in via: telnet://12.211.44.132:4040
  16. I suggest using Linux telnet since terminal control was not completely developed in my current system and may get confusing otherwise.  
  17. Use a username when prompted that is one complete word like "BobBrown"
  18.  
  19. Project Goals
  20.  
  21. 1)  To test and do practical Knowledge Engineering about a virtual realm of objects.  (Expertly build rooms with objects based on rules.)
  22.  Sometimes its easier to model the world as and how we see it.  Room building Exercise to give it a try.
  23.  
  24.  
  25. 2)  Perform higher level operations and model how state changes happen with our objects
  26.       hasAttributes Exercise,  Event Exercise
  27.  
  28. 3)  To animate non-player character agents from propositional rules
  29.  
  30. 4)  Provide a interface for humans to involve themselves in the lives of logically created agent creatures.
  31.  
  32. 5)   To represent episodic models of memory for each agent.  (As well as abducing or creating 'Beliefs')
  33.  
  34.  
  35. Room building
  36. (The comments ';' are only when debug output is turned on)
  37.  
  38. [dmiles@Area1002 mud]$ assert (isa DouglasMilesOffice RoomInAConstruction)
  39. T
  40.  
  41. [dmiles@Area1002 mud]$ teleport DouglasMilesOffice
  42. you are now in DouglasMilesOffice
  43.  
  44. [dmiles@DouglasMilesOffice mud]$ look
  45. Nothing apparent about douglas miles office '#$DouglasMilesOffice'
  46. (!)
  47.  
  48. [dmiles@DouglasMilesOffice mud]$  new Thing as Tool Hammer.
  49. ; Asserted
  50. ; (thereExists (?X)
  51. ;      (and
  52. ;         (isa ?X Hammer)
  53. ;         (isa ?X Tool)
  54. ;         (located ?X TwistyPassage45SKFn)))
  55. ; Warning
  56. ; (genls Hammer Tool) is previously entailed
  57. ;  Your new default object is 'ToolHammer53455345SKFn'
  58.  
  59. > set ColorProperty  Blue
  60. ; Asserted
  61. ; (hasAttribute ToolHammer53455345SKFn ColorProperty)
  62. ; (attribute ToolHammer53455345SKFn Blue)
  63.  
  64. > look
  65. You are in a maze of Twisty passages with exits leading in all directions.
  66. Someone or something has discarded a Blue Hammer here.
  67.  
  68. > take hammer
  69. ; Retracted
  70. ;  (located  ToolHammer53455345SKFn TwistyPassage45SKFn)
  71. ; Asserted
  72. ;  (located  ToolHammer53455345SKFn Player8)
  73.  
  74. Persisted Data Model
  75. At any time we can serialize the  'MOOState' context (Microtheory).
  76. This is meant to be a solid context comprising of instances and sets.  The other ontologies about understanding and using these can stored as well as hypothetical rooms and objects.  They in could be called 'Exemplars' for example the Unicorn Pegasus is a mythological creature and could live cut off in in the 'Giant Room Of Mythological Creatures' and looks and save like an instance of Unicorn.  But Pegasus' room may not be part of the relevant KB and therefore not effecting to the rest of the system.  But how would we persist information that does not fit into a 4D space?    For example these two rules:
  77.  
  78. (implies
  79.    (and
  80.        (isa ?PERSON Human)
  81.        (acquaintedWith ?OTHER ?PERSON))
  82.    (acquaintances ?PERSON ?OTHER SimpleContactAcquaintance))
  83.  
  84. (implies
  85.    (spouse ?X ?Y)
  86.    (friends ?X ?Y))
  87.  
  88. ==================================================================================================================
  89. The LogicMOO English programming examples:
  90.  
  91. [the, shopper, drank, the, pepsi]
  92. (thereExists ?shopper4675
  93.  (and (isa ?shopper4675 (FrequentPerformerFn Shopping ) )
  94.   (thereExists ?pepsi6
  95.     (and (isa ?pepsi6 PepsiCola )
  96.     (and (occursDuring ?drank7550 Past )
  97.     (and (isa ?drank7550 DrinkingEvent )
  98.     (performedBy ?drank7550 ?shopper4675 )
  99.     (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) ) )      
  100.                                                  
  101. [the, shopper, drinks, the, pepsi]
  102. (thereExists ?shopper4675
  103.  (and (isa ?shopper4675 (FrequentPerformerFn Shopping ) )
  104.   (thereExists ?pepsi6
  105.     (and (isa ?pepsi6 PepsiCola )
  106.     (and (occursDuring ?drank7550 Now )
  107.     (and (isa ?drank7550 DrinkingEvent )
  108.     (performedBy ?drank7550 ?shopper4675 )
  109.     (consumedObject ?drank7550 ?pepsi6 ) ) ) ) ) ) )                          
  110.  
  111. [the, shopper, bought, fries]
  112. (thereExists ?shopper4794
  113.   (and (isa ?shopper4794 (FrequentPerformerFn Shopping ) )
  114.   (and (and (isa ?fries20 Frying )
  115.   (objectOfStateChange ?fries20 ?POSSESSOR13610 ) )
  116.   (and (occursDuring ?bought3 Past )
  117.   (and (isa ?bought3 Buying )
  118.   (buyer ?bought3 ?shopper4794 )
  119.   (objectPaidFor ?bought3 ?fries20 ) ) ) ) ) )
  120.  
  121. [the, shopper, bought, fries, with, his, pepsi]
  122. (thereExists ?shopper4863
  123.    (and (isa ?shopper4863 (FrequentPerformerFn Shopping ) )
  124.    (and (isa ?pepsi42 PepsiCola )
  125.    (and (and (and (isa ?fries103 Frying )
  126.       (objectOfStateChange ?fries103 ?POSSESSOR13613 ) )
  127.    (and (isa ?bought4 Buying ) (seller ?bought4 ?shopper4863 )
  128.    (objectPaidFor ?bought4 ?fries103 )
  129.    (buyingPerformer ?bought4 ?pepsi42 ) ) )
  130.    (equals ?POSSESSOR13613
  131.            (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post )
  132.             (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) ) )
  133.    (controls (OneOfFn (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Post )
  134.                           (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr PossessivePronoun-Pre ) )
  135.                   ?pepsi42 ) ) ) ) )
  136.  
  137.  
  138.  
  139. |    english2Kif("I see you").
  140. assert(known_phrase(verbSemTrans(#$and(#$isa(?ACTION1, #$VisualPerception), #$pe
  141. rformedBy(?ACTION1, ?Speaker), #$perceivedThings(?ACTION1, ?TargetAgent)), true)
  142. ))
  143.  
  144.  
  145. e2c("George fell last year").
  146.  
  147. [[txt, 'George'], [tag, staart, nnp, np]]
  148. [[txt, fell], [tag, z, vbd]]
  149. [[txt, last], [tag, z, jj, ap, 'Adjective', 'Adverb', 'CountNoun', 'WHAdverb']]
  150. [[txt, year], [tag, laast, nn, 'CountNoun']]
  151.  
  152. 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)])
  153.  
  154. (implies
  155.  (equals ?GEORGE2
  156.    (OneOfFn EddieGeorge-FootballPlayer-American
  157.      (CityNamedFn "George" RepublicOfSouthAfrica ) ) )
  158.  (and
  159.    (isa ?FELL1 Event )
  160.    (implies
  161.      (and
  162.        (isa ?YEAR5 CalendarYear )
  163.        (isa ?YEAR5 ContemporaryArtifact ) )
  164.      (or
  165.        (and
  166.          (isa ?FELL1 CuttingDownATree )
  167.          (objectOfStateChange ?FELL1 ?YEAR5 )
  168.          (doneBy ?FELL1 ?GEORGE2 ) )
  169.        (and
  170.          (organismKilled ?FELL1 ?YEAR5 )
  171.          (isa ?FELL1 CuttingDownATree )
  172.          (performedBy ?FELL1 ?GEORGE2 ) ) ) ) ) )
  173.  
  174.  
  175.  
  176. e2c("I see you").
  177.  
  178. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  179. [[txt, see], [tag, z, vb]]
  180. [[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']]
  181.  
  182. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
  183.  
  184. (thereExists ?SPEAKER
  185.  (and
  186.    (isa ?SPEAKER Person )
  187.    (and
  188.      (isa ?SEE1 Event )
  189.      (thereExists ?TARGETAGENT
  190.        (and
  191.          (isa ?TARGETAGENT Person )
  192.          (or
  193.            (awareOf ?SPEAKER ?TARGETAGENT )
  194.            (and
  195.              (isa ?SEE1 VisualPerception )
  196.              (performedBy ?SEE1 ?SPEAKER )
  197.              (perceivedThings ?SEE1 ?TARGETAGENT ) ) ) ) ) ) ) )
  198.  
  199. e2c("I seen the wood").
  200.  
  201. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  202. [[txt, seen], [tag, z, vbn]]
  203. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  204. [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  205.  
  206. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('QP', 3, 4)])
  207.  
  208. (thereExists ?SPEAKER
  209.  (and
  210.    (isa ?SPEAKER Person )
  211.    (and
  212.      (isa ?SEEN1 Event )
  213.      (thereExists ?WOOD5
  214.        (and
  215.          (isa ?WOOD5
  216.            (OneOfFn Wood Wood-GolfClub WoodedArea ) )
  217.          (or
  218.            (awareOf ?SPEAKER ?WOOD5 )
  219.            (and
  220.              (isa ?SEEN1 VisualPerception )
  221.              (performedBy ?SEEN1 ?SPEAKER )
  222.              (perceivedThings ?SEEN1 ?WOOD5 ) ) ) ) ) ) ) )
  223.  
  224. e2c("I sawed the wood").
  225.  
  226. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  227. [[txt, sawed], [tag, z, 'NLWordForm', 'Verb', 'Adjective']]
  228. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  229. [[txt, wood], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  230.  
  231.  
  232. (thereExists ?SPEAKER
  233.  (and
  234.    (isa ?SPEAKER Person )
  235.    (and
  236.      (isa ?SAWED1 Event )
  237.      (thereExists ?WOOD11
  238.        (and
  239.          (isa ?WOOD11
  240.            (OneOfFn Wood Wood-GolfClub WoodedArea ) )
  241.          (and
  242.            (isa ?SAWED1 SawingSomething )
  243.            (objectOfStateChange ?SAWED1 ?WOOD11 )
  244.            (doneBy ?SAWED1 ?SPEAKER ) ) ) ) ) ) )
  245.  
  246. e2c("I see two books on a shelf").
  247.  
  248. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  249. [[txt, see], [tag, z, vb]]
  250. [[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']]
  251. [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  252. [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  253. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  254. [[txt, shelf], [tag, laast, nn, 'CountNoun']]
  255.  
  256. 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)])
  257.  
  258. (thereExists ?SPEAKER
  259.  (and
  260.    (isa ?SPEAKER Person )
  261.    (and
  262.      (isa ?SEE2 Event )
  263.      (thereExistExactly 2 ?TWO2
  264.        (and
  265.          (and
  266.            (isa ?TWO2 BookCopy )
  267.            (isa ?TWO2 Thing ) )
  268.          (and
  269.            (or
  270.              (awareOf ?SPEAKER ?TWO2 )
  271.              (and
  272.                (isa ?SEE2 VisualPerception )
  273.                (performedBy ?SEE2 ?SPEAKER )
  274.                (perceivedThings ?SEE2 ?TWO2 ) ) )
  275.            (thereExists ?SHELF5
  276.              (and
  277.                (isa ?SHELF5 ShelfInABuilding )
  278.                (on-UnderspecifiedSurface ?TWO2 ?SHELF5 ) ) ) ) ) ) ) ) )
  279.  
  280. e2c("I see two books sitting on a shelf").
  281.  
  282. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  283. [[txt, see], [tag, z, vb]]
  284. [[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']]
  285. [[txt, books], [tag, z, nns, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  286. [[txt, sitting], [tag, z, vbg, 'GerundiveCountNoun', 'GerundiveNoun', 'MassNoun-Generic', 'Adjective']]
  287. [[txt, on], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  288. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  289. [[txt, shelf], [tag, laast, nn, 'CountNoun']]
  290.  
  291. 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)])
  292.  
  293. (thereExists ?SPEAKER
  294.  (and
  295.    (isa ?SPEAKER Person )
  296.    (and
  297.      (isa ?SEE3 Event )
  298.      (thereExistExactly 2 ?TWO4
  299.        (and
  300.          (and
  301.            (isa ?TWO4 BookCopy )
  302.            (isa ?TWO4 SittingDown ) )
  303.          (and
  304.            (or
  305.              (awareOf ?SPEAKER ?TWO4 )
  306.              (and
  307.                (isa ?SEE3 VisualPerception )
  308.                (performedBy ?SEE3 ?SPEAKER )
  309.                (perceivedThings ?SEE3 ?TWO4 ) ) )
  310.            (thereExists ?SHELF11
  311.              (and
  312.                (isa ?SHELF11 ShelfInABuilding )
  313.                (on-UnderspecifiedSurface ?TWO4 ?SHELF11 ) ) ) ) ) ) ) ) )
  314.  
  315. e2c("I can see you").
  316.  
  317. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  318. [[txt, can], [tag, z, md, 'Modal', 'CountNoun']]
  319. [[txt, see], [tag, z, vb]]
  320. [[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']]
  321.  
  322. 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)])
  323.  
  324. (thereExists ?SPEAKER
  325.  (and
  326.    (isa ?SPEAKER Person )
  327.    (and
  328.      (behavourCapable ?SPEAKER ?SEE4 )
  329.      (and
  330.        (isa ?SEE4 Event )
  331.        (thereExists ?TARGETAGENT
  332.          (and
  333.            (isa ?TARGETAGENT Person )
  334.            (or
  335.              (awareOf ?SPEAKER ?TARGETAGENT )
  336.              (and
  337.                (isa ?SEE4 VisualPerception )
  338.                (performedBy ?SEE4 ?SPEAKER )
  339.                (perceivedThings ?SEE4 ?TARGETAGENT ) ) ) ) ) ) ) ) )
  340.  
  341. e2c("Fido is a dog").
  342.  
  343. [[txt, 'Fido'], [tag, staart]]
  344. [[txt, is], [tag, z, bez, vbz, 'BeAux']]
  345. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  346. [[txt, dog], [tag, laast, nn, 'CountNoun']]
  347.  
  348.  
  349. (implies
  350.  (properNameString ?FIDO3 "Fido" )
  351.  (thereExists ?DOG8
  352.    (and
  353.      (and
  354.        (isa ?DOG8 InsultingSomeone )
  355.        (subjectOfInfo ?DOG8 :POSSESSOR ) )
  356.      (and
  357.        (isa ?IS1 Living )
  358.        (occursDuring ?IS1 Now )
  359.        (preActors ?IS1 ?FIDO3 )
  360.        (actors ?IS1 ?DOG8 ) ) ) ) )
  361.  
  362. e2c("Who is the president of the United States of America ?").
  363.  
  364. [[txt, 'Who'], [tag, staart, nnp, prp, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  365. [[txt, is], [tag, z, bez, vbz, 'BeAux']]
  366. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  367. [[txt, president], [tag, z, nn, 'CountNoun', 'ProperCountNoun', 'ProperNoun', 'Adjective']]
  368. [[txt, of], [tag, z, in, 'Preposition', 'Preposition-Of']]
  369. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  370. [[txt, 'United', 'States', of, 'America'], [tag, z]]
  371. [[txt, ?], [tag, laast, ?, 'Punctuation-SP']]
  372.  
  373.  
  374. (CYC-QUERY
  375.  (thereExists ?Who
  376.    (thereExists ?PRESIDENT46
  377.      (and
  378.        (and
  379.          (and
  380.            (isa ?PRESIDENT46 Thing )
  381.            (isa ?PRESIDENT46 Thing ) )
  382.          (isa ?PRESIDENT46
  383.            (OneOfFn PresidentOfOrganization
  384.              (SubcollectionOfWithRelationFromTypeFn Person president Organization ) ) ) )
  385.        (and
  386.          (and
  387.            (isa ?IS10 Living )
  388.            (occursDuring ?IS10 Now )
  389.            (preActors ?IS10 ?Who )
  390.            (actors ?IS10 ?PRESIDENT46 ) )
  391.          (thereExists ?G300312
  392.            (and
  393.              (eq ?G300312 UnitedStatesOfAmerica )
  394.              (possessiveRelation ?G300312 ?PRESIDENT46 ) ) ) ) ) ) ) )
  395.  
  396. e2c("I saw him").
  397.  
  398. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  399. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  400. [[txt, him], [tag, laast, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  401.  
  402. seg([p('ADVP_non_cyclic', 1, 1), p('VP_non_cyclic', 2, 2), p('ADVP_non_cyclic', 3, 3)])
  403.  
  404. (thereExists ?SPEAKER
  405.  (and
  406.    (isa ?SPEAKER Person )
  407.    (and
  408.      (isa ?SAW1 Event )
  409.      (thereExists ?HIM
  410.        (and
  411.          (equals ?HIM
  412.            (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  413.          (or
  414.            (awareOf ?SPEAKER ?HIM )
  415.            (and
  416.              (isa ?SAW1 SawingSomething )
  417.              (objectOfStateChange ?SAW1 ?HIM )
  418.              (doneBy ?SAW1 ?SPEAKER ) )
  419.            (and
  420.              (isa ?SAW1 VisualPerception )
  421.              (performedBy ?SAW1 ?SPEAKER )
  422.              (perceivedThings ?SAW1 ?HIM ) ) ) ) ) ) ) )
  423.  
  424. e2c("I saw him Monday").
  425.  
  426. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  427. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  428. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  429. [[txt, 'Monday'], [tag, laast, nnp, nr, 'CountNoun', 'ProperCountNoun', 'ProperNoun']]
  430.  
  431. 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)])
  432.  
  433. (thereExists ?SPEAKER
  434.  (and
  435.    (isa ?SPEAKER Person )
  436.    (implies
  437.      (occursDuring ?SAW2 Monday )
  438.      (holdsIn ?SAW2
  439.        (and
  440.          (isa ?SAW2 Event )
  441.          (thereExists ?HIM
  442.            (and
  443.              (equals ?HIM
  444.                (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  445.              (or
  446.                (awareOf ?SPEAKER ?HIM )
  447.                (and
  448.                  (isa ?SAW2 SawingSomething )
  449.                  (objectOfStateChange ?SAW2 ?HIM )
  450.                  (doneBy ?SAW2 ?SPEAKER ) )
  451.                (and
  452.                  (isa ?SAW2 VisualPerception )
  453.                  (performedBy ?SAW2 ?SPEAKER )
  454.                  (perceivedThings ?SAW2 ?HIM ) ) ) ) ) ) ) ) ) )
  455.  
  456. e2c("I saw him January").
  457.  
  458. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  459. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  460. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  461. [[txt, 'January'], [tag, laast, nnp, np, 'ProperCountNoun', 'ProperNoun']]
  462.  
  463. 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)])
  464.  
  465. (thereExists ?SPEAKER
  466.  (and
  467.    (isa ?SPEAKER Person )
  468.    (implies
  469.      (occursDuring ?SAW3 January )
  470.      (holdsIn ?SAW3
  471.        (and
  472.          (isa ?SAW3 Event )
  473.          (thereExists ?HIM
  474.            (and
  475.              (equals ?HIM
  476.                (PronounFn ThirdPerson-NLAttr Singular-NLAttr Masculine-NLAttr ObjectPronoun ) )
  477.              (or
  478.                (awareOf ?SPEAKER ?HIM )
  479.                (and
  480.                  (isa ?SAW3 SawingSomething )
  481.                  (objectOfStateChange ?SAW3 ?HIM )
  482.                  (doneBy ?SAW3 ?SPEAKER ) )
  483.                (and
  484.                  (isa ?SAW3 VisualPerception )
  485.                  (performedBy ?SAW3 ?SPEAKER )
  486.                  (perceivedThings ?SAW3 ?HIM ) ) ) ) ) ) ) ) ) )
  487.  
  488. e2c("I saw him January twenty first").
  489.  
  490. [[txt, 'I'], [tag, staart, ppss, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  491. [[txt, saw], [tag, z, vbd, 'CountNoun']]
  492. [[txt, him], [tag, z, ppo, prp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  493. [[txt, 'January'], [tag, z, nnp, np, 'ProperCountNoun', 'ProperNoun']]
  494. [[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']]
  495. [[txt, first], [tag, laast, jj, od, rb, 'Adjective', 'Adverb', 'CountNoun', 'NongradableAdjective', 'OrdinalAdjective', 'WHAdverb']]
  496.  
  497. 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)])
  498.  
  499. e2c("Monday ' s concert should be good").
  500.  
  501. [[txt, 'Monday\'s'], [txt, 'Monday', '\'s'], [txt, 'Monday'], [tag, staart, '\'s', 'nr$']]
  502. [[txt, concert], [tag, z, nn, 'CountNoun']]
  503. [[txt, should], [tag, z, md, 'Modal']]
  504. [[txt, be], [tag, z, be, vb, 'BeAux']]
  505. [[txt, good], [tag, laast, jj, 'Adjective']]
  506.  
  507.  
  508. e2c("We did it in Jan").
  509.  
  510. [[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']]
  511. [[txt, did], [tag, z, dod, vbd, 'DoAux']]
  512. [[txt, it], [tag, z, prp, pps, ppo, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  513. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  514. [[txt, 'Jan'], [tag, laast, nnp, np]]
  515.  
  516. 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)])
  517.  
  518. (thereExists ?WE
  519.  (and
  520.    (equals ?WE
  521.      (PronounFn FirstPerson-NLAttr Plural-NLAttr Ungendered-NLAttr SubjectPronoun ) )
  522.    (and
  523.      (and
  524.        (occursDurring ?IN3 ?G431374 )
  525.        (bodilyDoer ?WE ?IN3 ) )
  526.      (implies
  527.        (properNameString ?JAN68 "Jan" )
  528.        (and
  529.          (occursDuring ?IN3 Now )
  530.          (holdsIn ?IN3
  531.            (in-UnderspecifiedContainer ?WE ?JAN68 ) ) ) ) ) ) )
  532.  
  533.  
  534. e2c("Failure to comply may result in dismissal").
  535.  
  536. [[txt, 'Failure'], [tag, staart, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  537. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  538. [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']]
  539. [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']]
  540. [[txt, result], [tag, z, nn, vb, 'CountNoun']]
  541. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  542. [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
  543.  
  544. 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)])
  545.  
  546. (implies
  547.  (properNameString ?FAILURE3 "Failure" )
  548.  (and
  549.    (and
  550.      (isa ?RESULT3
  551.        (AdverbFn Comply-TheWord ) )
  552.      (and
  553.        (behavourCapable ?FAILURE3 ?RESULT3 )
  554.        (implies
  555.          (and
  556.            (isa ?DISMISSAL9
  557.              (NounFn Dismiss-TheWord ) )
  558.            (agentPopularity ?DISMISSAL9
  559.              (HighAmountFn PopularityLevel ) ) )
  560.          (and
  561.            (occursDuring ?RESULT3 Now )
  562.            (holdsIn ?RESULT3
  563.              (eventOutcomes ?FAILURE3 ?DISMISSAL9 ) ) ) ) ) )
  564.    (implies
  565.      (and
  566.        (isa ?G461366 Thing )
  567.        (isa ?G461366 Thing ) )
  568.      (to-UnderspecifiedLocation ?FAILURE3 ?G461366 ) ) ) )
  569.  
  570. e2c("Absence to comply may result in dismissal").
  571.  
  572. [[txt, 'Absence'], [tag, staart, 'CountNoun', 'CountNoun-Generic', 'NLWordForm', 'Noun']]
  573. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  574. [[txt, comply], [tag, z, vb, 'Adjective', 'Adverb', 'WHAdverb']]
  575. [[txt, may], [tag, z, md, 'Modal', 'ProperCountNoun', 'ProperNoun']]
  576. [[txt, result], [tag, z, nn, vb, 'CountNoun']]
  577. [[txt, in], [tag, z, in, 'Adjective', 'Adverb', 'CountNoun', 'Preposition', 'Preposition-Directional-Telic', 'Preposition-Locative', 'VerbParticle', 'WHAdverb']]
  578. [[txt, dismissal], [tag, laast, nn, 'CountNoun', 'Adjective']]
  579.  
  580.  
  581. (implies
  582.  (properNameString ?ABSENCE3 "Absence" )
  583.  (and
  584.    (and
  585.      (isa ?RESULT7
  586.        (AdverbFn Comply-TheWord ) )
  587.      (and
  588.        (behavourCapable ?ABSENCE3 ?RESULT7 )
  589.        (implies
  590.          (and
  591.            (isa ?DISMISSAL18
  592.              (NounFn Dismiss-TheWord ) )
  593.            (agentPopularity ?DISMISSAL18
  594.              (HighAmountFn PopularityLevel ) ) )
  595.          (and
  596.            (occursDuring ?RESULT7 Now )
  597.            (holdsIn ?RESULT7
  598.              (eventOutcomes ?ABSENCE3 ?DISMISSAL18 ) ) ) ) ) )
  599.    (implies
  600.      (and
  601.        (isa ?G495123 Thing )
  602.        (isa ?G495123 Thing ) )
  603.      (to-UnderspecifiedLocation ?ABSENCE3 ?G495123 ) ) ) )
  604.  
  605. e2c("He made a request that there be an investigation").
  606.  
  607. [[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  608. [[txt, made], [tag, z, vbd, vbn]]
  609. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  610. [[txt, request], [tag, z, nn, 'CountNoun']]
  611. [[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']]
  612. [[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']]
  613. [[txt, be], [tag, z, be, vb, 'BeAux']]
  614. [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']]
  615. [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  616.  
  617.  
  618. (thereExists ?HE
  619.  (and
  620.    (isa ?HE Male )
  621.    (and
  622.      (isa ?MADE1 Event )
  623.      (thereExists ?REQUEST8
  624.        (and
  625.          (and
  626.            (isa ?REQUEST8
  627.              (OneOfFn InformationRequest-IBT Request Requesting-CommunicationAct ) )
  628.            (isa ?REQUEST8 Thing ) )
  629.          (and
  630.            (or
  631.              (causes-Underspecified ?HE ?REQUEST8 )
  632.              (createdBy ?REQUEST8 ?HE )
  633.              (doneBy ?REQUEST8 ?HE )
  634.              (and
  635.                (isa ?MADE1 MakingSomething )
  636.                (performedBy ?MADE1 ?HE )
  637.                (products ?MADE1 ?REQUEST8 ) ) )
  638.            (and
  639.              (isa ?BE29
  640.                (AdverbFn There-TheWord ) )
  641.              (thereExists ?INVESTIGATION7
  642.                (and
  643.                  (isa ?INVESTIGATION7 Research )
  644.                  (and
  645.                    (isa ?BE29 Living )
  646.                    (occursDuring ?BE29 Now )
  647.                    (preActors ?BE29 ?REQUEST8 )
  648.                    (actors ?BE29 ?INVESTIGATION7 ) ) ) ) ) ) ) ) ) ) )
  649.  
  650. e2c("He stated the fact that there be an investigation").
  651.  
  652. [[txt, 'He'], [tag, staart, pps, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun']]
  653. [[txt, stated], [tag, z, vbn, vbd, 'Adjective']]
  654. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  655. [[txt, fact], [tag, z, nn, 'CountNoun']]
  656. [[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']]
  657. [[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']]
  658. [[txt, be], [tag, z, be, vb, 'BeAux']]
  659. [[txt, an], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer']]
  660. [[txt, investigation], [tag, laast, nn, 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  661.  
  662.  
  663. (thereExists ?HE
  664.  (and
  665.    (isa ?HE Male )
  666.    (thereExists ?FACT10
  667.      (and
  668.        (ist :POSSESSOR ?FACT10 )
  669.        (and
  670.          (implies
  671.            (isa ?STATED3
  672.              (VerbFn State-TheWord ) )
  673.            (eventSOT ?STATED3 ?HE ?FACT10 Past ) )
  674.          (and
  675.            (isa ?BE31
  676.              (AdverbFn There-TheWord ) )
  677.            (thereExists ?INVESTIGATION15
  678.              (and
  679.                (isa ?INVESTIGATION15 Research )
  680.                (and
  681.                  (isa ?BE31 Living )
  682.                  (occursDuring ?BE31 Now )
  683.                  (preActors ?BE31 ?FACT10 )
  684.                  (actors ?BE31 ?INVESTIGATION15 ) ) ) ) ) ) ) ) ) )
  685.  
  686.  
  687. e2c("Many were angered by the hearings").
  688.  
  689. [[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']]
  690. [[txt, were], [tag, z, bed, vbd, 'BeAux']]
  691. [[txt, angered], [tag, z, vbn, vbd, 'Adjective']]
  692. [[txt, by], [tag, z, in, 'Adverb', 'Preposition', 'Preposition-Directional-Telic', 'WHAdverb', 'Adjective']]
  693. [[txt, a], [tag, z, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  694. [[txt, hearings], [tag, laast, nns, 'CountNoun', 'GerundiveCountNoun']]
  695.  
  696. 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)])
  697.  
  698. (thereExists ?MANY
  699.  (and
  700.    (or
  701.      (and
  702.        (equals ?MANY Many-NLAttr )
  703.        (isa ?MANY
  704.          (CollectionUnionFn Individual NLGenQuantAttribute ) ) )
  705.      (and
  706.        (equals ?MANY Many-Quant )
  707.        (isa ?MANY
  708.          (CollectionUnionFn Individual PositiveIntegerExtent ) ) )
  709.      (and
  710.        (equals ?MANY many )
  711.        (isa ?MANY
  712.          (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) )
  713.    (and
  714.      (occursDurring ?ANGERED3 Past )
  715.      (implies
  716.        (and
  717.          (isa ?G626264 Thing )
  718.          (isa ?G626264 Thing ) )
  719.        (and
  720.          (implies
  721.            (isa ?ANGERED3
  722.              (VerbFn Anger-TheWord ) )
  723.            (eventSOT ?ANGERED3 ?MANY ?G626264 Past ) )
  724.          (thereExists ?HEARINGS5
  725.            (and
  726.              (and
  727.                (isa ?HEARINGS5 Hearing )
  728.                (objectActedOn ?HEARINGS5 :POSSESSOR ) )
  729.              (by-Underspecified ?G626264 ?HEARINGS5 ) ) ) ) ) ) ) )
  730.  
  731.  
  732. e2c("Many who initially supported Thomas later changed their minds").
  733.  
  734. [[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']]
  735. [[txt, who], [tag, z, wps, wp, 'ExpletivePronoun', 'IndefinitePronoun', 'Number-SP', 'ObjectPronoun', 'PossessivePronoun', 'PossessivePronoun-Post', 'Pronoun', 'Pronoun-SubjectOrObject', 'ReciprocalPronoun', 'ReflexivePronoun', 'SubjectPronoun', 'WHPronoun', 'WHPronoun-Subject']]
  736. [[txt, initially], [tag, z, rb, 'Adverb', 'WHAdverb', 'Adjective']]
  737. [[txt, supported], [tag, z, vbn, vbd, 'Adjective']]
  738. [[txt, 'Thomas'], [tag, z, np, nnp]]
  739. [[txt, later], [tag, z, rbr, rb, 'Adjective', 'Adverb', 'AgentiveNoun', 'AdverbOfTime', 'WHAdverb']]
  740. [[txt, changed], [tag, z, vbn, vbd, 'Adjective', 'CountNoun']]
  741. [[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']]
  742. [[txt, minds], [tag, laast, nns, 'CountNoun']]
  743.  
  744. 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)])
  745.  
  746. (thereExists ?MANY
  747.  (and
  748.    (or
  749.      (and
  750.        (equals ?MANY Many-NLAttr )
  751.        (isa ?MANY
  752.          (CollectionUnionFn Individual NLGenQuantAttribute ) ) )
  753.      (and
  754.        (equals ?MANY Many-Quant )
  755.        (isa ?MANY
  756.          (CollectionUnionFn Individual PositiveIntegerExtent ) ) )
  757.      (and
  758.        (equals ?MANY many )
  759.        (isa ?MANY
  760.          (CollectionUnionFn GeneralizedQuantifier-Conservative Individual ReflexiveBinaryPredicate TruthFunction ) ) ) )
  761.    (implies
  762.      (and
  763.        (or
  764.          (and
  765.            (equals ?MANY Agent-PartiallyTangible )
  766.            (isa ?MANY
  767.              (CollectionUnionFn Collection ExistingObjectType StuffType TemporalStuffType ) ) ) )
  768.        (and
  769.          (isa ?CHANGED1 Event )
  770.          (and
  771.            (controls ?THEIR ?MINDS4 )
  772.            (and
  773.              (equals ?THEIR
  774.                (PronounFn ThirdPerson-NLAttr Plural-NLAttr Ungendered-NLAttr PossessivePronoun-Pre ) )
  775.              (implies
  776.                (and
  777.                  (isa ?MINDS4 TakingCareOfSomething )
  778.                  (beneficiary ?MINDS4 :POSSESSOR ) )
  779.                (or
  780.                  (and
  781.                    (isa ?CHANGED1 IntrinsicStateChangeEvent )
  782.                    (performedBy ?CHANGED1 ?MANY )
  783.                    (objectOfStateChange ?CHANGED1 ?MINDS4 ) )
  784.                  (and
  785.                    (isa ?CHANGED1 ReplacingAnObject )
  786.                    (objectActedOn ?CHANGED1 ?MINDS4 )
  787.                    (doneBy ?CHANGED1 ?MANY ) ) ) ) ) ) ) )
  788.      (and
  789.        (isa ?SUPPORTED1
  790.          (AdverbFn Initial-TheWord ) )
  791.        (and
  792.          (isa ?SUPPORTED1
  793.            (AdverbFn Late-TheWord ) )
  794.          (and
  795.            (isa ?SUPPORTED1 Event )
  796.            (implies
  797.              (equals ?THOMAS2 JackThomas-911FOAF )
  798.              (or
  799.                (satisfiesStandard ?MANY ?THOMAS2 )
  800.                (and
  801.                  (isa ?SUPPORTED1 ShowingSupportForSomeone )
  802.                  (beneficiary ?SUPPORTED1 ?THOMAS2 )
  803.                  (performedBy ?SUPPORTED1 ?MANY ) )
  804.                (and
  805.                  (isa ?SUPPORTED1 SupportingSomething )
  806.                  (supportedObject ?SUPPORTED1 ?THOMAS2 )
  807.                  (supportingObject ?SUPPORTED1 ?MANY ) ) ) ) ) ) ) ) ) )
  808.  
  809.  
  810. e2c("Those that want to come can come").
  811.  
  812. [[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']]
  813. [[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']]
  814. [[txt, want], [tag, z, vb, vbp, 'CountNoun']]
  815. [[txt, to], [tag, z, to, in, 'InfinitiveComp', 'Preposition', 'Preposition-Directional']]
  816. [[txt, come], [tag, z, vb, vbn]]
  817. [[txt, can], [tag, z, md, 'Modal', 'CountNoun']]
  818. [[txt, come], [tag, laast, vb, vbn]]
  819.  
  820. 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)])
  821.  
  822. (thereExists ?THOSE
  823.  (and
  824.    (or
  825.      (and
  826.        (equals ?THOSE Backreference-ClassB-NLAttr )
  827.        (isa ?THOSE
  828.          (CollectionUnionFn Backreference-NLAttrType Individual ) ) )
  829.      (and
  830.        (equals ?THOSE Demonstrative-ClassB-NLAttr )
  831.        (isa ?THOSE
  832.          (CollectionUnionFn Demonstrative-NLAttrType Individual ) ) ) )
  833.    (and
  834.      (eventSOT ?EVENT88 ?THOSE ?OBJ88 ?TIME88 )
  835.      (implies
  836.        (occursDuring ?WANT3
  837.          (OneOfFn ArrivingAtAPlace HavingAnOrgasm ) )
  838.        (holdsIn ?WANT3
  839.          (implies
  840.            (and
  841.              (isa ?G738781 Thing )
  842.              (isa ?G738781 Thing ) )
  843.            (and
  844.              (implies
  845.                (isa ?WANT3
  846.                  (VerbFn Want-TheWord ) )
  847.                (eventSOT ?WANT3 ?THOSE ?G738781 Now ) )
  848.              (implies
  849.                (and
  850.                  (isa ?COME4 Emission )
  851.                  (isa ?COME4
  852.                    (OneOfFn Buttocks Can CanningFood ) ) )
  853.                (to-UnderspecifiedLocation ?G738781 ?COME4 ) ) ) ) ) ) ) ) )
  854.  
  855.  
  856. e2c("the best costumes got prizes").
  857.  
  858. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  859. [[txt, best], [tag, z, 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('QP', 1, 1), p('ADVP_non_cyclic', 2, 2), p('QP', 3, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
  865.  
  866. (thereExists ?COSTUMES5
  867.  (and
  868.    (and
  869.      (isa ?COSTUMES5 Costume )
  870.      (isa ?COSTUMES5 Thing ) )
  871.    (implies
  872.      (isa ?PRIZES7 AwardPractice )
  873.      (implies
  874.        (isa ?GOT7
  875.          (VerbFn Get-TheWord ) )
  876.        (eventSOT ?GOT7 ?COSTUMES5 ?PRIZES7 Past ) ) ) ) )
  877.  
  878. e2c("a best costume got prizes").
  879.  
  880. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  881. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  882. [[txt, costume], [tag, z, nn, 'CountNoun']]
  883. [[txt, got], [tag, z, vbd, vbn]]
  884. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  885.  
  886. 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)])
  887.  
  888. (thereExists ?COSTUME5
  889.  (and
  890.    (and
  891.      (isa ?COSTUME5 Costume )
  892.      (isa ?COSTUME5 Thing ) )
  893.    (implies
  894.      (isa ?PRIZES15 AwardPractice )
  895.      (implies
  896.        (isa ?GOT14
  897.          (VerbFn Get-TheWord ) )
  898.        (eventSOT ?GOT14 ?COSTUME5 ?PRIZES15 Past ) ) ) ) )
  899.  
  900. e2c("some best costumes got prizes").
  901.  
  902. [[txt, some], [tag, staart, dt, dti, 'Adverb', 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Postdeterminer', 'WHAdverb', 'WHDeterminer']]
  903. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  904. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  905. [[txt, got], [tag, z, vbd, vbn]]
  906. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  907.  
  908. 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)])
  909.  
  910. (thereExists ?COSTUMES10
  911.  (and
  912.    (and
  913.      (isa ?COSTUMES10 Costume )
  914.      (isa ?COSTUMES10 Thing ) )
  915.    (implies
  916.      (isa ?PRIZES23 AwardPractice )
  917.      (implies
  918.        (isa ?GOT21
  919.          (VerbFn Get-TheWord ) )
  920.        (eventSOT ?GOT21 ?COSTUMES10 ?PRIZES23 Past ) ) ) ) )
  921.  
  922. e2c("the best five costumes got prizes").
  923.  
  924. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  925. [[txt, best], [tag, z, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  926. [[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']]
  927. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  928. [[txt, got], [tag, z, vbd, vbn]]
  929. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  930.  
  931. 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)])
  932.  
  933. (thereExistExactly 5 ?FIVE1
  934.  (and
  935.    (and
  936.      (isa ?FIVE1 Costume )
  937.      (isa ?FIVE1 Thing ) )
  938.    (implies
  939.      (isa ?PRIZES31 AwardPractice )
  940.      (implies
  941.        (isa ?GOT28
  942.          (VerbFn Get-TheWord ) )
  943.        (eventSOT ?GOT28 ?FIVE1 ?PRIZES31 Past ) ) ) ) )
  944.  
  945. e2c("best costumes got prizes").
  946.  
  947. [[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  948. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  949. [[txt, got], [tag, z, vbd, vbn]]
  950. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  951.  
  952. seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 2), p('VP_non_cyclic', 3, 3), p('QP', 4, 4)])
  953.  
  954. e2c("best five costumes got prizes").
  955.  
  956. [[txt, best], [tag, staart, jjt, jjs, 'CountNoun', 'Adjective', 'Adverb']]
  957. [[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']]
  958. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  959. [[txt, got], [tag, z, vbd, vbn]]
  960. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  961.  
  962. seg([p('ADVP_non_cyclic', 1, 1), p('QP', 2, 3), p('VP_non_cyclic', 4, 4), p('QP', 5, 5)])
  963.  
  964. (implies
  965.  (and
  966.    (and
  967.      (isa ?COSTUMES42
  968.        (NounFn Five-TheWord ) )
  969.      (isa ?COSTUMES42 Costume ) )
  970.    (hasEvaluativeQuantity ?COSTUMES42
  971.      (MediumToVeryHighAmountFn Goodness-Generic ) ) )
  972.  (implies
  973.    (isa ?PRIZES65 AwardPractice )
  974.    (implies
  975.      (isa ?GOT45
  976.        (VerbFn Get-TheWord ) )
  977.      (eventSOT ?GOT45 ?COSTUMES42 ?PRIZES65 Past ) ) ) )
  978.  
  979. e2c("five other costumes got prizes").
  980.  
  981. [[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']]
  982. [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']]
  983. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  984. [[txt, got], [tag, z, vbd, vbn]]
  985. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  986.  
  987. 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)])
  988.  
  989. (thereExistExactly 5 ?FIVE18
  990.  (and
  991.    (and
  992.      (and
  993.        (isa ?FIVE18 Costume )
  994.        (isa ?FIVE18 Thing ) )
  995.      (isa ?FIVE18 BIOS-OTHERSurveillanceSyndrome ) )
  996.    (implies
  997.      (isa ?PRIZES73 AwardPractice )
  998.      (implies
  999.        (isa ?GOT52
  1000.          (VerbFn Get-TheWord ) )
  1001.        (eventSOT ?GOT52 ?FIVE18 ?PRIZES73 Past ) ) ) ) )
  1002.  
  1003. e2c("the other five costumes got prizes").
  1004.  
  1005. [[txt, a], [tag, staart, dt, at, 'Determiner', 'Determiner-Central', 'Determiner-ClassA', 'Determiner-ClassB', 'Determiner-ClassC', 'Determiner-Indefinite', 'Postdeterminer', 'WHDeterminer', 'CountNoun', 'MassNoun', 'MassNoun-Generic']]
  1006. [[txt, other], [tag, z, jj, ap, 'Adjective', 'CountNoun']]
  1007. [[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']]
  1008. [[txt, costumes], [tag, z, nns, 'CountNoun']]
  1009. [[txt, got], [tag, z, vbd, vbn]]
  1010. [[txt, prizes], [tag, laast, nns, 'CountNoun']]
  1011.  
  1012. seg([p('QP', 1, 2), p('QP', 3, 4), p('VP_non_cyclic', 5, 5), p('QP', 6, 6)])
  1013.  
  1014. (thereExistExactly 5 ?FIVE19
  1015.  (and
  1016.    (and
  1017.      (isa ?FIVE19 Costume )
  1018.      (isa ?FIVE19 Thing ) )
  1019.    (implies
  1020.      (isa ?PRIZES81 AwardPractice )
  1021.      (implies
  1022.        (isa ?GOT59
  1023.          (VerbFn Get-TheWord ) )
  1024.        (eventSOT ?GOT59 ?FIVE19 ?PRIZES81 Past ) ) ) ) )
  1025.  
  1026. e2c("other five costumes got prizes").
  1027.  
  1028. (implies
  1029.  (and
  1030.    (and
  1031.      (isa ?OTHER12
  1032.        (NounFn Five-TheWord ) )
  1033.      (isa ?OTHER12 Costume ) )
  1034.    (isa ?OTHER12 BIOS-OTHERSurveillanceSyndrome ) )
  1035.  (implies
  1036.    (isa ?PRIZES89 AwardPractice )
  1037.    (implies
  1038.      (isa ?GOT62
  1039.        (VerbFn Get-TheWord ) )
  1040.      (eventSOT ?GOT62 ?OTHER12 ?PRIZES89 Past ) ) ) )
  1041.  
  1042.  
  1043. e2c("some other costumes were really bad").
  1044.  
  1045.  
  1046. (thereExists ?OTHER52
  1047.  (and
  1048.    (and
  1049.      (and
  1050.        (isa ?OTHER52 Costume )
  1051.        (isa ?OTHER52 Thing ) )
  1052.      (isa ?OTHER52 BIOS-OTHERSurveillanceSyndrome ) )
  1053.    (implies
  1054.      (and
  1055.        (isa ?BAD14
  1056.          (NounFn Real-TheWord ) )
  1057.        (isa ?BAD14
  1058.          (OneOfFn Badness-Generic Badness-Moral ) ) )
  1059.      (and
  1060.        (isa ?WERE6 Living )
  1061.        (occursDuring ?WERE6 Past )
  1062.        (preActors ?WERE6 ?OTHER52 )
  1063.        (actors ?WERE6 ?BAD14 ) ) ) ) )
  1064.  
  1065.  
  1066.  
  1067. English Parser
  1068.  
  1069.   Show All
  1070.  
  1071. Please wait..
  1072.  
  1073. Assertion
  1074.  
  1075.  
  1076.  
  1077. ['Hypothetic-I', 'Hypothetic-The-Arabian-Coffee', 'Hypothetic-Drank']
  1078. Variable Quantification
  1079. Or Constant Name    Refactoring To Customize The Assertion (Persistent)
  1080. Hypothetic-I
  1081.  
  1082.  
  1083. Hypothetic-The-Arabian-Coffee
  1084.  
  1085.  
  1086. Hypothetic-Drank
  1087.  
  1088.  
  1089.  (situationConstituents Hypothetic-GenitiveFrame Hypothetic-I)
  1090. T
  1091. (subEvents Hypothetic-GenitiveFrame Hypothetic-Drank)
  1092. T
  1093. (actors Hypothetic-Drank Hypothetic-The-Arabian-Coffee)
  1094. T
  1095. (preActors Hypothetic-Drank Hypothetic-I)
  1096. T
  1097. (isa Hypothetic-Drank DrinkingEvent)
  1098. T
  1099. (performedBy Hypothetic-Drank Hypothetic-I)
  1100. "Formula
  1101.   (#$performedBy #$Hypothetic-Drank #$Hypothetic-I)
  1102. was not well formed because:
  1103. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1104. applicable to argument 2 of relation #$performedBy
  1105. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1106. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1107. applicable to argument 2 of relation #$performedBy
  1108. (via #$deliberateActors)
  1109. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1110. Term #$Hypothetic-I violates arg-isa #$Agent-Generic
  1111. applicable to argument 2 of relation #$performedBy
  1112. (via #$awareOf)
  1113. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1114. "
  1115. (primaryObjectMoving Hypothetic-Drank Hypothetic-I)
  1116. "Formula
  1117.   (#$primaryObjectMoving #$Hypothetic-Drank #$Hypothetic-I)
  1118. was not well formed because:
  1119. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1120. applicable to argument 2 of relation #$primaryObjectMoving
  1121. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1122. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1123. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1124. applicable to argument 2 of relation #$primaryObjectMoving
  1125. (via #$objectMoving)
  1126. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1127. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1128. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1129. applicable to argument 2 of relation #$primaryObjectMoving
  1130. when argument 1, #$Hypothetic-Drank, isa #$FluidFlow-Translation
  1131. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1132. Term #$Hypothetic-I violates arg-isa #$SpatialThing
  1133. applicable to argument 2 of relation #$primaryObjectMoving
  1134. (via #$objectMoving)
  1135. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1136. Term #$Hypothetic-I violates arg-isa #$PartiallyTangible
  1137. applicable to argument 2 of relation #$primaryObjectMoving
  1138. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1139. "
  1140. (objectMoving Hypothetic-Drank Hypothetic-I)
  1141. "Formula
  1142.   (#$objectMoving #$Hypothetic-Drank #$Hypothetic-I)
  1143. was not well formed because:
  1144. Term #$Hypothetic-I violates inter-arg-isa #$FluidTangibleThing
  1145. applicable to argument 2 of relation #$objectMoving
  1146. when argument 1, #$Hypothetic-Drank, isa #$FluidFlowEvent
  1147. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1148. Term #$Hypothetic-I violates arg-isa #$SpatialThing
  1149. applicable to argument 2 of relation #$objectMoving
  1150. in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1151. "
  1152. (consumedObject Hypothetic-Drank Hypothetic-The-Arabian-Coffee)
  1153. T
  1154. (isa Hypothetic-Drank Event)
  1155. T
  1156. (isa Hypothetic-Drank Situation)
  1157. T
  1158. (termStrings Hypothetic-Drank "drank")
  1159. T
  1160. (occursDuring Hypothetic-Drank
  1161.      (IntervalBeforeFn Now AnIndefiniteAmountOfTime))
  1162. T
  1163. (isa Hypothetic-The-Arabian-Coffee Individual)
  1164. T
  1165. (isa Hypothetic-The-Arabian-Coffee SomethingExisting)
  1166. T
  1167. (termStrings Hypothetic-The-Arabian-Coffee "the arabian coffee")
  1168. T
  1169. (isa Hypothetic-The-Arabian-Coffee Coffee-Ground)
  1170. T
  1171. (isa Hypothetic-The-Arabian-Coffee Coffee-Beverage)
  1172. T
  1173. (equals Hypothetic-The-Arabian-Coffee ArabianPeninsula)
  1174. T
  1175. (isa Hypothetic-The-Arabian-Coffee ArabianHorse)
  1176. "Formula
  1177.   (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse)
  1178. was not well formed because:
  1179. #$Hypothetic-The-Arabian-Coffee is known not to be an instance of #$ArabianHorse in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.  
  1180. sbhl conflict: (#$isa #$Hypothetic-The-Arabian-Coffee #$ArabianHorse) TRUE #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>
  1181.      because: (#$isa #$Hypothetic-The-Arabian-Coffee #$Coffee-Beverage) True-JustificationTruth              
  1182. (#$genls #$Coffee-Beverage #$Drink) TRUE              
  1183. (#$genls #$Drink #$LiquidTangibleThing) TRUE              
  1184. (#$genls #$LiquidTangibleThing #$FluidTangibleThing) TRUE              
  1185. (#$disjointWith #$FluidTangibleThing #$Agent-PartiallyTangible) TRUE              
  1186. (#$genls #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))> #$Agent-PartiallyTangible) TRUE              
  1187. (#$genls #$Animal #<(#$CollectionUnionFn (#$TheSet #$Person #$Animal))>) TRUE              
  1188. (#$genls #$NonHumanAnimal #$Animal) TRUE              
  1189. (#$genls #$EquineAnimal #$NonHumanAnimal) TRUE              
  1190. (#$genls #$Horse #$EquineAnimal) TRUE              
  1191. (#$genls #$Horse-Domesticated #$Horse) TRUE              
  1192. (#$genls #$ArabianHorse #$Horse-Domesticated) TRUE
  1193.  
  1194. "
  1195. (conceptuallyRelated Hypothetic-The-Arabian-Coffee ArabianPeninsula)
  1196. "Formula
  1197.   (#$conceptuallyRelated #$Hypothetic-The-Arabian-Coffee #$ArabianPeninsula)
  1198. was not well formed because:
  1199. (#$isa #$conceptuallyRelated #$IrreflexiveBinaryPredicate) in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>
  1200. "
  1201. (isa Hypothetic-I Individual)
  1202. T
  1203. (properNameStrings Hypothetic-I "I")
  1204. "Formula
  1205.   (#$properNameStrings #$Hypothetic-I \"I\")
  1206. was not well formed because:
  1207. Asserting a literal with predicate #$properNameStrings is prohibited in mt #<(#$ParseMtForSourceFn (#$StringInDocumentFn #$NLTESTMT \"I drank the arabian coffee .\"))>.
  1208. "
  1209. (equals Hypothetic-I
  1210.      (PronounFn FirstPerson-NLAttr Singular-NLAttr Ungendered-NLAttr SubjectPronoun))
  1211. T
  1212. (isa Hypothetic-I SomethingExisting)
  1213. T
  1214. (termStrings Hypothetic-I "I")
  1215. T
  1216. (equals Hypothetic-I Hypothetic-I)
  1217. T
  1218. (isa Hypothetic-GenitiveFrame Event)
  1219. T
  1220.  
  1221.  
  1222.  
  1223.  
  1224. Each rule is kept in an instance of an Assertion.  Physical Regions of the MOO may be effected by any 'Set' of instances from the Assertion Class.  Assertions can be divided into Microtheories that can be believed by agents (or Mobs).  The MOO reserves no special entity for enforcement of rules unless an agent has been assigned specifically to a room to do so.  Most cases agents in the room are picking from there own private array of Assertions which is separate from  an entity using the room's set.  
  1225.  
  1226.  
  1227. Supported configurations
  1228. LINUX (currently developed on Redhat 7.x)
  1229. JDK 1.4
  1230. Jakarta Tomcat 4.x
  1231. OpenCyc 0.6.0
  1232.  
  1233. SourceForge Logo
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!