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_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] 
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_3 but n163_a_wilde_1_1888_8 nobody n163_a_wilde_1_1888_10 minded n163_a_wilde_1_1888_12 , n163_a_wilde_1_1888_15 and n163_a_wilde_1_1888_19 when n163_a_wilde_1_1888_23 the n163_a_wilde_1_1888_25 moon n163_a_wilde_1_1888_27 rose n163_a_wilde_1_1888_30 he n163_a_wilde_1_1888_32 flew n163_a_wilde_1_1888_35 back n163_a_wilde_1_1888_38 to n163_a_wilde_1_1888_41 the n163_a_wilde_1_1888_44 Happy n163_a_wilde_1_1888_46 Prince n163_a_wilde_1_1888_48 . n163_a_wilde_1_1888_1 IP-MAT n163_a_wilde_1_1888_2 CONJ;_cl_ n163_a_wilde_1_1888_1->n163_a_wilde_1_1888_2 n163_a_wilde_1_1888_4 ILYR n163_a_wilde_1_1888_1->n163_a_wilde_1_1888_4 n163_a_wilde_1_1888_47 PUNC n163_a_wilde_1_1888_1->n163_a_wilde_1_1888_47 n163_a_wilde_1_1888_2->n163_a_wilde_1_1888_3 n163_a_wilde_1_1888_5 ILYR n163_a_wilde_1_1888_4->n163_a_wilde_1_1888_5 n163_a_wilde_1_1888_11 PUNC n163_a_wilde_1_1888_4->n163_a_wilde_1_1888_11 n163_a_wilde_1_1888_13 CONJP n163_a_wilde_1_1888_4->n163_a_wilde_1_1888_13 n163_a_wilde_1_1888_6 NP-SBJ n163_a_wilde_1_1888_5->n163_a_wilde_1_1888_6 n163_a_wilde_1_1888_9 VBD;_I_ n163_a_wilde_1_1888_5->n163_a_wilde_1_1888_9 n163_a_wilde_1_1888_7 Q;_nphd_ n163_a_wilde_1_1888_6->n163_a_wilde_1_1888_7 n163_a_wilde_1_1888_7->n163_a_wilde_1_1888_8 n163_a_wilde_1_1888_9->n163_a_wilde_1_1888_10 n163_a_wilde_1_1888_11->n163_a_wilde_1_1888_12 n163_a_wilde_1_1888_14 CONJ n163_a_wilde_1_1888_13->n163_a_wilde_1_1888_14 n163_a_wilde_1_1888_16 ILYR n163_a_wilde_1_1888_13->n163_a_wilde_1_1888_16 n163_a_wilde_1_1888_14->n163_a_wilde_1_1888_15 n163_a_wilde_1_1888_17 PP-SCON n163_a_wilde_1_1888_16->n163_a_wilde_1_1888_17 n163_a_wilde_1_1888_28 NP-SBJ n163_a_wilde_1_1888_16->n163_a_wilde_1_1888_28 n163_a_wilde_1_1888_31 VBD;_Ip_ n163_a_wilde_1_1888_16->n163_a_wilde_1_1888_31 n163_a_wilde_1_1888_33 ADVP-NIM n163_a_wilde_1_1888_16->n163_a_wilde_1_1888_33 n163_a_wilde_1_1888_36 PP-NIM n163_a_wilde_1_1888_16->n163_a_wilde_1_1888_36 n163_a_wilde_1_1888_18 P-CONN n163_a_wilde_1_1888_17->n163_a_wilde_1_1888_18 n163_a_wilde_1_1888_20 IP-ADV n163_a_wilde_1_1888_17->n163_a_wilde_1_1888_20 n163_a_wilde_1_1888_18->n163_a_wilde_1_1888_19 n163_a_wilde_1_1888_21 NP-SBJ n163_a_wilde_1_1888_20->n163_a_wilde_1_1888_21 n163_a_wilde_1_1888_26 VBD;_I_ n163_a_wilde_1_1888_20->n163_a_wilde_1_1888_26 n163_a_wilde_1_1888_22 D n163_a_wilde_1_1888_21->n163_a_wilde_1_1888_22 n163_a_wilde_1_1888_24 N n163_a_wilde_1_1888_21->n163_a_wilde_1_1888_24 n163_a_wilde_1_1888_22->n163_a_wilde_1_1888_23 n163_a_wilde_1_1888_24->n163_a_wilde_1_1888_25 n163_a_wilde_1_1888_26->n163_a_wilde_1_1888_27 n163_a_wilde_1_1888_29 PRO n163_a_wilde_1_1888_28->n163_a_wilde_1_1888_29 n163_a_wilde_1_1888_29->n163_a_wilde_1_1888_30 n163_a_wilde_1_1888_31->n163_a_wilde_1_1888_32 n163_a_wilde_1_1888_34 RP n163_a_wilde_1_1888_33->n163_a_wilde_1_1888_34 n163_a_wilde_1_1888_34->n163_a_wilde_1_1888_35 n163_a_wilde_1_1888_37 P-ROLE n163_a_wilde_1_1888_36->n163_a_wilde_1_1888_37 n163_a_wilde_1_1888_39 NP n163_a_wilde_1_1888_36->n163_a_wilde_1_1888_39 n163_a_wilde_1_1888_37->n163_a_wilde_1_1888_38 n163_a_wilde_1_1888_40 D n163_a_wilde_1_1888_39->n163_a_wilde_1_1888_40 n163_a_wilde_1_1888_42 ADJP n163_a_wilde_1_1888_39->n163_a_wilde_1_1888_42 n163_a_wilde_1_1888_45 N n163_a_wilde_1_1888_39->n163_a_wilde_1_1888_45 n163_a_wilde_1_1888_40->n163_a_wilde_1_1888_41 n163_a_wilde_1_1888_43 ADJ n163_a_wilde_1_1888_42->n163_a_wilde_1_1888_43 n163_a_wilde_1_1888_43->n163_a_wilde_1_1888_44 n163_a_wilde_1_1888_45->n163_a_wilde_1_1888_46 n163_a_wilde_1_1888_47->n163_a_wilde_1_1888_48 
( (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))