TSPC 73_a_wilde_1

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

( (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))

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_0073_5010,restriction).
arc(r_0073_0006__give,r_0073_0001__His,arg2).
arc(r_0073_0006__give,z_0073_5007,arg0).
arc(r_0073_0006__give,z_0073_5010,inv_arg1).
arc(r_0073_0008__but,r_0073_0009__river_r_0073_0010__water,conj2).
arc(r_0073_0008__but,z_0073_5010,conj1).
arc(r_0073_0014__is,r_0073_0012__so,nim).
arc(r_0073_0014__is,r_0073_0015__crying,scope).
arc(r_0073_0015__crying,r_0073_0001__His,arg0).
arc(z_0073_5001,r_0073_0003__has,conj1).
arc(z_0073_5001,r_0073_0014__is,conj2).

fof(formula,axiom,
    ? [R_0073_0001__HIS,R_0073_0002__MOTHER,R_0073_0009__RIVER_R_0073_0010__WATER,Z_0073_5007,R_0073_0006__GIVE,Z_0073_5010,R_0073_0008__BUT,R_0073_0003__HAS,R_0073_0012__SO,R_0073_0014__IS_R_0073_0015__CRYING,Z_0073_5001] :
      ( r_0073_0001__His(R_0073_0001__HIS)
      & r_0073_0009__river_r_0073_0010__water(R_0073_0009__RIVER_R_0073_0010__WATER)
      & r_0073_0012__so(R_0073_0012__SO)
      & z_0073_5007(Z_0073_5007)
      & z_0073_5001(Z_0073_5001)
      & has_conj2(Z_0073_5001,R_0073_0014__IS_R_0073_0015__CRYING)
      & r_0073_0014__is_r_0073_0015__crying(R_0073_0014__IS_R_0073_0015__CRYING)
      & has_arg0(R_0073_0014__IS_R_0073_0015__CRYING,R_0073_0001__HIS)
      & has_nim(R_0073_0014__IS_R_0073_0015__CRYING,R_0073_0012__SO)
      & has_conj1(Z_0073_5001,R_0073_0003__HAS)
      & r_0073_0003__has(R_0073_0003__HAS)
      & has_arg1(R_0073_0003__HAS,R_0073_0008__BUT)
      & r_0073_0008__but(R_0073_0008__BUT)
      & has_conj1(R_0073_0008__BUT,Z_0073_5010)
      & z_0073_5010(Z_0073_5010)
      & has_inv_arg1(Z_0073_5010,R_0073_0006__GIVE)
      & r_0073_0006__give(R_0073_0006__GIVE)
      & has_arg0(R_0073_0006__GIVE,Z_0073_5007)
      & has_arg2(R_0073_0006__GIVE,R_0073_0001__HIS)
      & has_conj2(R_0073_0008__BUT,R_0073_0009__RIVER_R_0073_0010__WATER)
      & has_arg0(R_0073_0003__HAS,R_0073_0002__MOTHER)
      & r_0073_0002__mother(R_0073_0002__MOTHER)
      & has_gen(R_0073_0002__MOTHER,R_0073_0001__HIS)
      & ( z_0073_5010(Z_0073_5010)
       => r_0073_0003__has(R_0073_0003__HAS) ) ) ).