146_a_loosechange
Why hadn't she approached them instead?
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
(HVD;_cat_Ve_ had;{have})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ;{LAYLOR} (PRO she;{she}))
(IP-PPL-CAT (VVN;_Tn_ approached;{approach})
(NP-OB1 (PRO them;{they}))
(ADVP-NIM (ADV instead;{instead}))))
(PUNC ?))
(ID 146_a_loosechange))
arc(r_0146_0002__had,r_0146_0001__Why,nim).
arc(r_0146_0002__had,r_0146_0005__approached,scope).
arc(r_0146_0003__n_apos_t,r_0146_0002__had,keep_scope).
arc(r_0146_0005__approached,r_0146_0004__she,arg0).
arc(r_0146_0005__approached,r_0146_0006__them,arg1).
arc(r_0146_0005__approached,r_0146_0007__instead,nim).
fof(formula,axiom,
~ ? [R_0146_0001__WHY,R_0146_0004__SHE,R_0146_0006__THEM,R_0146_0007__INSTEAD,R_0146_0002__HAD_R_0146_0005__APPROACHED] :
( r_0146_0001__Why(R_0146_0001__WHY)
& r_0146_0004__she(R_0146_0004__SHE)
& r_0146_0006__them(R_0146_0006__THEM)
& r_0146_0007__instead(R_0146_0007__INSTEAD)
& r_0146_0002__had_r_0146_0005__approached(R_0146_0002__HAD_R_0146_0005__APPROACHED)
& has_nim(R_0146_0002__HAD_R_0146_0005__APPROACHED,R_0146_0007__INSTEAD)
& has_arg1(R_0146_0002__HAD_R_0146_0005__APPROACHED,R_0146_0006__THEM)
& has_arg0(R_0146_0002__HAD_R_0146_0005__APPROACHED,R_0146_0004__SHE)
& has_nim(R_0146_0002__HAD_R_0146_0005__APPROACHED,R_0146_0001__WHY) ) ).