Context                Previous, Next                Top


77_a_lob_n01
He found that she had done all and more than he had asked of her.

%3 r_0077_0002__found found r_0077_0001__He He r_0077_0002__found->r_0077_0001__He [arg0] r_0077_0003__that_r_0077_0005__had that had r_0077_0002__found->r_0077_0003__that_r_0077_0005__had [arg1] r_0077_0006__done done r_0077_0003__that_r_0077_0005__had->r_0077_0006__done [scope] r_0077_0004__she she r_0077_0006__done->r_0077_0004__she [arg0] r_0077_0008__and and r_0077_0006__done->r_0077_0008__and [arg1] z_000_77_a_lob_n01_21 r_0077_0008__and->z_000_77_a_lob_n01_21 [conj1] z_000_77_a_lob_n01_27 r_0077_0008__and->z_000_77_a_lob_n01_27 [conj2] r_0077_0007__all_quant all [quant] r_0077_0007__all_quant->r_0077_0008__and [scope] r_0077_0007__all_quant->z_000_77_a_lob_n01_21 [restriction] r_0077_0009__more more z_000_77_a_lob_n01_27->r_0077_0009__more [attrib] r_0077_0012__had had r_0077_0009__more->r_0077_0012__had than r_0077_0013__asked asked r_0077_0012__had->r_0077_0013__asked [scope] r_0077_0013__asked->r_0077_0001__He [arg0] r_0077_0013__asked->r_0077_0004__she of [clr] 
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).


%3 r_0077_0002__found found r_0077_0001__He He r_0077_0002__found->r_0077_0001__He [arg0] r_0077_0003__that_r_0077_0005__had_r_0077_0006__done that had done r_0077_0002__found->r_0077_0003__that_r_0077_0005__had_r_0077_0006__done [arg1] r_0077_0004__she she r_0077_0003__that_r_0077_0005__had_r_0077_0006__done->r_0077_0004__she [arg0] r_0077_0008__and and r_0077_0003__that_r_0077_0005__had_r_0077_0006__done->r_0077_0008__and [arg1] z_000_77_a_lob_n01_21 r_0077_0008__and->z_000_77_a_lob_n01_21 [conj1] z_000_77_a_lob_n01_27 r_0077_0008__and->z_000_77_a_lob_n01_27 [conj2] r_0077_0007__all_quant all [quant] r_0077_0007__all_quant->r_0077_0002__found [scope] r_0077_0007__all_quant->z_000_77_a_lob_n01_21 [restriction] r_0077_0009__more more z_000_77_a_lob_n01_27->r_0077_0009__more [attrib] r_0077_0012__had_r_0077_0013__asked had asked r_0077_0009__more->r_0077_0012__had_r_0077_0013__asked than r_0077_0012__had_r_0077_0013__asked->r_0077_0001__He [arg0] r_0077_0012__had_r_0077_0013__asked->r_0077_0004__she of [clr] 
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) ) ) ).


n77_a_lob_n01 n77_a_lob_n01_4 He n77_a_lob_n01_6 found n77_a_lob_n01_10 that n77_a_lob_n01_13 she n77_a_lob_n01_15 had n77_a_lob_n01_18 done n77_a_lob_n01_23 all n77_a_lob_n01_26 and n77_a_lob_n01_30 more n77_a_lob_n01_33 than n77_a_lob_n01_37 he n77_a_lob_n01_39 had n77_a_lob_n01_42 asked n77_a_lob_n01_45 of n77_a_lob_n01_48 her n77_a_lob_n01_50 . n77_a_lob_n01_1 IP-MAT n77_a_lob_n01_2 NP-SBJ n77_a_lob_n01_1->n77_a_lob_n01_2 n77_a_lob_n01_5 VBD;__ n77_a_lob_n01_1->n77_a_lob_n01_5 n77_a_lob_n01_7 CP-THT-OB1 n77_a_lob_n01_1->n77_a_lob_n01_7 n77_a_lob_n01_49 PUNC n77_a_lob_n01_1->n77_a_lob_n01_49 n77_a_lob_n01_3 PRO n77_a_lob_n01_2->n77_a_lob_n01_3 n77_a_lob_n01_3->n77_a_lob_n01_4 n77_a_lob_n01_5->n77_a_lob_n01_6 n77_a_lob_n01_8 IP-SUB n77_a_lob_n01_7->n77_a_lob_n01_8 n77_a_lob_n01_9 C n77_a_lob_n01_8->n77_a_lob_n01_9 n77_a_lob_n01_11 NP-SBJ n77_a_lob_n01_8->n77_a_lob_n01_11 n77_a_lob_n01_14 HVD;_cat_Ve_ n77_a_lob_n01_8->n77_a_lob_n01_14 n77_a_lob_n01_16 IP-PPL-CAT n77_a_lob_n01_8->n77_a_lob_n01_16 n77_a_lob_n01_9->n77_a_lob_n01_10 n77_a_lob_n01_12 PRO n77_a_lob_n01_11->n77_a_lob_n01_12 n77_a_lob_n01_12->n77_a_lob_n01_13 n77_a_lob_n01_14->n77_a_lob_n01_15 n77_a_lob_n01_17 DON;_Tn_ n77_a_lob_n01_16->n77_a_lob_n01_17 n77_a_lob_n01_19 NP-OB1 n77_a_lob_n01_16->n77_a_lob_n01_19 n77_a_lob_n01_17->n77_a_lob_n01_18 n77_a_lob_n01_20 NLYR n77_a_lob_n01_19->n77_a_lob_n01_20 n77_a_lob_n01_21 NLYR n77_a_lob_n01_20->n77_a_lob_n01_21 n77_a_lob_n01_24 CONJP n77_a_lob_n01_20->n77_a_lob_n01_24 n77_a_lob_n01_22 Q;_nphd_ n77_a_lob_n01_21->n77_a_lob_n01_22 n77_a_lob_n01_22->n77_a_lob_n01_23 n77_a_lob_n01_25 CONJ n77_a_lob_n01_24->n77_a_lob_n01_25 n77_a_lob_n01_27 NLYR n77_a_lob_n01_24->n77_a_lob_n01_27 n77_a_lob_n01_25->n77_a_lob_n01_26 n77_a_lob_n01_28 ADJP n77_a_lob_n01_27->n77_a_lob_n01_28 n77_a_lob_n01_29 ADJR n77_a_lob_n01_28->n77_a_lob_n01_29 n77_a_lob_n01_31 PP n77_a_lob_n01_28->n77_a_lob_n01_31 n77_a_lob_n01_29->n77_a_lob_n01_30 n77_a_lob_n01_32 P-ROLE n77_a_lob_n01_31->n77_a_lob_n01_32 n77_a_lob_n01_34 IP-ADV n77_a_lob_n01_31->n77_a_lob_n01_34 n77_a_lob_n01_32->n77_a_lob_n01_33 n77_a_lob_n01_35 NP-SBJ n77_a_lob_n01_34->n77_a_lob_n01_35 n77_a_lob_n01_38 HVD;_cat_Ve_ n77_a_lob_n01_34->n77_a_lob_n01_38 n77_a_lob_n01_40 IP-PPL-CAT n77_a_lob_n01_34->n77_a_lob_n01_40 n77_a_lob_n01_36 PRO n77_a_lob_n01_35->n77_a_lob_n01_36 n77_a_lob_n01_36->n77_a_lob_n01_37 n77_a_lob_n01_38->n77_a_lob_n01_39 n77_a_lob_n01_41 VVN;__ n77_a_lob_n01_40->n77_a_lob_n01_41 n77_a_lob_n01_43 PP-CLR n77_a_lob_n01_40->n77_a_lob_n01_43 n77_a_lob_n01_41->n77_a_lob_n01_42 n77_a_lob_n01_44 P-ROLE n77_a_lob_n01_43->n77_a_lob_n01_44 n77_a_lob_n01_46 NP n77_a_lob_n01_43->n77_a_lob_n01_46 n77_a_lob_n01_44->n77_a_lob_n01_45 n77_a_lob_n01_47 PRO n77_a_lob_n01_46->n77_a_lob_n01_47 n77_a_lob_n01_47->n77_a_lob_n01_48 n77_a_lob_n01_49->n77_a_lob_n01_50 
( (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))