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_77_A_LOB_N01_21] :
( true
=> ? [R_77_2_FOUND,R_77_3_THAT_HAD_DONE,R_77_8_AND,Z_77_A_LOB_N01_27,R_77_9_MORE,R_77_12_HAD_ASKED,R_77_1_HE,R_77_4_SHE] :
( he(R_77_1_HE)
& she(R_77_4_SHE)
& found(R_77_2_FOUND,R_77_1_HE,R_77_3_THAT_HAD_DONE)
& that_had_done(R_77_3_THAT_HAD_DONE,R_77_4_SHE,R_77_8_AND)
& and(R_77_8_AND)
& conj1(R_77_8_AND,Z_77_A_LOB_N01_21)
& conj2(R_77_8_AND,Z_77_A_LOB_N01_27)
& z_77_a_lob_n01_27(Z_77_A_LOB_N01_27)
& attrib28(Z_77_A_LOB_N01_27,R_77_9_MORE)
& more(R_77_9_MORE)
& than(R_77_9_MORE,R_77_12_HAD_ASKED)
& had_asked(R_77_12_HAD_ASKED,R_77_1_HE)
& of_clr46(R_77_12_HAD_ASKED,R_77_4_SHE) ) ) ).
( (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))