Context                Previous, Next                Top


168_a_wilde_1_1888
In Egypt the sun is warm on the green palm-trees, and the crocodiles lie in the mud and look lazily about them.

%3 r_0168_0005__is is r_0168_0002__Egypt Egypt r_0168_0005__is->r_0168_0002__Egypt In [nim] r_0168_0003__the_r_0168_0004__sun the sun r_0168_0005__is->r_0168_0003__the_r_0168_0004__sun [arg0] r_0168_0006__warm warm r_0168_0005__is->r_0168_0006__warm [prd] r_0168_0008__the_r_0168_0010__palm__hyphen__trees the palm-trees r_0168_0006__warm->r_0168_0008__the_r_0168_0010__palm__hyphen__trees on r_0168_0009__green green r_0168_0008__the_r_0168_0010__palm__hyphen__trees->r_0168_0009__green [attrib] r_0168_0012__and and r_0168_0012__and->r_0168_0005__is [conj1] r_0168_0019__and and r_0168_0012__and->r_0168_0019__and [conj2] r_0168_0015__lie lie r_0168_0019__and->r_0168_0015__lie [conj1] r_0168_0020__look look r_0168_0019__and->r_0168_0020__look [conj2] r_0168_0013__the_r_0168_0014__crocodiles the crocodiles r_0168_0015__lie->r_0168_0013__the_r_0168_0014__crocodiles [arg0] r_0168_0017__the_r_0168_0018__mud the mud r_0168_0015__lie->r_0168_0017__the_r_0168_0018__mud in [nim] r_0168_0020__look->r_0168_0013__the_r_0168_0014__crocodiles [arg0] r_0168_0020__look->r_0168_0013__the_r_0168_0014__crocodiles about [clr] r_0168_0021__lazily lazily r_0168_0020__look->r_0168_0021__lazily [nim] 
arc(r_0168_0005__is, r_0168_0002__Egypt, r_0168_0001__In_nim7).
arc(r_0168_0005__is, r_0168_0003__the_r_0168_0004__sun, arg0).
arc(r_0168_0005__is, r_0168_0006__warm, prd).
arc(r_0168_0006__warm, r_0168_0008__the_r_0168_0010__palm__hyphen__trees, r_0168_0007__on).
arc(r_0168_0008__the_r_0168_0010__palm__hyphen__trees, r_0168_0009__green, attrib26).
arc(r_0168_0012__and, r_0168_0005__is, conj1).
arc(r_0168_0012__and, r_0168_0019__and, conj2).
arc(r_0168_0015__lie, r_0168_0013__the_r_0168_0014__crocodiles, arg0).
arc(r_0168_0015__lie, r_0168_0017__the_r_0168_0018__mud, r_0168_0016__in_nim49).
arc(r_0168_0019__and, r_0168_0015__lie, conj1).
arc(r_0168_0019__and, r_0168_0020__look, conj2).
arc(r_0168_0020__look, r_0168_0013__the_r_0168_0014__crocodiles, arg0).
arc(r_0168_0020__look, r_0168_0013__the_r_0168_0014__crocodiles, r_0168_0022__about_clr66).
arc(r_0168_0020__look, r_0168_0021__lazily, nim60).


%3 r_0168_0020__look look r_0168_0021__lazily lazily r_0168_0020__look->r_0168_0021__lazily [nim] r_0168_0013__the_r_0168_0014__crocodiles the crocodiles r_0168_0020__look->r_0168_0013__the_r_0168_0014__crocodiles about [clr] r_0168_0020__look->r_0168_0013__the_r_0168_0014__crocodiles [arg0] r_0168_0019__and and r_0168_0019__and->r_0168_0020__look [conj2] r_0168_0015__lie lie r_0168_0019__and->r_0168_0015__lie [conj1] r_0168_0015__lie->r_0168_0013__the_r_0168_0014__crocodiles [arg0] r_0168_0017__the_r_0168_0018__mud the mud r_0168_0015__lie->r_0168_0017__the_r_0168_0018__mud in [nim] r_0168_0012__and and r_0168_0012__and->r_0168_0019__and [conj2] r_0168_0005__is is r_0168_0012__and->r_0168_0005__is [conj1] r_0168_0006__warm warm r_0168_0005__is->r_0168_0006__warm [prd] r_0168_0003__the_r_0168_0004__sun the sun r_0168_0005__is->r_0168_0003__the_r_0168_0004__sun [arg0] r_0168_0002__Egypt Egypt r_0168_0005__is->r_0168_0002__Egypt In [nim] r_0168_0008__the_r_0168_0010__palm__hyphen__trees the palm-trees r_0168_0009__green green r_0168_0008__the_r_0168_0010__palm__hyphen__trees->r_0168_0009__green [attrib] r_0168_0006__warm->r_0168_0008__the_r_0168_0010__palm__hyphen__trees on 
fof(formula,axiom,
    ? [R_168_12_AND,R_168_5_IS,R_168_3_THE_SUN,R_168_6_WARM,R_168_8_THE_PALM_HYPHEN_TREES,R_168_9_GREEN,R_168_2_EGYPT,R_168_19_AND,R_168_15_LIE,R_168_17_THE_MUD,R_168_20_LOOK,R_168_21_LAZILY,R_168_13_THE_CROCODILES] :
      ( the_sun(R_168_3_THE_SUN)
      & green(R_168_9_GREEN)
      & egypt(R_168_2_EGYPT)
      & the_mud(R_168_17_THE_MUD)
      & lazily(R_168_21_LAZILY)
      & the_crocodiles(R_168_13_THE_CROCODILES)
      & and(R_168_12_AND)
      & conj1(R_168_12_AND,R_168_5_IS)
      & is(R_168_5_IS,R_168_3_THE_SUN,R_168_6_WARM)
      & warm(R_168_6_WARM)
      & on(R_168_6_WARM,R_168_8_THE_PALM_HYPHEN_TREES)
      & the_palm_hyphen_trees(R_168_8_THE_PALM_HYPHEN_TREES)
      & attrib26(R_168_8_THE_PALM_HYPHEN_TREES,R_168_9_GREEN)
      & in_nim7(R_168_5_IS,R_168_2_EGYPT)
      & conj2(R_168_12_AND,R_168_19_AND)
      & and(R_168_19_AND)
      & conj1(R_168_19_AND,R_168_15_LIE)
      & lie(R_168_15_LIE,R_168_13_THE_CROCODILES)
      & in_nim49(R_168_15_LIE,R_168_17_THE_MUD)
      & conj2(R_168_19_AND,R_168_20_LOOK)
      & look(R_168_20_LOOK,R_168_13_THE_CROCODILES)
      & nim60(R_168_20_LOOK,R_168_21_LAZILY)
      & about_clr66(R_168_20_LOOK,R_168_13_THE_CROCODILES) ) ).


n168_a_wilde_1_1888 n168_a_wilde_1_1888__1_1_1_1_1_1 In n168_a_wilde_1_1888__1_1_1_1_2_1_1 Egypt n168_a_wilde_1_1888__1_1_1_2_1_1 the n168_a_wilde_1_1888__1_1_1_2_2_1 sun n168_a_wilde_1_1888__1_1_1_3_1 is n168_a_wilde_1_1888__1_1_1_4_1_1 warm n168_a_wilde_1_1888__1_1_1_4_2_1_1 on n168_a_wilde_1_1888__1_1_1_4_2_2_1_1 the n168_a_wilde_1_1888__1_1_1_4_2_2_2_1_1 green n168_a_wilde_1_1888__1_1_1_4_2_2_3_1 palm-trees n168_a_wilde_1_1888__1_1_2_1 , n168_a_wilde_1_1888__1_1_3_1_1 and n168_a_wilde_1_1888__1_1_3_2_1_1_1 the n168_a_wilde_1_1888__1_1_3_2_1_2_1 crocodiles n168_a_wilde_1_1888__1_1_3_2_2_1_1_1 lie n168_a_wilde_1_1888__1_1_3_2_2_1_2_1_1 in n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_1_1 the n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_2_1 mud n168_a_wilde_1_1888__1_1_3_2_2_2_1_1 and n168_a_wilde_1_1888__1_1_3_2_2_2_2_1_1 look n168_a_wilde_1_1888__1_1_3_2_2_2_2_2_1_1 lazily n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_1_1 about n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2_1_1 them n168_a_wilde_1_1888__1_2_1 . n168_a_wilde_1_1888__1 IP-MAT n168_a_wilde_1_1888__1_1 ILYR n168_a_wilde_1_1888__1->n168_a_wilde_1_1888__1_1 n168_a_wilde_1_1888__1_2 PUNC n168_a_wilde_1_1888__1->n168_a_wilde_1_1888__1_2 n168_a_wilde_1_1888__1_1_1 ILYR n168_a_wilde_1_1888__1_1->n168_a_wilde_1_1888__1_1_1 n168_a_wilde_1_1888__1_1_2 PUNC n168_a_wilde_1_1888__1_1->n168_a_wilde_1_1888__1_1_2 n168_a_wilde_1_1888__1_1_3 CONJP n168_a_wilde_1_1888__1_1->n168_a_wilde_1_1888__1_1_3 n168_a_wilde_1_1888__1_1_1_1 PP-TPC-NIM n168_a_wilde_1_1888__1_1_1->n168_a_wilde_1_1888__1_1_1_1 n168_a_wilde_1_1888__1_1_1_2 NP-SBJ n168_a_wilde_1_1888__1_1_1->n168_a_wilde_1_1888__1_1_1_2 n168_a_wilde_1_1888__1_1_1_3 BEP;_La_ n168_a_wilde_1_1888__1_1_1->n168_a_wilde_1_1888__1_1_1_3 n168_a_wilde_1_1888__1_1_1_4 ADJP-PRD n168_a_wilde_1_1888__1_1_1->n168_a_wilde_1_1888__1_1_1_4 n168_a_wilde_1_1888__1_1_1_1_1 P-ROLE n168_a_wilde_1_1888__1_1_1_1->n168_a_wilde_1_1888__1_1_1_1_1 n168_a_wilde_1_1888__1_1_1_1_2 NP n168_a_wilde_1_1888__1_1_1_1->n168_a_wilde_1_1888__1_1_1_1_2 n168_a_wilde_1_1888__1_1_1_1_1->n168_a_wilde_1_1888__1_1_1_1_1_1 n168_a_wilde_1_1888__1_1_1_1_2_1 NPR n168_a_wilde_1_1888__1_1_1_1_2->n168_a_wilde_1_1888__1_1_1_1_2_1 n168_a_wilde_1_1888__1_1_1_1_2_1->n168_a_wilde_1_1888__1_1_1_1_2_1_1 n168_a_wilde_1_1888__1_1_1_2_1 D n168_a_wilde_1_1888__1_1_1_2->n168_a_wilde_1_1888__1_1_1_2_1 n168_a_wilde_1_1888__1_1_1_2_2 N n168_a_wilde_1_1888__1_1_1_2->n168_a_wilde_1_1888__1_1_1_2_2 n168_a_wilde_1_1888__1_1_1_2_1->n168_a_wilde_1_1888__1_1_1_2_1_1 n168_a_wilde_1_1888__1_1_1_2_2->n168_a_wilde_1_1888__1_1_1_2_2_1 n168_a_wilde_1_1888__1_1_1_3->n168_a_wilde_1_1888__1_1_1_3_1 n168_a_wilde_1_1888__1_1_1_4_1 ADJ n168_a_wilde_1_1888__1_1_1_4->n168_a_wilde_1_1888__1_1_1_4_1 n168_a_wilde_1_1888__1_1_1_4_2 PP n168_a_wilde_1_1888__1_1_1_4->n168_a_wilde_1_1888__1_1_1_4_2 n168_a_wilde_1_1888__1_1_1_4_1->n168_a_wilde_1_1888__1_1_1_4_1_1 n168_a_wilde_1_1888__1_1_1_4_2_1 P-ROLE n168_a_wilde_1_1888__1_1_1_4_2->n168_a_wilde_1_1888__1_1_1_4_2_1 n168_a_wilde_1_1888__1_1_1_4_2_2 NP n168_a_wilde_1_1888__1_1_1_4_2->n168_a_wilde_1_1888__1_1_1_4_2_2 n168_a_wilde_1_1888__1_1_1_4_2_1->n168_a_wilde_1_1888__1_1_1_4_2_1_1 n168_a_wilde_1_1888__1_1_1_4_2_2_1 D n168_a_wilde_1_1888__1_1_1_4_2_2->n168_a_wilde_1_1888__1_1_1_4_2_2_1 n168_a_wilde_1_1888__1_1_1_4_2_2_2 ADJP n168_a_wilde_1_1888__1_1_1_4_2_2->n168_a_wilde_1_1888__1_1_1_4_2_2_2 n168_a_wilde_1_1888__1_1_1_4_2_2_3 NS n168_a_wilde_1_1888__1_1_1_4_2_2->n168_a_wilde_1_1888__1_1_1_4_2_2_3 n168_a_wilde_1_1888__1_1_1_4_2_2_1->n168_a_wilde_1_1888__1_1_1_4_2_2_1_1 n168_a_wilde_1_1888__1_1_1_4_2_2_2_1 ADJ n168_a_wilde_1_1888__1_1_1_4_2_2_2->n168_a_wilde_1_1888__1_1_1_4_2_2_2_1 n168_a_wilde_1_1888__1_1_1_4_2_2_2_1->n168_a_wilde_1_1888__1_1_1_4_2_2_2_1_1 n168_a_wilde_1_1888__1_1_1_4_2_2_3->n168_a_wilde_1_1888__1_1_1_4_2_2_3_1 n168_a_wilde_1_1888__1_1_2->n168_a_wilde_1_1888__1_1_2_1 n168_a_wilde_1_1888__1_1_3_1 CONJ n168_a_wilde_1_1888__1_1_3->n168_a_wilde_1_1888__1_1_3_1 n168_a_wilde_1_1888__1_1_3_2 ILYR n168_a_wilde_1_1888__1_1_3->n168_a_wilde_1_1888__1_1_3_2 n168_a_wilde_1_1888__1_1_3_1->n168_a_wilde_1_1888__1_1_3_1_1 n168_a_wilde_1_1888__1_1_3_2_1 NP-SBJ n168_a_wilde_1_1888__1_1_3_2->n168_a_wilde_1_1888__1_1_3_2_1 n168_a_wilde_1_1888__1_1_3_2_2 ILYR n168_a_wilde_1_1888__1_1_3_2->n168_a_wilde_1_1888__1_1_3_2_2 n168_a_wilde_1_1888__1_1_3_2_1_1 D n168_a_wilde_1_1888__1_1_3_2_1->n168_a_wilde_1_1888__1_1_3_2_1_1 n168_a_wilde_1_1888__1_1_3_2_1_2 NS n168_a_wilde_1_1888__1_1_3_2_1->n168_a_wilde_1_1888__1_1_3_2_1_2 n168_a_wilde_1_1888__1_1_3_2_1_1->n168_a_wilde_1_1888__1_1_3_2_1_1_1 n168_a_wilde_1_1888__1_1_3_2_1_2->n168_a_wilde_1_1888__1_1_3_2_1_2_1 n168_a_wilde_1_1888__1_1_3_2_2_1 ILYR n168_a_wilde_1_1888__1_1_3_2_2->n168_a_wilde_1_1888__1_1_3_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2 CONJP n168_a_wilde_1_1888__1_1_3_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2 n168_a_wilde_1_1888__1_1_3_2_2_1_1 VBP;_I_ n168_a_wilde_1_1888__1_1_3_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2 PP-NIM n168_a_wilde_1_1888__1_1_3_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_1_2 n168_a_wilde_1_1888__1_1_3_2_2_1_1->n168_a_wilde_1_1888__1_1_3_2_2_1_1_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2_1 P-ROLE n168_a_wilde_1_1888__1_1_3_2_2_1_2->n168_a_wilde_1_1888__1_1_3_2_2_1_2_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2_2 NP n168_a_wilde_1_1888__1_1_3_2_2_1_2->n168_a_wilde_1_1888__1_1_3_2_2_1_2_2 n168_a_wilde_1_1888__1_1_3_2_2_1_2_1->n168_a_wilde_1_1888__1_1_3_2_2_1_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_1 D n168_a_wilde_1_1888__1_1_3_2_2_1_2_2->n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_2 N n168_a_wilde_1_1888__1_1_3_2_2_1_2_2->n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_2 n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_1_2_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2_1 CONJ n168_a_wilde_1_1888__1_1_3_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2 ILYR n168_a_wilde_1_1888__1_1_3_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2 n168_a_wilde_1_1888__1_1_3_2_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_1 VBP;_Ipr_ n168_a_wilde_1_1888__1_1_3_2_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_2 ADVP-NIM n168_a_wilde_1_1888__1_1_3_2_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2_2 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3 PP-CLR n168_a_wilde_1_1888__1_1_3_2_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3 n168_a_wilde_1_1888__1_1_3_2_2_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_2_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_2_1 ADV n168_a_wilde_1_1888__1_1_3_2_2_2_2_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_2_1->n168_a_wilde_1_1888__1_1_3_2_2_2_2_2_1_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_1 P-ROLE n168_a_wilde_1_1888__1_1_3_2_2_2_2_3->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2 NP n168_a_wilde_1_1888__1_1_3_2_2_2_2_3->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_1->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_1_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2_1 PRO n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2_1 n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2_1->n168_a_wilde_1_1888__1_1_3_2_2_2_2_3_2_1_1 n168_a_wilde_1_1888__1_2->n168_a_wilde_1_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-TPC-NIM (P-ROLE In;{in})
                                  (NP (NPR Egypt;{Egypt})))
                      (NP-SBJ (D the;{the})
                              (N sun;{sun}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ warm;{warm})
                                (PP (P-ROLE on;{on})
                                    (NP (D the;{the})
                                        (ADJP (ADJ green;{green}))
                                        (NS palm_<hyphen>_trees;{palm_trees})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{CROCS} (D the;{the})
                                             (NS crocodiles;{crocodile}))
                             (ILYR (ILYR (VBP;_I_ lie;{lie[in]})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (N mud;{mud}))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBP;_Ipr_ look;{look[about]})
                                                (ADVP-NIM (ADV lazily;{lazily}))
                                                (PP-CLR (P-ROLE about;{about})
                                                        (NP;{CROCS} (PRO them;{they})))))))))
          (PUNC .))
  (ID 168_a_wilde_1_1888))