Context                Previous, Next                Top


163_a_wilde_1_1888
but nobody minded, and when the moon rose he flew back to the Happy Prince.

%3 r_0163_0002__nobody_quant nobody [quant] r_0163_0003__minded minded r_0163_0002__nobody_quant->r_0163_0003__minded [scope] z_000_163_a_wilde_1_1888_6 r_0163_0002__nobody_quant->z_000_163_a_wilde_1_1888_6 [restriction] r_0163_0003__minded->z_000_163_a_wilde_1_1888_6 [arg0] r_0163_0005__and and r_0163_0005__and->r_0163_0002__nobody_quant [conj1] r_0163_0006__when when r_0163_0005__and->r_0163_0006__when [conj2] r_0163_0009__rose rose r_0163_0006__when->r_0163_0009__rose [restriction] r_0163_0011__flew flew r_0163_0006__when->r_0163_0011__flew [scope] r_0163_0007__the_r_0163_0008__moon the moon r_0163_0009__rose->r_0163_0007__the_r_0163_0008__moon [arg0] r_0163_0010__he he r_0163_0011__flew->r_0163_0010__he [arg0] r_0163_0012__back back r_0163_0011__flew->r_0163_0012__back [nim] r_0163_0014__the_r_0163_0016__Prince the Prince r_0163_0011__flew->r_0163_0014__the_r_0163_0016__Prince to [nim] r_0163_0015__Happy Happy r_0163_0014__the_r_0163_0016__Prince->r_0163_0015__Happy [attrib] 
arc(r_0163_0002__nobody_quant, r_0163_0003__minded, scope).
arc(r_0163_0002__nobody_quant, z_000_163_a_wilde_1_1888_6, restriction).
arc(r_0163_0003__minded, z_000_163_a_wilde_1_1888_6, arg0).
arc(r_0163_0005__and, r_0163_0002__nobody_quant, conj1).
arc(r_0163_0005__and, r_0163_0006__when, conj2).
arc(r_0163_0006__when, r_0163_0009__rose, restriction).
arc(r_0163_0006__when, r_0163_0011__flew, scope).
arc(r_0163_0009__rose, r_0163_0007__the_r_0163_0008__moon, arg0).
arc(r_0163_0011__flew, r_0163_0010__he, arg0).
arc(r_0163_0011__flew, r_0163_0012__back, nim33).
arc(r_0163_0011__flew, r_0163_0014__the_r_0163_0016__Prince, r_0163_0013__to_nim39).
arc(r_0163_0014__the_r_0163_0016__Prince, r_0163_0015__Happy, attrib42).


%3 r_0163_0014__the_r_0163_0016__Prince the Prince r_0163_0015__Happy Happy r_0163_0014__the_r_0163_0016__Prince->r_0163_0015__Happy [attrib] r_0163_0011__flew flew r_0163_0011__flew->r_0163_0014__the_r_0163_0016__Prince to [nim] r_0163_0012__back back r_0163_0011__flew->r_0163_0012__back [nim] r_0163_0010__he he r_0163_0011__flew->r_0163_0010__he [arg0] r_0163_0009__rose rose r_0163_0007__the_r_0163_0008__moon the moon r_0163_0009__rose->r_0163_0007__the_r_0163_0008__moon [arg0] r_0163_0006__when when r_0163_0006__when->r_0163_0011__flew [scope] r_0163_0006__when->r_0163_0009__rose [restriction] r_0163_0005__and and r_0163_0005__and->r_0163_0006__when [conj2] r_0163_0002__nobody_quant nobody [quant] r_0163_0005__and->r_0163_0002__nobody_quant [conj1] r_0163_0003__minded minded r_0163_0002__nobody_quant->r_0163_0003__minded [scope] z_000_163_a_wilde_1_1888_6 r_0163_0002__nobody_quant->z_000_163_a_wilde_1_1888_6 [restriction] r_0163_0003__minded->z_000_163_a_wilde_1_1888_6 [arg0] 
fof(formula,axiom,
    ? [R_163_5_AND] :
      ( ! [R_163_9_ROSE,R_163_7_THE_MOON] :
          ( ( the_moon(R_163_7_THE_MOON)
            & rose(R_163_9_ROSE,R_163_7_THE_MOON) )
         => ? [R_163_11_FLEW,R_163_10_HE,R_163_12_BACK,R_163_14_THE_PRINCE,R_163_15_HAPPY] :
              ( he(R_163_10_HE)
              & back(R_163_12_BACK)
              & happy(R_163_15_HAPPY)
              & flew(R_163_11_FLEW,R_163_10_HE)
              & nim33(R_163_11_FLEW,R_163_12_BACK)
              & to_nim39(R_163_11_FLEW,R_163_14_THE_PRINCE)
              & the_Prince(R_163_14_THE_PRINCE)
              & attrib42(R_163_14_THE_PRINCE,R_163_15_HAPPY) ) )
      & conj2(CONJ2)
      & ! [Z_163_A_WILDE_1_1888_6] :
          ( true
         => ? [R_163_3_MINDED] : minded(R_163_3_MINDED,Z_163_A_WILDE_1_1888_6) )
      & conj1(CONJ1)
      & and(R_163_5_AND) ) ).


n163_a_wilde_1_1888 n163_a_wilde_1_1888__1_1_1 but n163_a_wilde_1_1888__1_2_1_1_1_1 nobody n163_a_wilde_1_1888__1_2_1_2_1 minded n163_a_wilde_1_1888__1_2_2_1 , n163_a_wilde_1_1888__1_2_3_1_1 and n163_a_wilde_1_1888__1_2_3_2_1_1_1 when n163_a_wilde_1_1888__1_2_3_2_1_2_1_1_1 the n163_a_wilde_1_1888__1_2_3_2_1_2_1_2_1 moon n163_a_wilde_1_1888__1_2_3_2_1_2_2_1 rose n163_a_wilde_1_1888__1_2_3_2_2_1_1 he n163_a_wilde_1_1888__1_2_3_2_3_1 flew n163_a_wilde_1_1888__1_2_3_2_4_1_1 back n163_a_wilde_1_1888__1_2_3_2_5_1_1 to n163_a_wilde_1_1888__1_2_3_2_5_2_1_1 the n163_a_wilde_1_1888__1_2_3_2_5_2_2_1_1 Happy n163_a_wilde_1_1888__1_2_3_2_5_2_3_1 Prince n163_a_wilde_1_1888__1_3_1 . n163_a_wilde_1_1888__1 IP-MAT n163_a_wilde_1_1888__1_1 CONJ;_cl_ n163_a_wilde_1_1888__1->n163_a_wilde_1_1888__1_1 n163_a_wilde_1_1888__1_2 ILYR n163_a_wilde_1_1888__1->n163_a_wilde_1_1888__1_2 n163_a_wilde_1_1888__1_3 PUNC n163_a_wilde_1_1888__1->n163_a_wilde_1_1888__1_3 n163_a_wilde_1_1888__1_1->n163_a_wilde_1_1888__1_1_1 n163_a_wilde_1_1888__1_2_1 ILYR n163_a_wilde_1_1888__1_2->n163_a_wilde_1_1888__1_2_1 n163_a_wilde_1_1888__1_2_2 PUNC n163_a_wilde_1_1888__1_2->n163_a_wilde_1_1888__1_2_2 n163_a_wilde_1_1888__1_2_3 CONJP n163_a_wilde_1_1888__1_2->n163_a_wilde_1_1888__1_2_3 n163_a_wilde_1_1888__1_2_1_1 NP-SBJ n163_a_wilde_1_1888__1_2_1->n163_a_wilde_1_1888__1_2_1_1 n163_a_wilde_1_1888__1_2_1_2 VBD;_I_ n163_a_wilde_1_1888__1_2_1->n163_a_wilde_1_1888__1_2_1_2 n163_a_wilde_1_1888__1_2_1_1_1 Q;_nphd_ n163_a_wilde_1_1888__1_2_1_1->n163_a_wilde_1_1888__1_2_1_1_1 n163_a_wilde_1_1888__1_2_1_1_1->n163_a_wilde_1_1888__1_2_1_1_1_1 n163_a_wilde_1_1888__1_2_1_2->n163_a_wilde_1_1888__1_2_1_2_1 n163_a_wilde_1_1888__1_2_2->n163_a_wilde_1_1888__1_2_2_1 n163_a_wilde_1_1888__1_2_3_1 CONJ n163_a_wilde_1_1888__1_2_3->n163_a_wilde_1_1888__1_2_3_1 n163_a_wilde_1_1888__1_2_3_2 ILYR n163_a_wilde_1_1888__1_2_3->n163_a_wilde_1_1888__1_2_3_2 n163_a_wilde_1_1888__1_2_3_1->n163_a_wilde_1_1888__1_2_3_1_1 n163_a_wilde_1_1888__1_2_3_2_1 PP-SCON n163_a_wilde_1_1888__1_2_3_2->n163_a_wilde_1_1888__1_2_3_2_1 n163_a_wilde_1_1888__1_2_3_2_2 NP-SBJ n163_a_wilde_1_1888__1_2_3_2->n163_a_wilde_1_1888__1_2_3_2_2 n163_a_wilde_1_1888__1_2_3_2_3 VBD;_Ip_ n163_a_wilde_1_1888__1_2_3_2->n163_a_wilde_1_1888__1_2_3_2_3 n163_a_wilde_1_1888__1_2_3_2_4 ADVP-NIM n163_a_wilde_1_1888__1_2_3_2->n163_a_wilde_1_1888__1_2_3_2_4 n163_a_wilde_1_1888__1_2_3_2_5 PP-NIM n163_a_wilde_1_1888__1_2_3_2->n163_a_wilde_1_1888__1_2_3_2_5 n163_a_wilde_1_1888__1_2_3_2_1_1 P-CONN n163_a_wilde_1_1888__1_2_3_2_1->n163_a_wilde_1_1888__1_2_3_2_1_1 n163_a_wilde_1_1888__1_2_3_2_1_2 IP-ADV n163_a_wilde_1_1888__1_2_3_2_1->n163_a_wilde_1_1888__1_2_3_2_1_2 n163_a_wilde_1_1888__1_2_3_2_1_1->n163_a_wilde_1_1888__1_2_3_2_1_1_1 n163_a_wilde_1_1888__1_2_3_2_1_2_1 NP-SBJ n163_a_wilde_1_1888__1_2_3_2_1_2->n163_a_wilde_1_1888__1_2_3_2_1_2_1 n163_a_wilde_1_1888__1_2_3_2_1_2_2 VBD;_I_ n163_a_wilde_1_1888__1_2_3_2_1_2->n163_a_wilde_1_1888__1_2_3_2_1_2_2 n163_a_wilde_1_1888__1_2_3_2_1_2_1_1 D n163_a_wilde_1_1888__1_2_3_2_1_2_1->n163_a_wilde_1_1888__1_2_3_2_1_2_1_1 n163_a_wilde_1_1888__1_2_3_2_1_2_1_2 N n163_a_wilde_1_1888__1_2_3_2_1_2_1->n163_a_wilde_1_1888__1_2_3_2_1_2_1_2 n163_a_wilde_1_1888__1_2_3_2_1_2_1_1->n163_a_wilde_1_1888__1_2_3_2_1_2_1_1_1 n163_a_wilde_1_1888__1_2_3_2_1_2_1_2->n163_a_wilde_1_1888__1_2_3_2_1_2_1_2_1 n163_a_wilde_1_1888__1_2_3_2_1_2_2->n163_a_wilde_1_1888__1_2_3_2_1_2_2_1 n163_a_wilde_1_1888__1_2_3_2_2_1 PRO n163_a_wilde_1_1888__1_2_3_2_2->n163_a_wilde_1_1888__1_2_3_2_2_1 n163_a_wilde_1_1888__1_2_3_2_2_1->n163_a_wilde_1_1888__1_2_3_2_2_1_1 n163_a_wilde_1_1888__1_2_3_2_3->n163_a_wilde_1_1888__1_2_3_2_3_1 n163_a_wilde_1_1888__1_2_3_2_4_1 RP n163_a_wilde_1_1888__1_2_3_2_4->n163_a_wilde_1_1888__1_2_3_2_4_1 n163_a_wilde_1_1888__1_2_3_2_4_1->n163_a_wilde_1_1888__1_2_3_2_4_1_1 n163_a_wilde_1_1888__1_2_3_2_5_1 P-ROLE n163_a_wilde_1_1888__1_2_3_2_5->n163_a_wilde_1_1888__1_2_3_2_5_1 n163_a_wilde_1_1888__1_2_3_2_5_2 NP n163_a_wilde_1_1888__1_2_3_2_5->n163_a_wilde_1_1888__1_2_3_2_5_2 n163_a_wilde_1_1888__1_2_3_2_5_1->n163_a_wilde_1_1888__1_2_3_2_5_1_1 n163_a_wilde_1_1888__1_2_3_2_5_2_1 D n163_a_wilde_1_1888__1_2_3_2_5_2->n163_a_wilde_1_1888__1_2_3_2_5_2_1 n163_a_wilde_1_1888__1_2_3_2_5_2_2 ADJP n163_a_wilde_1_1888__1_2_3_2_5_2->n163_a_wilde_1_1888__1_2_3_2_5_2_2 n163_a_wilde_1_1888__1_2_3_2_5_2_3 N n163_a_wilde_1_1888__1_2_3_2_5_2->n163_a_wilde_1_1888__1_2_3_2_5_2_3 n163_a_wilde_1_1888__1_2_3_2_5_2_1->n163_a_wilde_1_1888__1_2_3_2_5_2_1_1 n163_a_wilde_1_1888__1_2_3_2_5_2_2_1 ADJ n163_a_wilde_1_1888__1_2_3_2_5_2_2->n163_a_wilde_1_1888__1_2_3_2_5_2_2_1 n163_a_wilde_1_1888__1_2_3_2_5_2_2_1->n163_a_wilde_1_1888__1_2_3_2_5_2_2_1_1 n163_a_wilde_1_1888__1_2_3_2_5_2_3->n163_a_wilde_1_1888__1_2_3_2_5_2_3_1 n163_a_wilde_1_1888__1_3->n163_a_wilde_1_1888__1_3_1 
( (IP-MAT (CONJ;_cl_ but;{but})
          (ILYR (ILYR (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                      (VBD;_I_ minded;{mind}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N moon;{moon}))
                                              (VBD;_I_ rose;{rise})))
                             (NP-SBJ;{SWALLOW} (PRO he;{he}))
                             (VBD;_Ip_ flew;{fly[back]})
                             (ADVP-NIM (RP back;{back}))
                             (PP-NIM (P-ROLE to;{to})
                                     (NP;{PRINCE} (D the;{the})
                                                  (ADJP (ADJ Happy;{happy}))
                                                  (N Prince;{prince}))))))
          (PUNC .))
  (ID 163_a_wilde_1_1888))