TSPC 192_a_wilde_1

192_a_wilde_1_1888
He told him of the red ibises, who stand in long rows on the banks of the Nile, and catch gold-fish in their beaks; of the Sphinx, who is as old as the world itself, and lives in the desert, and knows everything; of the merchants, who walk slowly by the side of their camels and carry amber beads in their hands; of the King of the Mountains of the Moon, who is as black as ebony, and worships a large crystal; of the great green snake that sleeps in a palm tree, and has twenty priests to feed it with honey-cakes; and of the pygmies who sail over a big lake on large flat leaves, and are always at war with the butterflies.

( (IP-MAT (NP-SBJ;{SWALLOW} (PRO He;{he}))
          (VBD;_Tn.pr_ told;{tell})
          (NP-OB2;{PRINCE} (PRO him;{he}))
          (PP-CLR (PP-CLR (P-ROLE of;{of})
                          (NP;{IBISES} (D the;{the})
                                       (ADJP (ADJ red;{red}))
                                       (NS ibises;{ibis})
                                       (PUNC ,)
                                       (IP-REL (NP-SBJ (RPRO who;{who}))
                                               (ILYR (ILYR (VBP;_I_ stand;{stand})
                                                           (PP-NIM (P-ROLE in;{in})
                                                                   (NP (ADJP (ADJ long;{long}))
                                                                       (NS rows;{row})))
                                                           (PP-NIM (P-ROLE on;{on})
                                                                   (NP (D the;{the})
                                                                       (NS banks;{bank})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (D the;{the})
                                                                               (NPR Nile;{Nile}))))))
                                                     (PUNC ,)
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (VBP;_Tn_ catch;{catch})
                                                                  (NP-OB1 (N gold_<hyphen>_fish;{gold_fish}))
                                                                  (PP-NIM (P-ROLE in;{in})
                                                                          (NP (NP-GEN;{IBISES} (PRO;_genm_ their;{their}))
                                                                              (NS beaks;{beak})))))))))
                  (PUNC ;)
                  (CONJP (PP-CLR (P-ROLE of;{of})
                                 (NP (D the;{the})
                                     (N Sphinx;{sphinx})
                                     (PUNC ,)
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (ILYR (ILYR (BEP;_La_ is;{be})
                                                         (ADJP-PRD (ADVP (ADV as;{as}))
                                                                   (ADJ old;{old})
                                                                   (PP (P-ROLE as;{as})
                                                                       (NP (D the;{the})
                                                                           (N world;{world})
                                                                           (NP-RFL (PNX itself;{itself}))))))
                                                   (PUNC ,)
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (VBP;_Ipr_ lives;{live[in]})
                                                                (PP-CLR (P-ROLE in;{in})
                                                                        (NP (D the;{the})
                                                                            (N desert;{desert})))))
                                                   (PUNC ,)
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (VBP;_Tn_ knows;{know})
                                                                (NP-OB1 (Q;_nphd_ everything;{everything})))))))))
                  (PUNC ;)
                  (CONJP (PP-CLR (P-ROLE of;{of})
                                 (NP;{MERCHANTS} (D the;{the})
                                                 (NS merchants;{merchant})
                                                 (PUNC ,)
                                                 (IP-REL (NP-SBJ (RPRO who;{who}))
                                                         (ILYR (ILYR (VBP;_I_ walk;{walk})
                                                                     (ADVP-NIM (ADV slowly;{slowly}))
                                                                     (PP-NIM (P-ROLE by;{by})
                                                                             (NP (D the;{the})
                                                                                 (N side;{side})
                                                                                 (PP (P-ROLE of;{of})
                                                                                     (NP (NP-GEN;{MERCHANTS} (PRO;_genm_ their;{their}))
                                                                                         (NS camels;{camel}))))))
                                                               (CONJP (CONJ and;{and})
                                                                      (ILYR (VBP;_Tn_ carry;{carry})
                                                                            (NP-OB1 (ADJP (ADJ amber;{amber}))
                                                                                    (NS beads;{bead}))
                                                                            (PP-NIM (P-ROLE in;{in})
                                                                                    (NP (NP-GEN (PRO;_genm_ their;{their}))
                                                                                        (NS hands;{hand}))))))))))
                  (PUNC ;)
                  (CONJP (PP-CLR (P-ROLE of;{of})
                                 (NP (D the;{the})
                                     (N King;{king})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (NS Mountains;{mountain})
                                             (PP (P-ROLE of;{of})
                                                 (NP (D the;{the})
                                                     (N Moon;{moon})))))
                                     (PUNC ,)
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (ILYR (ILYR (BEP;_La_ is;{be})
                                                         (ADJP-PRD (ADVP (ADV as;{as}))
                                                                   (ADJ black;{black})
                                                                   (PP (P-ROLE as;{as})
                                                                       (NP (N ebony;{ebony})))))
                                                   (PUNC ,)
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (VBP;_Tn_ worships;{worship})
                                                                (NP-OB1 (D a;{a})
                                                                        (ADJP (ADJ large;{large}))
                                                                        (N crystal;{crystal})))))))))
                  (PUNC ;)
                  (CONJP (PP-CLR (P-ROLE of;{of})
                                 (NP;{SNAKE} (D the;{the})
                                             (ADJP (ADJ great;{great}))
                                             (ADJP (ADJ green;{green}))
                                             (N snake;{snake})
                                             (IP-REL (C that;{that})
                                                     (NP-SBJ *T*)
                                                     (ILYR (ILYR (VBP;_I_ sleeps;{sleep})
                                                                 (PP-NIM (P-ROLE in;{in})
                                                                         (NP (D a;{a})
                                                                             (N palm;{palm})
                                                                             (N tree;{tree}))))
                                                           (PUNC ,)
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (HVP;_Tn_ has;{have})
                                                                        (NP-OB1 (NUM twenty;{twenty})
                                                                                (NS priests;{priest})
                                                                                (IP-INF-REL (NP-SBJ *T*)
                                                                                            (TO to;{to})
                                                                                            (VB;_Tn_ feed;{feed})
                                                                                            (NP-OB1;{SNAKE} (PRO it;{it}))
                                                                                            (PP-NIM (P-ROLE with;{with})
                                                                                                    (NP (NS honey_<hyphen>_cakes;{honey_cakes}))))))))))))
                  (PUNC ;)
                  (CONJP (CONJ and;{and})
                         (PP-CLR (P-ROLE of;{of})
                                 (NP (D the;{the})
                                     (NS pygmies;{pygmy})
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (ILYR (ILYR (VBP;_Ipr_ sail;{sail[over]})
                                                         (PP-CLR (P-ROLE over;{over})
                                                                 (NP (D a;{a})
                                                                     (ADJP (ADJ big;{big}))
                                                                     (N lake;{lake})))
                                                         (PP-NIM (P-ROLE on;{on})
                                                                 (NP (ADJP (ADJ large;{large}))
                                                                     (ADJP (ADJ flat;{flat}))
                                                                     (NS leaves;{leaf}))))
                                                   (PUNC ,)
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (BEP;_Ipr_ are;{be[at]})
                                                                (ADVP-NIM (ADV always;{always}))
                                                                (PP-CLR (P-ROLE at;{at})
                                                                        (NP (N war;{war})))
                                                                (PP-NIM (P-ROLE with;{with})
                                                                        (NP (D the;{the})
                                                                            (NS butterflies;{butterfly})))))))))))
          (PUNC .))
  (ID 192_a_wilde_1_1888))

arc(r_0192_0002__told,r_0192_0001__He,arg0).
arc(r_0192_0002__told,r_0192_0003__him,arg2).
arc(r_0192_0002__told,r_0192_0117__and,clr).
arc(r_0192_0005__the_r_0192_0007__ibises,r_0192_0006__red,attrib).
arc(r_0192_0010__stand,r_0192_0005__the_r_0192_0007__ibises,arg0).
arc(r_0192_0010__stand,r_0192_0013__rows,r_0192_0011__in__nim).
arc(r_0192_0010__stand,r_0192_0015__the_r_0192_0016__banks,r_0192_0014__on__nim).
arc(r_0192_0013__rows,r_0192_0012__long,attrib).
arc(r_0192_0015__the_r_0192_0016__banks,r_0192_0018__the_r_0192_0019__Nile,r_0192_0017__of).
arc(r_0192_0021__and,r_0192_0010__stand,conj1).
arc(r_0192_0021__and,r_0192_0022__catch,conj2).
arc(r_0192_0022__catch,r_0192_0005__the_r_0192_0007__ibises,arg0).
arc(r_0192_0022__catch,r_0192_0023__gold__hyphen__fish,arg1).
arc(r_0192_0022__catch,r_0192_0026__beaks,r_0192_0024__in__nim).
arc(r_0192_0026__beaks,r_0192_0005__the_r_0192_0007__ibises,gen).
arc(r_0192_0033__is,r_0192_0029__the_r_0192_0030__Sphinx,arg0).
arc(r_0192_0033__is,r_0192_0035__old,prd).
arc(r_0192_0035__old,r_0192_0034__as,qual).
arc(r_0192_0035__old,r_0192_0037__the_r_0192_0038__world,r_0192_0036__as).
arc(r_0192_0037__the_r_0192_0038__world,r_0192_0039__itself,rfl).
arc(r_0192_0041__and_r_0192_0047__and,r_0192_0033__is,conj1).
arc(r_0192_0041__and_r_0192_0047__and,r_0192_0042__lives_r_0192_0043__in,conj2).
arc(r_0192_0041__and_r_0192_0047__and,r_0192_0049__everything__quant,conj3).
arc(r_0192_0042__lives_r_0192_0043__in,r_0192_0029__the_r_0192_0030__Sphinx,arg0).
arc(r_0192_0042__lives_r_0192_0043__in,r_0192_0044__the_r_0192_0045__desert,arg1).
arc(r_0192_0048__knows,r_0192_0029__the_r_0192_0030__Sphinx,arg0).
arc(r_0192_0048__knows,z_0192_5022,arg1).
arc(r_0192_0049__everything__quant,r_0192_0048__knows,scope).
arc(r_0192_0049__everything__quant,z_0192_5022,restriction).
arc(r_0192_0056__walk,r_0192_0052__the_r_0192_0053__merchants,arg0).
arc(r_0192_0056__walk,r_0192_0057__slowly,nim).
arc(r_0192_0056__walk,r_0192_0059__the_r_0192_0060__side,r_0192_0058__by__nim).
arc(r_0192_0059__the_r_0192_0060__side,r_0192_0063__camels,r_0192_0061__of).
arc(r_0192_0063__camels,r_0192_0052__the_r_0192_0053__merchants,gen).
arc(r_0192_0064__and,r_0192_0056__walk,conj1).
arc(r_0192_0064__and,r_0192_0065__carry,conj2).
arc(r_0192_0065__carry,r_0192_0052__the_r_0192_0053__merchants,arg0).
arc(r_0192_0065__carry,r_0192_0067__beads,arg1).
arc(r_0192_0065__carry,r_0192_0070__hands,r_0192_0068__in__nim).
arc(r_0192_0067__beads,r_0192_0066__amber,attrib).
arc(r_0192_0070__hands,r_0192_0069__their,gen).
arc(r_0192_0073__the_r_0192_0074__King,r_0192_0076__the_r_0192_0077__Mountains,r_0192_0075__of).
arc(r_0192_0076__the_r_0192_0077__Mountains,r_0192_0079__the_r_0192_0080__Moon,r_0192_0078__of).
arc(r_0192_0083__is,r_0192_0073__the_r_0192_0074__King,arg0).
arc(r_0192_0083__is,r_0192_0085__black,prd).
arc(r_0192_0085__black,r_0192_0084__as,qual).
arc(r_0192_0085__black,r_0192_0087__ebony,r_0192_0086__as).
arc(r_0192_0089__and,r_0192_0083__is,conj1).
arc(r_0192_0089__and,r_0192_0090__worships,conj2).
arc(r_0192_0090__worships,r_0192_0073__the_r_0192_0074__King,arg0).
arc(r_0192_0090__worships,r_0192_0091__a_r_0192_0093__crystal,arg1).
arc(r_0192_0091__a_r_0192_0093__crystal,r_0192_0092__large,attrib).
arc(r_0192_0096__the_r_0192_0099__snake,r_0192_0097__great,attrib).
arc(r_0192_0096__the_r_0192_0099__snake,r_0192_0098__green,attrib).
arc(r_0192_0101__sleeps,r_0192_0096__the_r_0192_0099__snake,arg0).
arc(r_0192_0101__sleeps,r_0192_0103__a_r_0192_0104__palm_r_0192_0105__tree,r_0192_0102__in__nim).
arc(r_0192_0107__and,r_0192_0101__sleeps,conj1).
arc(r_0192_0107__and,r_0192_0108__has,conj2).
arc(r_0192_0108__has,r_0192_0096__the_r_0192_0099__snake,arg0).
arc(r_0192_0108__has,r_0192_0109__twenty_r_0192_0110__priests,arg1).
arc(r_0192_0112__feed,r_0192_0096__the_r_0192_0099__snake,arg1).
arc(r_0192_0112__feed,r_0192_0109__twenty_r_0192_0110__priests,arg0).
arc(r_0192_0112__feed,r_0192_0115__honey__hyphen__cakes,r_0192_0114__with__nim).
arc(r_0192_0117__and,r_0192_0005__the_r_0192_0007__ibises,r_0192_0004__of__clr).
arc(r_0192_0117__and,r_0192_0029__the_r_0192_0030__Sphinx,r_0192_0028__of__clr).
arc(r_0192_0117__and,r_0192_0052__the_r_0192_0053__merchants,r_0192_0051__of__clr).
arc(r_0192_0117__and,r_0192_0073__the_r_0192_0074__King,r_0192_0072__of__clr).
arc(r_0192_0117__and,r_0192_0096__the_r_0192_0099__snake,r_0192_0095__of__clr).
arc(r_0192_0117__and,r_0192_0119__the_r_0192_0120__pygmies,r_0192_0118__of__clr).
arc(r_0192_0122__sail_r_0192_0123__over,r_0192_0119__the_r_0192_0120__pygmies,arg0).
arc(r_0192_0122__sail_r_0192_0123__over,r_0192_0124__a_r_0192_0126__lake,arg1).
arc(r_0192_0122__sail_r_0192_0123__over,r_0192_0130__leaves,r_0192_0127__on__nim).
arc(r_0192_0124__a_r_0192_0126__lake,r_0192_0125__big,attrib).
arc(r_0192_0130__leaves,r_0192_0128__large,attrib).
arc(r_0192_0130__leaves,r_0192_0129__flat,attrib).
arc(r_0192_0132__and,r_0192_0122__sail_r_0192_0123__over,conj1).
arc(r_0192_0132__and,r_0192_0133__are_r_0192_0135__at,conj2).
arc(r_0192_0133__are_r_0192_0135__at,r_0192_0119__the_r_0192_0120__pygmies,arg0).
arc(r_0192_0133__are_r_0192_0135__at,r_0192_0134__always,nim).
arc(r_0192_0133__are_r_0192_0135__at,r_0192_0136__war,arg1).
arc(r_0192_0133__are_r_0192_0135__at,r_0192_0138__the_r_0192_0139__butterflies,r_0192_0137__with__nim).

fof(formula,axiom,
    ? [R_0192_0001__HE,R_0192_0003__HIM,R_0192_0006__RED,R_0192_0005__THE_R_0192_0007__IBISES,R_0192_0029__THE_R_0192_0030__SPHINX,R_0192_0052__THE_R_0192_0053__MERCHANTS,R_0192_0079__THE_R_0192_0080__MOON,R_0192_0076__THE_R_0192_0077__MOUNTAINS,R_0192_0073__THE_R_0192_0074__KING,R_0192_0097__GREAT,R_0192_0098__GREEN,R_0192_0096__THE_R_0192_0099__SNAKE,R_0192_0119__THE_R_0192_0120__PYGMIES,R_0192_0117__AND,R_0192_0002__TOLD,R_0192_0012__LONG,R_0192_0013__ROWS,R_0192_0018__THE_R_0192_0019__NILE,R_0192_0015__THE_R_0192_0016__BANKS,R_0192_0010__STAND,R_0192_0023__GOLD__HYPHEN__FISH,R_0192_0026__BEAKS,R_0192_0022__CATCH,R_0192_0021__AND,R_0192_0034__AS,R_0192_0039__ITSELF,R_0192_0037__THE_R_0192_0038__WORLD,R_0192_0035__OLD,R_0192_0033__IS,R_0192_0044__THE_R_0192_0045__DESERT,R_0192_0042__LIVES_R_0192_0043__IN,R_0192_0041__AND_R_0192_0047__AND,R_0192_0057__SLOWLY,R_0192_0063__CAMELS,R_0192_0059__THE_R_0192_0060__SIDE,R_0192_0056__WALK,R_0192_0066__AMBER,R_0192_0067__BEADS,R_0192_0069__THEIR,R_0192_0070__HANDS,R_0192_0065__CARRY,R_0192_0064__AND,R_0192_0084__AS,R_0192_0087__EBONY,R_0192_0085__BLACK,R_0192_0083__IS,R_0192_0092__LARGE,R_0192_0091__A_R_0192_0093__CRYSTAL,R_0192_0090__WORSHIPS,R_0192_0089__AND,R_0192_0103__A_R_0192_0104__PALM_R_0192_0105__TREE,R_0192_0101__SLEEPS,R_0192_0109__TWENTY_R_0192_0110__PRIESTS,R_0192_0108__HAS,R_0192_0107__AND,R_0192_0115__HONEY__HYPHEN__CAKES,R_0192_0112__FEED,R_0192_0125__BIG,R_0192_0124__A_R_0192_0126__LAKE,R_0192_0128__LARGE,R_0192_0129__FLAT,R_0192_0130__LEAVES,R_0192_0122__SAIL_R_0192_0123__OVER,R_0192_0134__ALWAYS,R_0192_0136__WAR,R_0192_0138__THE_R_0192_0139__BUTTERFLIES,R_0192_0133__ARE_R_0192_0135__AT,R_0192_0132__AND] :
      ( r_0192_0001__He(R_0192_0001__HE)
      & r_0192_0003__him(R_0192_0003__HIM)
      & r_0192_0006__red(R_0192_0006__RED)
      & r_0192_0012__long(R_0192_0012__LONG)
      & r_0192_0018__the_r_0192_0019__Nile(R_0192_0018__THE_R_0192_0019__NILE)
      & r_0192_0023__gold__hyphen__fish(R_0192_0023__GOLD__HYPHEN__FISH)
      & r_0192_0029__the_r_0192_0030__Sphinx(R_0192_0029__THE_R_0192_0030__SPHINX)
      & r_0192_0034__as(R_0192_0034__AS)
      & r_0192_0039__itself(R_0192_0039__ITSELF)
      & r_0192_0044__the_r_0192_0045__desert(R_0192_0044__THE_R_0192_0045__DESERT)
      & r_0192_0052__the_r_0192_0053__merchants(R_0192_0052__THE_R_0192_0053__MERCHANTS)
      & r_0192_0057__slowly(R_0192_0057__SLOWLY)
      & r_0192_0066__amber(R_0192_0066__AMBER)
      & r_0192_0069__their(R_0192_0069__THEIR)
      & r_0192_0079__the_r_0192_0080__Moon(R_0192_0079__THE_R_0192_0080__MOON)
      & r_0192_0084__as(R_0192_0084__AS)
      & r_0192_0087__ebony(R_0192_0087__EBONY)
      & r_0192_0092__large(R_0192_0092__LARGE)
      & r_0192_0097__great(R_0192_0097__GREAT)
      & r_0192_0098__green(R_0192_0098__GREEN)
      & r_0192_0103__a_r_0192_0104__palm_r_0192_0105__tree(R_0192_0103__A_R_0192_0104__PALM_R_0192_0105__TREE)
      & r_0192_0109__twenty_r_0192_0110__priests(R_0192_0109__TWENTY_R_0192_0110__PRIESTS)
      & r_0192_0115__honey__hyphen__cakes(R_0192_0115__HONEY__HYPHEN__CAKES)
      & r_0192_0119__the_r_0192_0120__pygmies(R_0192_0119__THE_R_0192_0120__PYGMIES)
      & r_0192_0125__big(R_0192_0125__BIG)
      & r_0192_0128__large(R_0192_0128__LARGE)
      & r_0192_0129__flat(R_0192_0129__FLAT)
      & r_0192_0134__always(R_0192_0134__ALWAYS)
      & r_0192_0136__war(R_0192_0136__WAR)
      & r_0192_0138__the_r_0192_0139__butterflies(R_0192_0138__THE_R_0192_0139__BUTTERFLIES)
      & r_0192_0132__and(R_0192_0132__AND)
      & has_conj2(R_0192_0132__AND,R_0192_0133__ARE_R_0192_0135__AT)
      & r_0192_0133__are_r_0192_0135__at(R_0192_0133__ARE_R_0192_0135__AT)
      & has_r_0192_0137__with__nim(R_0192_0133__ARE_R_0192_0135__AT,R_0192_0138__THE_R_0192_0139__BUTTERFLIES)
      & has_arg1(R_0192_0133__ARE_R_0192_0135__AT,R_0192_0136__WAR)
      & has_nim(R_0192_0133__ARE_R_0192_0135__AT,R_0192_0134__ALWAYS)
      & has_arg0(R_0192_0133__ARE_R_0192_0135__AT,R_0192_0119__THE_R_0192_0120__PYGMIES)
      & has_conj1(R_0192_0132__AND,R_0192_0122__SAIL_R_0192_0123__OVER)
      & r_0192_0122__sail_r_0192_0123__over(R_0192_0122__SAIL_R_0192_0123__OVER)
      & has_r_0192_0127__on__nim(R_0192_0122__SAIL_R_0192_0123__OVER,R_0192_0130__LEAVES)
      & r_0192_0130__leaves(R_0192_0130__LEAVES)
      & has_attrib(R_0192_0130__LEAVES,R_0192_0129__FLAT)
      & has_attrib(R_0192_0130__LEAVES,R_0192_0128__LARGE)
      & has_arg1(R_0192_0122__SAIL_R_0192_0123__OVER,R_0192_0124__A_R_0192_0126__LAKE)
      & r_0192_0124__a_r_0192_0126__lake(R_0192_0124__A_R_0192_0126__LAKE)
      & has_attrib(R_0192_0124__A_R_0192_0126__LAKE,R_0192_0125__BIG)
      & has_arg0(R_0192_0122__SAIL_R_0192_0123__OVER,R_0192_0119__THE_R_0192_0120__PYGMIES)
      & r_0192_0112__feed(R_0192_0112__FEED)
      & has_r_0192_0114__with__nim(R_0192_0112__FEED,R_0192_0115__HONEY__HYPHEN__CAKES)
      & has_arg0(R_0192_0112__FEED,R_0192_0109__TWENTY_R_0192_0110__PRIESTS)
      & has_arg1(R_0192_0112__FEED,R_0192_0096__THE_R_0192_0099__SNAKE)
      & r_0192_0096__the_r_0192_0099__snake(R_0192_0096__THE_R_0192_0099__SNAKE)
      & has_attrib(R_0192_0096__THE_R_0192_0099__SNAKE,R_0192_0098__GREEN)
      & has_attrib(R_0192_0096__THE_R_0192_0099__SNAKE,R_0192_0097__GREAT)
      & r_0192_0107__and(R_0192_0107__AND)
      & has_conj2(R_0192_0107__AND,R_0192_0108__HAS)
      & r_0192_0108__has(R_0192_0108__HAS)
      & has_arg1(R_0192_0108__HAS,R_0192_0109__TWENTY_R_0192_0110__PRIESTS)
      & has_arg0(R_0192_0108__HAS,R_0192_0096__THE_R_0192_0099__SNAKE)
      & has_conj1(R_0192_0107__AND,R_0192_0101__SLEEPS)
      & r_0192_0101__sleeps(R_0192_0101__SLEEPS)
      & has_r_0192_0102__in__nim(R_0192_0101__SLEEPS,R_0192_0103__A_R_0192_0104__PALM_R_0192_0105__TREE)
      & has_arg0(R_0192_0101__SLEEPS,R_0192_0096__THE_R_0192_0099__SNAKE)
      & r_0192_0089__and(R_0192_0089__AND)
      & has_conj2(R_0192_0089__AND,R_0192_0090__WORSHIPS)
      & r_0192_0090__worships(R_0192_0090__WORSHIPS)
      & has_arg1(R_0192_0090__WORSHIPS,R_0192_0091__A_R_0192_0093__CRYSTAL)
      & r_0192_0091__a_r_0192_0093__crystal(R_0192_0091__A_R_0192_0093__CRYSTAL)
      & has_attrib(R_0192_0091__A_R_0192_0093__CRYSTAL,R_0192_0092__LARGE)
      & has_arg0(R_0192_0090__WORSHIPS,R_0192_0073__THE_R_0192_0074__KING)
      & r_0192_0073__the_r_0192_0074__King(R_0192_0073__THE_R_0192_0074__KING)
      & has_r_0192_0075__of(R_0192_0073__THE_R_0192_0074__KING,R_0192_0076__THE_R_0192_0077__MOUNTAINS)
      & r_0192_0076__the_r_0192_0077__Mountains(R_0192_0076__THE_R_0192_0077__MOUNTAINS)
      & has_r_0192_0078__of(R_0192_0076__THE_R_0192_0077__MOUNTAINS,R_0192_0079__THE_R_0192_0080__MOON)
      & has_conj1(R_0192_0089__AND,R_0192_0083__IS)
      & r_0192_0083__is(R_0192_0083__IS)
      & has_prd(R_0192_0083__IS,R_0192_0085__BLACK)
      & r_0192_0085__black(R_0192_0085__BLACK)
      & has_r_0192_0086__as(R_0192_0085__BLACK,R_0192_0087__EBONY)
      & has_qual(R_0192_0085__BLACK,R_0192_0084__AS)
      & has_arg0(R_0192_0083__IS,R_0192_0073__THE_R_0192_0074__KING)
      & r_0192_0064__and(R_0192_0064__AND)
      & has_conj2(R_0192_0064__AND,R_0192_0065__CARRY)
      & r_0192_0065__carry(R_0192_0065__CARRY)
      & has_r_0192_0068__in__nim(R_0192_0065__CARRY,R_0192_0070__HANDS)
      & r_0192_0070__hands(R_0192_0070__HANDS)
      & has_gen(R_0192_0070__HANDS,R_0192_0069__THEIR)
      & has_arg1(R_0192_0065__CARRY,R_0192_0067__BEADS)
      & r_0192_0067__beads(R_0192_0067__BEADS)
      & has_attrib(R_0192_0067__BEADS,R_0192_0066__AMBER)
      & has_arg0(R_0192_0065__CARRY,R_0192_0052__THE_R_0192_0053__MERCHANTS)
      & has_conj1(R_0192_0064__AND,R_0192_0056__WALK)
      & r_0192_0056__walk(R_0192_0056__WALK)
      & has_r_0192_0058__by__nim(R_0192_0056__WALK,R_0192_0059__THE_R_0192_0060__SIDE)
      & r_0192_0059__the_r_0192_0060__side(R_0192_0059__THE_R_0192_0060__SIDE)
      & has_r_0192_0061__of(R_0192_0059__THE_R_0192_0060__SIDE,R_0192_0063__CAMELS)
      & r_0192_0063__camels(R_0192_0063__CAMELS)
      & has_gen(R_0192_0063__CAMELS,R_0192_0052__THE_R_0192_0053__MERCHANTS)
      & has_nim(R_0192_0056__WALK,R_0192_0057__SLOWLY)
      & has_arg0(R_0192_0056__WALK,R_0192_0052__THE_R_0192_0053__MERCHANTS)
      & r_0192_0041__and_r_0192_0047__and(R_0192_0041__AND_R_0192_0047__AND)
      & ! [Z_0192_5022] :
          ( z_0192_5022(Z_0192_5022)
         => ? [R_0192_0048__KNOWS] :
              ( r_0192_0048__knows(R_0192_0048__KNOWS)
              & has_arg1(R_0192_0048__KNOWS,Z_0192_5022)
              & has_arg0(R_0192_0048__KNOWS,R_0192_0029__THE_R_0192_0030__SPHINX) ) )
      & has_conj2(R_0192_0041__AND_R_0192_0047__AND,R_0192_0042__LIVES_R_0192_0043__IN)
      & r_0192_0042__lives_r_0192_0043__in(R_0192_0042__LIVES_R_0192_0043__IN)
      & has_arg1(R_0192_0042__LIVES_R_0192_0043__IN,R_0192_0044__THE_R_0192_0045__DESERT)
      & has_arg0(R_0192_0042__LIVES_R_0192_0043__IN,R_0192_0029__THE_R_0192_0030__SPHINX)
      & has_conj1(R_0192_0041__AND_R_0192_0047__AND,R_0192_0033__IS)
      & r_0192_0033__is(R_0192_0033__IS)
      & has_prd(R_0192_0033__IS,R_0192_0035__OLD)
      & r_0192_0035__old(R_0192_0035__OLD)
      & has_r_0192_0036__as(R_0192_0035__OLD,R_0192_0037__THE_R_0192_0038__WORLD)
      & r_0192_0037__the_r_0192_0038__world(R_0192_0037__THE_R_0192_0038__WORLD)
      & has_rfl(R_0192_0037__THE_R_0192_0038__WORLD,R_0192_0039__ITSELF)
      & has_qual(R_0192_0035__OLD,R_0192_0034__AS)
      & has_arg0(R_0192_0033__IS,R_0192_0029__THE_R_0192_0030__SPHINX)
      & r_0192_0021__and(R_0192_0021__AND)
      & has_conj2(R_0192_0021__AND,R_0192_0022__CATCH)
      & r_0192_0022__catch(R_0192_0022__CATCH)
      & has_r_0192_0024__in__nim(R_0192_0022__CATCH,R_0192_0026__BEAKS)
      & r_0192_0026__beaks(R_0192_0026__BEAKS)
      & has_gen(R_0192_0026__BEAKS,R_0192_0005__THE_R_0192_0007__IBISES)
      & r_0192_0005__the_r_0192_0007__ibises(R_0192_0005__THE_R_0192_0007__IBISES)
      & has_attrib(R_0192_0005__THE_R_0192_0007__IBISES,R_0192_0006__RED)
      & has_arg1(R_0192_0022__CATCH,R_0192_0023__GOLD__HYPHEN__FISH)
      & has_arg0(R_0192_0022__CATCH,R_0192_0005__THE_R_0192_0007__IBISES)
      & has_conj1(R_0192_0021__AND,R_0192_0010__STAND)
      & r_0192_0010__stand(R_0192_0010__STAND)
      & has_r_0192_0014__on__nim(R_0192_0010__STAND,R_0192_0015__THE_R_0192_0016__BANKS)
      & r_0192_0015__the_r_0192_0016__banks(R_0192_0015__THE_R_0192_0016__BANKS)
      & has_r_0192_0017__of(R_0192_0015__THE_R_0192_0016__BANKS,R_0192_0018__THE_R_0192_0019__NILE)
      & has_r_0192_0011__in__nim(R_0192_0010__STAND,R_0192_0013__ROWS)
      & r_0192_0013__rows(R_0192_0013__ROWS)
      & has_attrib(R_0192_0013__ROWS,R_0192_0012__LONG)
      & has_arg0(R_0192_0010__STAND,R_0192_0005__THE_R_0192_0007__IBISES)
      & r_0192_0002__told(R_0192_0002__TOLD)
      & has_clr(R_0192_0002__TOLD,R_0192_0117__AND)
      & r_0192_0117__and(R_0192_0117__AND)
      & has_r_0192_0118__of__clr(R_0192_0117__AND,R_0192_0119__THE_R_0192_0120__PYGMIES)
      & has_r_0192_0095__of__clr(R_0192_0117__AND,R_0192_0096__THE_R_0192_0099__SNAKE)
      & has_r_0192_0072__of__clr(R_0192_0117__AND,R_0192_0073__THE_R_0192_0074__KING)
      & has_r_0192_0051__of__clr(R_0192_0117__AND,R_0192_0052__THE_R_0192_0053__MERCHANTS)
      & has_r_0192_0028__of__clr(R_0192_0117__AND,R_0192_0029__THE_R_0192_0030__SPHINX)
      & has_r_0192_0004__of__clr(R_0192_0117__AND,R_0192_0005__THE_R_0192_0007__IBISES)
      & has_arg2(R_0192_0002__TOLD,R_0192_0003__HIM)
      & has_arg0(R_0192_0002__TOLD,R_0192_0001__HE) ) ).