Context                Previous, Next                Top


73_a_wilde_1_1888
His mother has nothing to give him but river water, so he is crying.

%3 r_0073_0002__mother mother r_0073_0001__His His r_0073_0002__mother->r_0073_0001__His [gen] r_0073_0003__has has r_0073_0003__has->r_0073_0002__mother [arg0] r_0073_0008__but but r_0073_0003__has->r_0073_0008__but [arg1] z_000_73_a_wilde_1_1888_14 r_0073_0008__but->z_000_73_a_wilde_1_1888_14 [conj1] r_0073_0009__river_r_0073_0010__water river water r_0073_0008__but->r_0073_0009__river_r_0073_0010__water [conj2] r_0073_0004__nothing_quant nothing [quant] r_0073_0004__nothing_quant->r_0073_0008__but [scope] r_0073_0004__nothing_quant->z_000_73_a_wilde_1_1888_14 [restriction] r_0073_0005__to_r_0073_0006__give to give r_0073_0005__to_r_0073_0006__give->z_000_73_a_wilde_1_1888_14 [arg1] r_0073_0007__him him r_0073_0005__to_r_0073_0006__give->r_0073_0007__him [arg2] z_000_73_a_wilde_1_1888_17 r_0073_0005__to_r_0073_0006__give->z_000_73_a_wilde_1_1888_17 [arg0] r_0073_0014__is is r_0073_0012__so so r_0073_0014__is->r_0073_0012__so [nim] r_0073_0015__crying crying r_0073_0014__is->r_0073_0015__crying [scope] r_0073_0013__he he r_0073_0015__crying->r_0073_0013__he [arg0] z_000_73_a_wilde_1_1888_2 z_000_73_a_wilde_1_1888_2->r_0073_0003__has [conj1] z_000_73_a_wilde_1_1888_2->r_0073_0014__is [conj2] 
arc(r_0073_0002__mother, r_0073_0001__His, gen).
arc(r_0073_0003__has, r_0073_0002__mother, arg0).
arc(r_0073_0003__has, r_0073_0008__but, arg1).
arc(r_0073_0004__nothing_quant, r_0073_0008__but, scope).
arc(r_0073_0004__nothing_quant, z_000_73_a_wilde_1_1888_14, restriction).
arc(r_0073_0005__to_r_0073_0006__give, r_0073_0007__him, arg2).
arc(r_0073_0005__to_r_0073_0006__give, z_000_73_a_wilde_1_1888_14, arg1).
arc(r_0073_0005__to_r_0073_0006__give, z_000_73_a_wilde_1_1888_17, arg0).
arc(r_0073_0008__but, r_0073_0009__river_r_0073_0010__water, conj2).
arc(r_0073_0008__but, z_000_73_a_wilde_1_1888_14, conj1).
arc(r_0073_0014__is, r_0073_0012__so, nim39).
arc(r_0073_0014__is, r_0073_0015__crying, scope).
arc(r_0073_0015__crying, r_0073_0013__he, arg0).
arc(z_000_73_a_wilde_1_1888_2, r_0073_0003__has, conj1).
arc(z_000_73_a_wilde_1_1888_2, r_0073_0014__is, conj2).


%3 r_0073_0002__mother mother r_0073_0001__His His r_0073_0002__mother->r_0073_0001__His [gen] r_0073_0003__has has r_0073_0003__has->r_0073_0002__mother [arg0] r_0073_0008__but but r_0073_0003__has->r_0073_0008__but [arg1] z_000_73_a_wilde_1_1888_14 r_0073_0008__but->z_000_73_a_wilde_1_1888_14 [conj1] r_0073_0009__river_r_0073_0010__water river water r_0073_0008__but->r_0073_0009__river_r_0073_0010__water [conj2] r_0073_0004__nothing_quant nothing [quant] r_0073_0004__nothing_quant->r_0073_0003__has [scope] r_0073_0005__to_r_0073_0006__give to give r_0073_0004__nothing_quant->r_0073_0005__to_r_0073_0006__give [restriction] r_0073_0007__him him r_0073_0005__to_r_0073_0006__give->r_0073_0007__him [arg2] r_0073_0005__to_r_0073_0006__give->z_000_73_a_wilde_1_1888_14 [arg1] z_000_73_a_wilde_1_1888_17 r_0073_0005__to_r_0073_0006__give->z_000_73_a_wilde_1_1888_17 [arg0] r_0073_0014__is_r_0073_0015__crying is crying r_0073_0012__so so r_0073_0014__is_r_0073_0015__crying->r_0073_0012__so [nim] r_0073_0013__he he r_0073_0014__is_r_0073_0015__crying->r_0073_0013__he [arg0] z_000_73_a_wilde_1_1888_2 z_000_73_a_wilde_1_1888_2->r_0073_0003__has [conj1] z_000_73_a_wilde_1_1888_2->r_0073_0014__is_r_0073_0015__crying [conj2] 
fof(formula,axiom,
    ? [Z_73_A_WILDE_1_1888_2,R_73_3_HAS,R_73_2_MOTHER,R_73_1_HIS,R_73_8_BUT,Z_73_A_WILDE_1_1888_14,R_73_9_RIVER_WATER,R_73_14_IS_CRYING,R_73_13_HE,R_73_12_SO] :
      ( his(R_73_1_HIS)
      & river_water(R_73_9_RIVER_WATER)
      & he(R_73_13_HE)
      & so(R_73_12_SO)
      & ! [R_73_5_TO_GIVE,Z_73_A_WILDE_1_1888_17,R_73_7_HIM] :
          ( ( him(R_73_7_HIM)
            & to_give(R_73_5_TO_GIVE,Z_73_A_WILDE_1_1888_17,Z_73_A_WILDE_1_1888_14,R_73_7_HIM) )
         => true )
      & z_73_a_wilde_1_1888_2(Z_73_A_WILDE_1_1888_2)
      & conj1(Z_73_A_WILDE_1_1888_2,R_73_3_HAS)
      & has(R_73_3_HAS,R_73_2_MOTHER,R_73_8_BUT)
      & mother(R_73_2_MOTHER)
      & gen(R_73_2_MOTHER,R_73_1_HIS)
      & but(R_73_8_BUT)
      & conj1(R_73_8_BUT,Z_73_A_WILDE_1_1888_14)
      & conj2(R_73_8_BUT,R_73_9_RIVER_WATER)
      & conj2(Z_73_A_WILDE_1_1888_2,R_73_14_IS_CRYING)
      & is_crying(R_73_14_IS_CRYING,R_73_13_HE)
      & nim39(R_73_14_IS_CRYING,R_73_12_SO) ) ).


n73_a_wilde_1_1888 n73_a_wilde_1_1888_7 His n73_a_wilde_1_1888_9 mother n73_a_wilde_1_1888_11 has n73_a_wilde_1_1888_16 nothing n73_a_wilde_1_1888_19 *T* n73_a_wilde_1_1888_21 to n73_a_wilde_1_1888_23 give n73_a_wilde_1_1888_26 him n73_a_wilde_1_1888_29 but n73_a_wilde_1_1888_32 river n73_a_wilde_1_1888_34 water n73_a_wilde_1_1888_36 , n73_a_wilde_1_1888_41 so n73_a_wilde_1_1888_44 he n73_a_wilde_1_1888_46 is n73_a_wilde_1_1888_49 crying n73_a_wilde_1_1888_51 . n73_a_wilde_1_1888_1 IP-MAT n73_a_wilde_1_1888_2 ILYR n73_a_wilde_1_1888_1->n73_a_wilde_1_1888_2 n73_a_wilde_1_1888_50 PUNC n73_a_wilde_1_1888_1->n73_a_wilde_1_1888_50 n73_a_wilde_1_1888_3 ILYR n73_a_wilde_1_1888_2->n73_a_wilde_1_1888_3 n73_a_wilde_1_1888_35 PUNC n73_a_wilde_1_1888_2->n73_a_wilde_1_1888_35 n73_a_wilde_1_1888_37 CONJP n73_a_wilde_1_1888_2->n73_a_wilde_1_1888_37 n73_a_wilde_1_1888_4 NP-SBJ n73_a_wilde_1_1888_3->n73_a_wilde_1_1888_4 n73_a_wilde_1_1888_10 HVP;_Tn_ n73_a_wilde_1_1888_3->n73_a_wilde_1_1888_10 n73_a_wilde_1_1888_12 NP-OB1 n73_a_wilde_1_1888_3->n73_a_wilde_1_1888_12 n73_a_wilde_1_1888_5 NP-GEN n73_a_wilde_1_1888_4->n73_a_wilde_1_1888_5 n73_a_wilde_1_1888_8 N n73_a_wilde_1_1888_4->n73_a_wilde_1_1888_8 n73_a_wilde_1_1888_6 PRO;_genm_ n73_a_wilde_1_1888_5->n73_a_wilde_1_1888_6 n73_a_wilde_1_1888_6->n73_a_wilde_1_1888_7 n73_a_wilde_1_1888_8->n73_a_wilde_1_1888_9 n73_a_wilde_1_1888_10->n73_a_wilde_1_1888_11 n73_a_wilde_1_1888_13 NLYR n73_a_wilde_1_1888_12->n73_a_wilde_1_1888_13 n73_a_wilde_1_1888_14 NLYR n73_a_wilde_1_1888_13->n73_a_wilde_1_1888_14 n73_a_wilde_1_1888_27 CONJP n73_a_wilde_1_1888_13->n73_a_wilde_1_1888_27 n73_a_wilde_1_1888_15 Q;_nphd_ n73_a_wilde_1_1888_14->n73_a_wilde_1_1888_15 n73_a_wilde_1_1888_17 IP-INF-REL n73_a_wilde_1_1888_14->n73_a_wilde_1_1888_17 n73_a_wilde_1_1888_15->n73_a_wilde_1_1888_16 n73_a_wilde_1_1888_18 NP-OB1 n73_a_wilde_1_1888_17->n73_a_wilde_1_1888_18 n73_a_wilde_1_1888_20 TO n73_a_wilde_1_1888_17->n73_a_wilde_1_1888_20 n73_a_wilde_1_1888_22 VB;_Dn.n_ n73_a_wilde_1_1888_17->n73_a_wilde_1_1888_22 n73_a_wilde_1_1888_24 NP-OB2 n73_a_wilde_1_1888_17->n73_a_wilde_1_1888_24 n73_a_wilde_1_1888_18->n73_a_wilde_1_1888_19 n73_a_wilde_1_1888_20->n73_a_wilde_1_1888_21 n73_a_wilde_1_1888_22->n73_a_wilde_1_1888_23 n73_a_wilde_1_1888_25 PRO n73_a_wilde_1_1888_24->n73_a_wilde_1_1888_25 n73_a_wilde_1_1888_25->n73_a_wilde_1_1888_26 n73_a_wilde_1_1888_28 CONJ n73_a_wilde_1_1888_27->n73_a_wilde_1_1888_28 n73_a_wilde_1_1888_30 NLYR n73_a_wilde_1_1888_27->n73_a_wilde_1_1888_30 n73_a_wilde_1_1888_28->n73_a_wilde_1_1888_29 n73_a_wilde_1_1888_31 N n73_a_wilde_1_1888_30->n73_a_wilde_1_1888_31 n73_a_wilde_1_1888_33 N n73_a_wilde_1_1888_30->n73_a_wilde_1_1888_33 n73_a_wilde_1_1888_31->n73_a_wilde_1_1888_32 n73_a_wilde_1_1888_33->n73_a_wilde_1_1888_34 n73_a_wilde_1_1888_35->n73_a_wilde_1_1888_36 n73_a_wilde_1_1888_38 ILYR n73_a_wilde_1_1888_37->n73_a_wilde_1_1888_38 n73_a_wilde_1_1888_39 ADVP-NIM n73_a_wilde_1_1888_38->n73_a_wilde_1_1888_39 n73_a_wilde_1_1888_42 NP-SBJ n73_a_wilde_1_1888_38->n73_a_wilde_1_1888_42 n73_a_wilde_1_1888_45 BEP;_cat_Vg_ n73_a_wilde_1_1888_38->n73_a_wilde_1_1888_45 n73_a_wilde_1_1888_47 IP-PPL-CAT n73_a_wilde_1_1888_38->n73_a_wilde_1_1888_47 n73_a_wilde_1_1888_40 ADV n73_a_wilde_1_1888_39->n73_a_wilde_1_1888_40 n73_a_wilde_1_1888_40->n73_a_wilde_1_1888_41 n73_a_wilde_1_1888_43 PRO n73_a_wilde_1_1888_42->n73_a_wilde_1_1888_43 n73_a_wilde_1_1888_43->n73_a_wilde_1_1888_44 n73_a_wilde_1_1888_45->n73_a_wilde_1_1888_46 n73_a_wilde_1_1888_48 VAG;_I_ n73_a_wilde_1_1888_47->n73_a_wilde_1_1888_48 n73_a_wilde_1_1888_48->n73_a_wilde_1_1888_49 n73_a_wilde_1_1888_50->n73_a_wilde_1_1888_51 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{ILLBOY} (PRO;_genm_ His;{his}))
                              (N mother;{mother}))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (NLYR (NLYR (Q;_nphd_ nothing;{nothing})
                                          (IP-INF-REL (NP-OB1 *T*)
                                                      (TO to;{to})
                                                      (VB;_Dn.n_ give;{give})
                                                      (NP-OB2;{ILLBOY} (PRO him;{he}))))
                                    (CONJP (CONJ but;{but})
                                           (NLYR (N river;{river})
                                                 (N water;{water}))))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{ILLBOY} (PRO he;{he}))
                             (BEP;_cat_Vg_ is;{be})
                             (IP-PPL-CAT (VAG;_I_ crying;{cry})))))
          (PUNC .))
  (ID 73_a_wilde_1_1888))