174_a_wilde_1_1888
Her father will beat her if she does not bring home some money, and she is crying.
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_0002__father, arg0).
arc(r_0174_0004__beat, r_0174_0005__her, arg1).
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_0007__she, arg0).
arc(r_0174_0008__does_r_0174_0010__bring, r_0174_0011__home, nim31).
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_0016__she, arg0).
fof(formula,axiom,
? [R_174_15_AND,R_174_17_IS_CRYING,R_174_16_SHE] :
( she(R_174_16_SHE)
& ( ~ ? [R_174_8_DOES_BRING,R_174_7_SHE,R_174_12_SOME_MONEY,R_174_11_HOME] :
( she(R_174_7_SHE)
& some_money(R_174_12_SOME_MONEY)
& home(R_174_11_HOME)
& does_bring(R_174_8_DOES_BRING,R_174_7_SHE,R_174_12_SOME_MONEY)
& nim31(R_174_8_DOES_BRING,R_174_11_HOME) )
=> ? [R_174_3_WILL_BEAT,R_174_2_FATHER,R_174_1_HER,R_174_5_HER] :
( her(R_174_1_HER)
& her(R_174_5_HER)
& will_beat(R_174_3_WILL_BEAT,R_174_2_FATHER,R_174_5_HER)
& father(R_174_2_FATHER)
& gen(R_174_2_FATHER,R_174_1_HER) ) )
& conj1(CONJ1)
& and(R_174_15_AND)
& conj2(R_174_15_AND,R_174_17_IS_CRYING)
& is_crying(R_174_17_IS_CRYING,R_174_16_SHE) ) ).
( (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))