Context                Previous, Next                Top


126_a_wilde_1_1888
When the moon rose he flew back to the Happy Prince.

%3 r_0126_0004__rose rose r_0126_0002__the_r_0126_0003__moon the moon r_0126_0004__rose->r_0126_0002__the_r_0126_0003__moon [arg0] z_000_126_a_wilde_1_1888_2 r_0126_0004__rose->z_000_126_a_wilde_1_1888_2 [nim] r_0126_0006__flew flew r_0126_0006__flew->z_000_126_a_wilde_1_1888_2 [nim] r_0126_0005__he he r_0126_0006__flew->r_0126_0005__he [arg0] r_0126_0007__back back r_0126_0006__flew->r_0126_0007__back [clr] r_0126_0009__the_r_0126_0011__Prince the Prince r_0126_0006__flew->r_0126_0009__the_r_0126_0011__Prince to [nim] r_0126_0010__Happy Happy r_0126_0009__the_r_0126_0011__Prince->r_0126_0010__Happy [attrib] 
arc(r_0126_0004__rose, r_0126_0002__the_r_0126_0003__moon, arg0).
arc(r_0126_0004__rose, z_000_126_a_wilde_1_1888_2, nim4).
arc(r_0126_0006__flew, r_0126_0005__he, arg0).
arc(r_0126_0006__flew, r_0126_0007__back, clr19).
arc(r_0126_0006__flew, r_0126_0009__the_r_0126_0011__Prince, r_0126_0008__to_nim25).
arc(r_0126_0006__flew, z_000_126_a_wilde_1_1888_2, nim2).
arc(r_0126_0009__the_r_0126_0011__Prince, r_0126_0010__Happy, attrib28).


%3 r_0126_0009__the_r_0126_0011__Prince the Prince r_0126_0010__Happy Happy r_0126_0009__the_r_0126_0011__Prince->r_0126_0010__Happy [attrib] r_0126_0006__flew flew r_0126_0006__flew->r_0126_0009__the_r_0126_0011__Prince to [nim] z_000_126_a_wilde_1_1888_2 r_0126_0006__flew->z_000_126_a_wilde_1_1888_2 [nim] r_0126_0007__back back r_0126_0006__flew->r_0126_0007__back [clr] r_0126_0005__he he r_0126_0006__flew->r_0126_0005__he [arg0] r_0126_0004__rose rose r_0126_0004__rose->z_000_126_a_wilde_1_1888_2 [nim] r_0126_0002__the_r_0126_0003__moon the moon r_0126_0004__rose->r_0126_0002__the_r_0126_0003__moon [arg0] 
fof(formula,axiom,
    ? [R_0126_0002__THE_R_0126_0003__MOON,Z_000_126_A_WILDE_1_1888_2,R_0126_0004__ROSE,R_0126_0005__HE,R_0126_0007__BACK,R_0126_0010__HAPPY,R_0126_0009__THE_R_0126_0011__PRINCE,R_0126_0006__FLEW] :
      ( r_0126_0002__the_r_0126_0003__moon(R_0126_0002__THE_R_0126_0003__MOON)
      & r_0126_0005__he(R_0126_0005__HE)
      & r_0126_0007__back(R_0126_0007__BACK)
      & r_0126_0010__Happy(R_0126_0010__HAPPY)
      & z_000_126_a_wilde_1_1888_2(Z_000_126_A_WILDE_1_1888_2)
      & r_0126_0006__flew(R_0126_0006__FLEW)
      & has_nim2(R_0126_0006__FLEW,Z_000_126_A_WILDE_1_1888_2)
      & has_r_0126_0008__to_nim25(R_0126_0006__FLEW,R_0126_0009__THE_R_0126_0011__PRINCE)
      & r_0126_0009__the_r_0126_0011__Prince(R_0126_0009__THE_R_0126_0011__PRINCE)
      & has_attrib28(R_0126_0009__THE_R_0126_0011__PRINCE,R_0126_0010__HAPPY)
      & has_clr19(R_0126_0006__FLEW,R_0126_0007__BACK)
      & has_arg0(R_0126_0006__FLEW,R_0126_0005__HE)
      & r_0126_0004__rose(R_0126_0004__ROSE)
      & has_nim4(R_0126_0004__ROSE,Z_000_126_A_WILDE_1_1888_2)
      & has_arg0(R_0126_0004__ROSE,R_0126_0002__THE_R_0126_0003__MOON) ) ).


n126_a_wilde_1_1888 n126_a_wilde_1_1888__1_1_1_1_1_1 When n126_a_wilde_1_1888__1_1_1_2_1_1 the n126_a_wilde_1_1888__1_1_1_2_2_1 moon n126_a_wilde_1_1888__1_1_1_3_1 rose n126_a_wilde_1_1888__1_2_1_1 he n126_a_wilde_1_1888__1_3_1 flew n126_a_wilde_1_1888__1_4_1_1 back n126_a_wilde_1_1888__1_5_1_1 to n126_a_wilde_1_1888__1_5_2_1_1 the n126_a_wilde_1_1888__1_5_2_2_1_1 Happy n126_a_wilde_1_1888__1_5_2_3_1 Prince n126_a_wilde_1_1888__1_6_1 . n126_a_wilde_1_1888__1 IP-MAT n126_a_wilde_1_1888__1_1 NP-NIM n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_1 n126_a_wilde_1_1888__1_2 NP-SBJ n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_2 n126_a_wilde_1_1888__1_3 VBD;_Ip_ n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_3 n126_a_wilde_1_1888__1_4 ADVP-CLR n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_4 n126_a_wilde_1_1888__1_5 PP-NIM n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_5 n126_a_wilde_1_1888__1_6 PUNC n126_a_wilde_1_1888__1->n126_a_wilde_1_1888__1_6 n126_a_wilde_1_1888__1_1_1 IP-REL n126_a_wilde_1_1888__1_1->n126_a_wilde_1_1888__1_1_1 n126_a_wilde_1_1888__1_1_1_1 ADVP-NIM n126_a_wilde_1_1888__1_1_1->n126_a_wilde_1_1888__1_1_1_1 n126_a_wilde_1_1888__1_1_1_2 NP-SBJ n126_a_wilde_1_1888__1_1_1->n126_a_wilde_1_1888__1_1_1_2 n126_a_wilde_1_1888__1_1_1_3 VBD;_I_ n126_a_wilde_1_1888__1_1_1->n126_a_wilde_1_1888__1_1_1_3 n126_a_wilde_1_1888__1_1_1_1_1 RADV n126_a_wilde_1_1888__1_1_1_1->n126_a_wilde_1_1888__1_1_1_1_1 n126_a_wilde_1_1888__1_1_1_1_1->n126_a_wilde_1_1888__1_1_1_1_1_1 n126_a_wilde_1_1888__1_1_1_2_1 D n126_a_wilde_1_1888__1_1_1_2->n126_a_wilde_1_1888__1_1_1_2_1 n126_a_wilde_1_1888__1_1_1_2_2 N n126_a_wilde_1_1888__1_1_1_2->n126_a_wilde_1_1888__1_1_1_2_2 n126_a_wilde_1_1888__1_1_1_2_1->n126_a_wilde_1_1888__1_1_1_2_1_1 n126_a_wilde_1_1888__1_1_1_2_2->n126_a_wilde_1_1888__1_1_1_2_2_1 n126_a_wilde_1_1888__1_1_1_3->n126_a_wilde_1_1888__1_1_1_3_1 n126_a_wilde_1_1888__1_2_1 PRO n126_a_wilde_1_1888__1_2->n126_a_wilde_1_1888__1_2_1 n126_a_wilde_1_1888__1_2_1->n126_a_wilde_1_1888__1_2_1_1 n126_a_wilde_1_1888__1_3->n126_a_wilde_1_1888__1_3_1 n126_a_wilde_1_1888__1_4_1 RP n126_a_wilde_1_1888__1_4->n126_a_wilde_1_1888__1_4_1 n126_a_wilde_1_1888__1_4_1->n126_a_wilde_1_1888__1_4_1_1 n126_a_wilde_1_1888__1_5_1 P-ROLE n126_a_wilde_1_1888__1_5->n126_a_wilde_1_1888__1_5_1 n126_a_wilde_1_1888__1_5_2 NP n126_a_wilde_1_1888__1_5->n126_a_wilde_1_1888__1_5_2 n126_a_wilde_1_1888__1_5_1->n126_a_wilde_1_1888__1_5_1_1 n126_a_wilde_1_1888__1_5_2_1 D n126_a_wilde_1_1888__1_5_2->n126_a_wilde_1_1888__1_5_2_1 n126_a_wilde_1_1888__1_5_2_2 ADJP n126_a_wilde_1_1888__1_5_2->n126_a_wilde_1_1888__1_5_2_2 n126_a_wilde_1_1888__1_5_2_3 N n126_a_wilde_1_1888__1_5_2->n126_a_wilde_1_1888__1_5_2_3 n126_a_wilde_1_1888__1_5_2_1->n126_a_wilde_1_1888__1_5_2_1_1 n126_a_wilde_1_1888__1_5_2_2_1 ADJ n126_a_wilde_1_1888__1_5_2_2->n126_a_wilde_1_1888__1_5_2_2_1 n126_a_wilde_1_1888__1_5_2_2_1->n126_a_wilde_1_1888__1_5_2_2_1_1 n126_a_wilde_1_1888__1_5_2_3->n126_a_wilde_1_1888__1_5_2_3_1 n126_a_wilde_1_1888__1_6->n126_a_wilde_1_1888__1_6_1 
( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (D the;{the})
                                  (N moon;{moon}))
                          (VBD;_I_ rose;{rise})))
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_Ip_ flew;{fly[back]})
          (ADVP-CLR (RP back;{back}))
          (PP-NIM (P-ROLE to;{to})
                  (NP;{PRINCE} (D the;{the})
                               (ADJP (ADJ Happy;{happy}))
                               (N Prince;{prince})))
          (PUNC .))
  (ID 126_a_wilde_1_1888))