77_a_lob_n01
He found that she had done all and more than he had asked of her.
arc(r_0077_0002__found, r_0077_0001__He, arg0).
arc(r_0077_0002__found, r_0077_0003__that_r_0077_0005__had, arg1).
arc(r_0077_0003__that_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_000_77_a_lob_n01_21, restriction).
arc(r_0077_0008__and, z_000_77_a_lob_n01_21, conj1).
arc(r_0077_0008__and, z_000_77_a_lob_n01_27, 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_clr46).
arc(z_000_77_a_lob_n01_27, r_0077_0009__more, attrib28).
fof(formula,axiom,
! [Z_000_77_A_LOB_N01_21] :
( z_000_77_a_lob_n01_21(Z_000_77_A_LOB_N01_21)
=> ? [R_0077_0001__HE,R_0077_0004__SHE,R_0077_0012__HAD_R_0077_0013__ASKED,R_0077_0009__MORE,Z_000_77_A_LOB_N01_27,R_0077_0008__AND,R_0077_0003__THAT_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_0003__THAT_R_0077_0005__HAD_R_0077_0006__DONE)
& r_0077_0003__that_r_0077_0005__had_r_0077_0006__done(R_0077_0003__THAT_R_0077_0005__HAD_R_0077_0006__DONE)
& has_arg1(R_0077_0003__THAT_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_000_77_A_LOB_N01_27)
& z_000_77_a_lob_n01_27(Z_000_77_A_LOB_N01_27)
& has_attrib28(Z_000_77_A_LOB_N01_27,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_clr46(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_000_77_A_LOB_N01_21)
& has_arg0(R_0077_0003__THAT_R_0077_0005__HAD_R_0077_0006__DONE,R_0077_0004__SHE)
& has_arg0(R_0077_0002__FOUND,R_0077_0001__HE) ) ) ).
( (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))