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_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] 
fof(formula,axiom,
    ? [R_126_4_ROSE,R_126_2_THE_MOON,R_126_6_FLEW,R_126_5_HE,R_126_7_BACK,Z_126_A_WILDE_1_1888_2,R_126_9_THE_PRINCE,R_126_10_HAPPY] :
      ( the_moon(R_126_2_THE_MOON)
      & he(R_126_5_HE)
      & back(R_126_7_BACK)
      & happy(R_126_10_HAPPY)
      & rose(R_126_4_ROSE,R_126_2_THE_MOON)
      & nim4(R_126_4_ROSE,Z_126_A_WILDE_1_1888_2)
      & flew(R_126_6_FLEW,R_126_5_HE)
      & clr19(R_126_6_FLEW,R_126_7_BACK)
      & nim2(R_126_6_FLEW,Z_126_A_WILDE_1_1888_2)
      & to_nim25(R_126_6_FLEW,R_126_9_THE_PRINCE)
      & the_Prince(R_126_9_THE_PRINCE)
      & attrib28(R_126_9_THE_PRINCE,R_126_10_HAPPY) ) ).


n126_a_wilde_1_1888 n126_a_wilde_1_1888_6 When n126_a_wilde_1_1888_9 the n126_a_wilde_1_1888_11 moon n126_a_wilde_1_1888_13 rose n126_a_wilde_1_1888_16 he n126_a_wilde_1_1888_18 flew n126_a_wilde_1_1888_21 back n126_a_wilde_1_1888_24 to n126_a_wilde_1_1888_27 the n126_a_wilde_1_1888_30 Happy n126_a_wilde_1_1888_32 Prince n126_a_wilde_1_1888_34 . n126_a_wilde_1_1888_1 IP-MAT n126_a_wilde_1_1888_2 NP-NIM n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_2 n126_a_wilde_1_1888_14 NP-SBJ n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_14 n126_a_wilde_1_1888_17 VBD;_Ip_ n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_17 n126_a_wilde_1_1888_19 ADVP-CLR n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_19 n126_a_wilde_1_1888_22 PP-NIM n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_22 n126_a_wilde_1_1888_33 PUNC n126_a_wilde_1_1888_1->n126_a_wilde_1_1888_33 n126_a_wilde_1_1888_3 IP-REL n126_a_wilde_1_1888_2->n126_a_wilde_1_1888_3 n126_a_wilde_1_1888_4 ADVP-NIM n126_a_wilde_1_1888_3->n126_a_wilde_1_1888_4 n126_a_wilde_1_1888_7 NP-SBJ n126_a_wilde_1_1888_3->n126_a_wilde_1_1888_7 n126_a_wilde_1_1888_12 VBD;_I_ n126_a_wilde_1_1888_3->n126_a_wilde_1_1888_12 n126_a_wilde_1_1888_5 RADV n126_a_wilde_1_1888_4->n126_a_wilde_1_1888_5 n126_a_wilde_1_1888_5->n126_a_wilde_1_1888_6 n126_a_wilde_1_1888_8 D n126_a_wilde_1_1888_7->n126_a_wilde_1_1888_8 n126_a_wilde_1_1888_10 N n126_a_wilde_1_1888_7->n126_a_wilde_1_1888_10 n126_a_wilde_1_1888_8->n126_a_wilde_1_1888_9 n126_a_wilde_1_1888_10->n126_a_wilde_1_1888_11 n126_a_wilde_1_1888_12->n126_a_wilde_1_1888_13 n126_a_wilde_1_1888_15 PRO n126_a_wilde_1_1888_14->n126_a_wilde_1_1888_15 n126_a_wilde_1_1888_15->n126_a_wilde_1_1888_16 n126_a_wilde_1_1888_17->n126_a_wilde_1_1888_18 n126_a_wilde_1_1888_20 RP n126_a_wilde_1_1888_19->n126_a_wilde_1_1888_20 n126_a_wilde_1_1888_20->n126_a_wilde_1_1888_21 n126_a_wilde_1_1888_23 P-ROLE n126_a_wilde_1_1888_22->n126_a_wilde_1_1888_23 n126_a_wilde_1_1888_25 NP n126_a_wilde_1_1888_22->n126_a_wilde_1_1888_25 n126_a_wilde_1_1888_23->n126_a_wilde_1_1888_24 n126_a_wilde_1_1888_26 D n126_a_wilde_1_1888_25->n126_a_wilde_1_1888_26 n126_a_wilde_1_1888_28 ADJP n126_a_wilde_1_1888_25->n126_a_wilde_1_1888_28 n126_a_wilde_1_1888_31 N n126_a_wilde_1_1888_25->n126_a_wilde_1_1888_31 n126_a_wilde_1_1888_26->n126_a_wilde_1_1888_27 n126_a_wilde_1_1888_29 ADJ n126_a_wilde_1_1888_28->n126_a_wilde_1_1888_29 n126_a_wilde_1_1888_29->n126_a_wilde_1_1888_30 n126_a_wilde_1_1888_31->n126_a_wilde_1_1888_32 n126_a_wilde_1_1888_33->n126_a_wilde_1_1888_34 
( (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))