TSPC 174_a_wilde_1

174_a_wilde_1_1888
Her father will beat her if she does not bring home some money, and she is crying.

( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{MATCH_GIRL} (PRO;_genm_ Her;{her}))
                              (N father;{father}))
                      (MD;_cat_Vi_ will;{will})
                      (IP-INF-CAT (VB;_Tn_ beat;{beat})
                                  (NP-OB1;{MATCH_GIRL} (PRO her;{her})))
                      (PP-SCON (P-CONN if;{if})
                               (IP-ADV (NP-SBJ;{MATCH_GIRL} (PRO she;{she}))
                                       (DOP does;{do})
                                       (NEG not;{not})
                                       (VB;_Tn_ bring;{bring})
                                       (ADVP-NIM (ADV home;{home}))
                                       (NP-OB1 (D some;{some})
                                               (N money;{money})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{MATCH_GIRL} (PRO she;{she}))
                             (BEP;_cat_Vg_ is;{be})
                             (IP-PPL-CAT (VAG;_I_ crying;{cry})))))
          (PUNC .))
  (ID 174_a_wilde_1_1888))

arc(r_0174_0002__father,r_0174_0001__Her,gen).
arc(r_0174_0003__will,r_0174_0004__beat,scope).
arc(r_0174_0004__beat,r_0174_0001__Her,arg1).
arc(r_0174_0004__beat,r_0174_0002__father,arg0).
arc(r_0174_0006__if,r_0174_0003__will,scope).
arc(r_0174_0006__if,r_0174_0009__not,restriction).
arc(r_0174_0008__does_r_0174_0010__bring,r_0174_0001__Her,arg0).
arc(r_0174_0008__does_r_0174_0010__bring,r_0174_0011__home,nim).
arc(r_0174_0008__does_r_0174_0010__bring,r_0174_0012__some_r_0174_0013__money,arg1).
arc(r_0174_0009__not,r_0174_0008__does_r_0174_0010__bring,keep_scope).
arc(r_0174_0015__and,r_0174_0006__if,conj1).
arc(r_0174_0015__and,r_0174_0017__is,conj2).
arc(r_0174_0017__is,r_0174_0018__crying,scope).
arc(r_0174_0018__crying,r_0174_0001__Her,arg0).

fof(formula,axiom,
    ? [R_0174_0001__HER,R_0174_0017__IS_R_0174_0018__CRYING,R_0174_0015__AND] :
      ( r_0174_0001__Her(R_0174_0001__HER)
      & r_0174_0015__and(R_0174_0015__AND)
      & has_conj2(R_0174_0015__AND,R_0174_0017__IS_R_0174_0018__CRYING)
      & r_0174_0017__is_r_0174_0018__crying(R_0174_0017__IS_R_0174_0018__CRYING)
      & has_arg0(R_0174_0017__IS_R_0174_0018__CRYING,R_0174_0001__HER)
      & ! [R_0174_0009__NOT] :
          ( ~ ? [R_0174_0011__HOME,R_0174_0012__SOME_R_0174_0013__MONEY,R_0174_0008__DOES_R_0174_0010__BRING] :
                ( r_0174_0011__home(R_0174_0011__HOME)
                & r_0174_0012__some_r_0174_0013__money(R_0174_0012__SOME_R_0174_0013__MONEY)
                & r_0174_0008__does_r_0174_0010__bring(R_0174_0008__DOES_R_0174_0010__BRING)
                & has_arg1(R_0174_0008__DOES_R_0174_0010__BRING,R_0174_0012__SOME_R_0174_0013__MONEY)
                & has_nim(R_0174_0008__DOES_R_0174_0010__BRING,R_0174_0011__HOME)
                & has_arg0(R_0174_0008__DOES_R_0174_0010__BRING,R_0174_0001__HER) )
         => ? [R_0174_0002__FATHER,R_0174_0003__WILL_R_0174_0004__BEAT] :
              ( r_0174_0003__will_r_0174_0004__beat(R_0174_0003__WILL_R_0174_0004__BEAT)
              & has_arg0(R_0174_0003__WILL_R_0174_0004__BEAT,R_0174_0002__FATHER)
              & r_0174_0002__father(R_0174_0002__FATHER)
              & has_gen(R_0174_0002__FATHER,R_0174_0001__HER)
              & has_arg1(R_0174_0003__WILL_R_0174_0004__BEAT,R_0174_0001__HER) ) ) ) ).