77_a_lob_n01
He found that she had done all and more than he had asked of her.
( (IP-MAT (NP-SBJ;{ALASTAIR} (PRO He;{he}))
(VBD;__ found;{find})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{GLORIA} (PRO she;{she}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (DON;_Tn_ done;{do})
(NP-OB1 (NLYR (NLYR (Q;_nphd_ all;{all}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJR more;{more})
(PP (P-ROLE than;{than})
(IP-ADV (NP-SBJ;{ALASTAIR} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;__ asked;{ask})
(PP-CLR (P-ROLE of;{of})
(NP;{GLORIA} (PRO her;{her}))))))))))))))
(PUNC .))
(ID 77_a_lob_n01))
arc(r_0077_0002__found,r_0077_0001__He,arg0).
arc(r_0077_0002__found,r_0077_0005__had,arg1).
arc(r_0077_0005__had,r_0077_0006__done,scope).
arc(r_0077_0006__done,r_0077_0004__she,arg0).
arc(r_0077_0006__done,r_0077_0008__and,arg1).
arc(r_0077_0007__all__quant,r_0077_0008__and,scope).
arc(r_0077_0007__all__quant,z_0077_5005,restriction).
arc(r_0077_0008__and,z_0077_5005,conj1).
arc(r_0077_0008__and,z_0077_5014,conj2).
arc(r_0077_0009__more,r_0077_0012__had,r_0077_0010__than).
arc(r_0077_0012__had,r_0077_0013__asked,scope).
arc(r_0077_0013__asked,r_0077_0001__He,arg0).
arc(r_0077_0013__asked,r_0077_0004__she,r_0077_0014__of__clr).
arc(z_0077_5014,r_0077_0009__more,attrib).
fof(formula,axiom,
! [Z_0077_5005] :
( z_0077_5005(Z_0077_5005)
=> ? [R_0077_0001__HE,R_0077_0004__SHE,R_0077_0012__HAD_R_0077_0013__ASKED,R_0077_0009__MORE,Z_0077_5014,R_0077_0008__AND,R_0077_0005__HAD_R_0077_0006__DONE,R_0077_0002__FOUND] :
( r_0077_0001__He(R_0077_0001__HE)
& r_0077_0004__she(R_0077_0004__SHE)
& r_0077_0002__found(R_0077_0002__FOUND)
& has_arg1(R_0077_0002__FOUND,R_0077_0005__HAD_R_0077_0006__DONE)
& r_0077_0005__had_r_0077_0006__done(R_0077_0005__HAD_R_0077_0006__DONE)
& has_arg1(R_0077_0005__HAD_R_0077_0006__DONE,R_0077_0008__AND)
& r_0077_0008__and(R_0077_0008__AND)
& has_conj2(R_0077_0008__AND,Z_0077_5014)
& z_0077_5014(Z_0077_5014)
& has_attrib(Z_0077_5014,R_0077_0009__MORE)
& r_0077_0009__more(R_0077_0009__MORE)
& has_r_0077_0010__than(R_0077_0009__MORE,R_0077_0012__HAD_R_0077_0013__ASKED)
& r_0077_0012__had_r_0077_0013__asked(R_0077_0012__HAD_R_0077_0013__ASKED)
& has_r_0077_0014__of__clr(R_0077_0012__HAD_R_0077_0013__ASKED,R_0077_0004__SHE)
& has_arg0(R_0077_0012__HAD_R_0077_0013__ASKED,R_0077_0001__HE)
& has_conj1(R_0077_0008__AND,Z_0077_5005)
& has_arg0(R_0077_0005__HAD_R_0077_0006__DONE,R_0077_0004__SHE)
& has_arg0(R_0077_0002__FOUND,R_0077_0001__HE) ) ) ).