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 z_000_73_a_wilde_1_1888_2 r_0073_0014__is_r_0073_0015__crying is crying z_000_73_a_wilde_1_1888_2->r_0073_0014__is_r_0073_0015__crying [conj2] r_0073_0003__has has z_000_73_a_wilde_1_1888_2->r_0073_0003__has [conj1] r_0073_0013__he he r_0073_0014__is_r_0073_0015__crying->r_0073_0013__he [arg0] r_0073_0012__so so r_0073_0014__is_r_0073_0015__crying->r_0073_0012__so [nim] r_0073_0008__but but r_0073_0003__has->r_0073_0008__but [arg1] r_0073_0002__mother mother r_0073_0003__has->r_0073_0002__mother [arg0] 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_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] 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_0007__him him r_0073_0005__to_r_0073_0006__give->r_0073_0007__him [arg2] r_0073_0004__nothing_quant nothing [quant] r_0073_0004__nothing_quant->r_0073_0003__has [scope] r_0073_0004__nothing_quant->r_0073_0005__to_r_0073_0006__give [restriction] r_0073_0001__His His r_0073_0002__mother->r_0073_0001__His [gen] 
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__1_1_1_1_1_1_1 His n73_a_wilde_1_1888__1_1_1_1_2_1 mother n73_a_wilde_1_1888__1_1_1_2_1 has n73_a_wilde_1_1888__1_1_1_3_1_1_1_1 nothing n73_a_wilde_1_1888__1_1_1_3_1_1_2_1_1 *T* n73_a_wilde_1_1888__1_1_1_3_1_1_2_2_1 to n73_a_wilde_1_1888__1_1_1_3_1_1_2_3_1 give n73_a_wilde_1_1888__1_1_1_3_1_1_2_4_1_1 him n73_a_wilde_1_1888__1_1_1_3_1_2_1_1 but n73_a_wilde_1_1888__1_1_1_3_1_2_2_1_1 river n73_a_wilde_1_1888__1_1_1_3_1_2_2_2_1 water n73_a_wilde_1_1888__1_1_2_1 , n73_a_wilde_1_1888__1_1_3_1_1_1_1 so n73_a_wilde_1_1888__1_1_3_1_2_1_1 he n73_a_wilde_1_1888__1_1_3_1_3_1 is n73_a_wilde_1_1888__1_1_3_1_4_1_1 crying n73_a_wilde_1_1888__1_2_1 . n73_a_wilde_1_1888__1 IP-MAT n73_a_wilde_1_1888__1_1 ILYR n73_a_wilde_1_1888__1->n73_a_wilde_1_1888__1_1 n73_a_wilde_1_1888__1_2 PUNC n73_a_wilde_1_1888__1->n73_a_wilde_1_1888__1_2 n73_a_wilde_1_1888__1_1_1 ILYR n73_a_wilde_1_1888__1_1->n73_a_wilde_1_1888__1_1_1 n73_a_wilde_1_1888__1_1_2 PUNC n73_a_wilde_1_1888__1_1->n73_a_wilde_1_1888__1_1_2 n73_a_wilde_1_1888__1_1_3 CONJP n73_a_wilde_1_1888__1_1->n73_a_wilde_1_1888__1_1_3 n73_a_wilde_1_1888__1_1_1_1 NP-SBJ n73_a_wilde_1_1888__1_1_1->n73_a_wilde_1_1888__1_1_1_1 n73_a_wilde_1_1888__1_1_1_2 HVP;_Tn_ n73_a_wilde_1_1888__1_1_1->n73_a_wilde_1_1888__1_1_1_2 n73_a_wilde_1_1888__1_1_1_3 NP-OB1 n73_a_wilde_1_1888__1_1_1->n73_a_wilde_1_1888__1_1_1_3 n73_a_wilde_1_1888__1_1_1_1_1 NP-GEN n73_a_wilde_1_1888__1_1_1_1->n73_a_wilde_1_1888__1_1_1_1_1 n73_a_wilde_1_1888__1_1_1_1_2 N n73_a_wilde_1_1888__1_1_1_1->n73_a_wilde_1_1888__1_1_1_1_2 n73_a_wilde_1_1888__1_1_1_1_1_1 PRO;_genm_ n73_a_wilde_1_1888__1_1_1_1_1->n73_a_wilde_1_1888__1_1_1_1_1_1 n73_a_wilde_1_1888__1_1_1_1_1_1->n73_a_wilde_1_1888__1_1_1_1_1_1_1 n73_a_wilde_1_1888__1_1_1_1_2->n73_a_wilde_1_1888__1_1_1_1_2_1 n73_a_wilde_1_1888__1_1_1_2->n73_a_wilde_1_1888__1_1_1_2_1 n73_a_wilde_1_1888__1_1_1_3_1 NLYR n73_a_wilde_1_1888__1_1_1_3->n73_a_wilde_1_1888__1_1_1_3_1 n73_a_wilde_1_1888__1_1_1_3_1_1 NLYR n73_a_wilde_1_1888__1_1_1_3_1->n73_a_wilde_1_1888__1_1_1_3_1_1 n73_a_wilde_1_1888__1_1_1_3_1_2 CONJP n73_a_wilde_1_1888__1_1_1_3_1->n73_a_wilde_1_1888__1_1_1_3_1_2 n73_a_wilde_1_1888__1_1_1_3_1_1_1 Q;_nphd_ n73_a_wilde_1_1888__1_1_1_3_1_1->n73_a_wilde_1_1888__1_1_1_3_1_1_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2 IP-INF-REL n73_a_wilde_1_1888__1_1_1_3_1_1->n73_a_wilde_1_1888__1_1_1_3_1_1_2 n73_a_wilde_1_1888__1_1_1_3_1_1_1->n73_a_wilde_1_1888__1_1_1_3_1_1_1_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_1 NP-OB1 n73_a_wilde_1_1888__1_1_1_3_1_1_2->n73_a_wilde_1_1888__1_1_1_3_1_1_2_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_2 TO n73_a_wilde_1_1888__1_1_1_3_1_1_2->n73_a_wilde_1_1888__1_1_1_3_1_1_2_2 n73_a_wilde_1_1888__1_1_1_3_1_1_2_3 VB;_Dn.n_ n73_a_wilde_1_1888__1_1_1_3_1_1_2->n73_a_wilde_1_1888__1_1_1_3_1_1_2_3 n73_a_wilde_1_1888__1_1_1_3_1_1_2_4 NP-OB2 n73_a_wilde_1_1888__1_1_1_3_1_1_2->n73_a_wilde_1_1888__1_1_1_3_1_1_2_4 n73_a_wilde_1_1888__1_1_1_3_1_1_2_1->n73_a_wilde_1_1888__1_1_1_3_1_1_2_1_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_2->n73_a_wilde_1_1888__1_1_1_3_1_1_2_2_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_3->n73_a_wilde_1_1888__1_1_1_3_1_1_2_3_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_4_1 PRO n73_a_wilde_1_1888__1_1_1_3_1_1_2_4->n73_a_wilde_1_1888__1_1_1_3_1_1_2_4_1 n73_a_wilde_1_1888__1_1_1_3_1_1_2_4_1->n73_a_wilde_1_1888__1_1_1_3_1_1_2_4_1_1 n73_a_wilde_1_1888__1_1_1_3_1_2_1 CONJ n73_a_wilde_1_1888__1_1_1_3_1_2->n73_a_wilde_1_1888__1_1_1_3_1_2_1 n73_a_wilde_1_1888__1_1_1_3_1_2_2 NLYR n73_a_wilde_1_1888__1_1_1_3_1_2->n73_a_wilde_1_1888__1_1_1_3_1_2_2 n73_a_wilde_1_1888__1_1_1_3_1_2_1->n73_a_wilde_1_1888__1_1_1_3_1_2_1_1 n73_a_wilde_1_1888__1_1_1_3_1_2_2_1 N n73_a_wilde_1_1888__1_1_1_3_1_2_2->n73_a_wilde_1_1888__1_1_1_3_1_2_2_1 n73_a_wilde_1_1888__1_1_1_3_1_2_2_2 N n73_a_wilde_1_1888__1_1_1_3_1_2_2->n73_a_wilde_1_1888__1_1_1_3_1_2_2_2 n73_a_wilde_1_1888__1_1_1_3_1_2_2_1->n73_a_wilde_1_1888__1_1_1_3_1_2_2_1_1 n73_a_wilde_1_1888__1_1_1_3_1_2_2_2->n73_a_wilde_1_1888__1_1_1_3_1_2_2_2_1 n73_a_wilde_1_1888__1_1_2->n73_a_wilde_1_1888__1_1_2_1 n73_a_wilde_1_1888__1_1_3_1 ILYR n73_a_wilde_1_1888__1_1_3->n73_a_wilde_1_1888__1_1_3_1 n73_a_wilde_1_1888__1_1_3_1_1 ADVP-NIM n73_a_wilde_1_1888__1_1_3_1->n73_a_wilde_1_1888__1_1_3_1_1 n73_a_wilde_1_1888__1_1_3_1_2 NP-SBJ n73_a_wilde_1_1888__1_1_3_1->n73_a_wilde_1_1888__1_1_3_1_2 n73_a_wilde_1_1888__1_1_3_1_3 BEP;_cat_Vg_ n73_a_wilde_1_1888__1_1_3_1->n73_a_wilde_1_1888__1_1_3_1_3 n73_a_wilde_1_1888__1_1_3_1_4 IP-PPL-CAT n73_a_wilde_1_1888__1_1_3_1->n73_a_wilde_1_1888__1_1_3_1_4 n73_a_wilde_1_1888__1_1_3_1_1_1 ADV n73_a_wilde_1_1888__1_1_3_1_1->n73_a_wilde_1_1888__1_1_3_1_1_1 n73_a_wilde_1_1888__1_1_3_1_1_1->n73_a_wilde_1_1888__1_1_3_1_1_1_1 n73_a_wilde_1_1888__1_1_3_1_2_1 PRO n73_a_wilde_1_1888__1_1_3_1_2->n73_a_wilde_1_1888__1_1_3_1_2_1 n73_a_wilde_1_1888__1_1_3_1_2_1->n73_a_wilde_1_1888__1_1_3_1_2_1_1 n73_a_wilde_1_1888__1_1_3_1_3->n73_a_wilde_1_1888__1_1_3_1_3_1 n73_a_wilde_1_1888__1_1_3_1_4_1 VAG;_I_ n73_a_wilde_1_1888__1_1_3_1_4->n73_a_wilde_1_1888__1_1_3_1_4_1 n73_a_wilde_1_1888__1_1_3_1_4_1->n73_a_wilde_1_1888__1_1_3_1_4_1_1 n73_a_wilde_1_1888__1_2->n73_a_wilde_1_1888__1_2_1 
( (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))