Context                Previous, Next                Top


4_a_fce_0102_2001_03
You have agreed to look after his flat for him while he is away.

%3 r_0004_0002__have have r_0004_0003__agreed agreed r_0004_0002__have->r_0004_0003__agreed [scope] r_0004_0004__to_r_0004_0005__look to look r_0004_0003__agreed->r_0004_0004__to_r_0004_0005__look [scope] r_0004_0001__You You r_0004_0004__to_r_0004_0005__look->r_0004_0001__You [arg0] r_0004_0008__flat flat r_0004_0004__to_r_0004_0005__look->r_0004_0008__flat after [clr] r_0004_0010__him him r_0004_0004__to_r_0004_0005__look->r_0004_0010__him for [nim] r_0004_0007__his his r_0004_0008__flat->r_0004_0007__his [gen] r_0004_0011__while while r_0004_0011__while->r_0004_0002__have [scope] r_0004_0013__is is r_0004_0011__while->r_0004_0013__is [restriction] r_0004_0012__he he r_0004_0013__is->r_0004_0012__he [arg0] r_0004_0014__away away r_0004_0013__is->r_0004_0014__away [clr] 
arc(r_0004_0002__have, r_0004_0003__agreed, scope).
arc(r_0004_0003__agreed, r_0004_0004__to_r_0004_0005__look, scope).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0001__You, arg0).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0008__flat, r_0004_0006__after_clr18).
arc(r_0004_0004__to_r_0004_0005__look, r_0004_0010__him, r_0004_0009__for_nim27).
arc(r_0004_0008__flat, r_0004_0007__his, gen).
arc(r_0004_0011__while, r_0004_0002__have, scope).
arc(r_0004_0011__while, r_0004_0013__is, restriction).
arc(r_0004_0013__is, r_0004_0012__he, arg0).
arc(r_0004_0013__is, r_0004_0014__away, clr39).


%3 r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look have agreed to look r_0004_0001__You You r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look->r_0004_0001__You [arg0] r_0004_0008__flat flat r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look->r_0004_0008__flat after [clr] r_0004_0010__him him r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look->r_0004_0010__him for [nim] r_0004_0007__his his r_0004_0008__flat->r_0004_0007__his [gen] r_0004_0011__while while r_0004_0011__while->r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look [conj2] r_0004_0013__is is r_0004_0011__while->r_0004_0013__is [conj1] r_0004_0012__he he r_0004_0013__is->r_0004_0012__he [arg0] r_0004_0014__away away r_0004_0013__is->r_0004_0014__away [clr] 
fof(formula,axiom,
    ? [R_4_11_WHILE,R_4_13_IS,R_4_12_HE,R_4_14_AWAY,R_4_2_HAVE_AGREED_TO_LOOK,R_4_1_YOU,R_4_8_FLAT,R_4_7_HIS,R_4_10_HIM] :
      ( he(R_4_12_HE)
      & away(R_4_14_AWAY)
      & you(R_4_1_YOU)
      & his(R_4_7_HIS)
      & him(R_4_10_HIM)
      & while(R_4_11_WHILE)
      & conj1(R_4_11_WHILE,R_4_13_IS)
      & is(R_4_13_IS,R_4_12_HE)
      & clr39(R_4_13_IS,R_4_14_AWAY)
      & conj2(R_4_11_WHILE,R_4_2_HAVE_AGREED_TO_LOOK)
      & have_agreed_to_look(R_4_2_HAVE_AGREED_TO_LOOK,R_4_1_YOU)
      & after_clr18(R_4_2_HAVE_AGREED_TO_LOOK,R_4_8_FLAT)
      & flat(R_4_8_FLAT)
      & gen(R_4_8_FLAT,R_4_7_HIS)
      & for_nim27(R_4_2_HAVE_AGREED_TO_LOOK,R_4_10_HIM) ) ).


n4_a_fce_0102_2001_03 n4_a_fce_0102_2001_03_4 You n4_a_fce_0102_2001_03_6 have n4_a_fce_0102_2001_03_9 agreed n4_a_fce_0102_2001_03_12 to n4_a_fce_0102_2001_03_14 look n4_a_fce_0102_2001_03_17 after n4_a_fce_0102_2001_03_21 his n4_a_fce_0102_2001_03_23 flat n4_a_fce_0102_2001_03_26 for n4_a_fce_0102_2001_03_29 him n4_a_fce_0102_2001_03_32 while n4_a_fce_0102_2001_03_36 he n4_a_fce_0102_2001_03_38 is n4_a_fce_0102_2001_03_41 away n4_a_fce_0102_2001_03_43 . n4_a_fce_0102_2001_03_1 IP-MAT n4_a_fce_0102_2001_03_2 NP-SBJ n4_a_fce_0102_2001_03_1->n4_a_fce_0102_2001_03_2 n4_a_fce_0102_2001_03_5 HVP;_cat_Ve_ n4_a_fce_0102_2001_03_1->n4_a_fce_0102_2001_03_5 n4_a_fce_0102_2001_03_7 IP-PPL-CAT n4_a_fce_0102_2001_03_1->n4_a_fce_0102_2001_03_7 n4_a_fce_0102_2001_03_30 PP-SCON n4_a_fce_0102_2001_03_1->n4_a_fce_0102_2001_03_30 n4_a_fce_0102_2001_03_42 PUNC n4_a_fce_0102_2001_03_1->n4_a_fce_0102_2001_03_42 n4_a_fce_0102_2001_03_3 PRO n4_a_fce_0102_2001_03_2->n4_a_fce_0102_2001_03_3 n4_a_fce_0102_2001_03_3->n4_a_fce_0102_2001_03_4 n4_a_fce_0102_2001_03_5->n4_a_fce_0102_2001_03_6 n4_a_fce_0102_2001_03_8 VVN;_cat_Vt_ n4_a_fce_0102_2001_03_7->n4_a_fce_0102_2001_03_8 n4_a_fce_0102_2001_03_10 IP-INF-CAT n4_a_fce_0102_2001_03_7->n4_a_fce_0102_2001_03_10 n4_a_fce_0102_2001_03_8->n4_a_fce_0102_2001_03_9 n4_a_fce_0102_2001_03_11 TO n4_a_fce_0102_2001_03_10->n4_a_fce_0102_2001_03_11 n4_a_fce_0102_2001_03_13 VB;_phr_Vpr_ n4_a_fce_0102_2001_03_10->n4_a_fce_0102_2001_03_13 n4_a_fce_0102_2001_03_15 PP-CLR n4_a_fce_0102_2001_03_10->n4_a_fce_0102_2001_03_15 n4_a_fce_0102_2001_03_24 PP-NIM n4_a_fce_0102_2001_03_10->n4_a_fce_0102_2001_03_24 n4_a_fce_0102_2001_03_11->n4_a_fce_0102_2001_03_12 n4_a_fce_0102_2001_03_13->n4_a_fce_0102_2001_03_14 n4_a_fce_0102_2001_03_16 P-ROLE n4_a_fce_0102_2001_03_15->n4_a_fce_0102_2001_03_16 n4_a_fce_0102_2001_03_18 NP n4_a_fce_0102_2001_03_15->n4_a_fce_0102_2001_03_18 n4_a_fce_0102_2001_03_16->n4_a_fce_0102_2001_03_17 n4_a_fce_0102_2001_03_19 NP-GEN n4_a_fce_0102_2001_03_18->n4_a_fce_0102_2001_03_19 n4_a_fce_0102_2001_03_22 N n4_a_fce_0102_2001_03_18->n4_a_fce_0102_2001_03_22 n4_a_fce_0102_2001_03_20 PRO;_genm_ n4_a_fce_0102_2001_03_19->n4_a_fce_0102_2001_03_20 n4_a_fce_0102_2001_03_20->n4_a_fce_0102_2001_03_21 n4_a_fce_0102_2001_03_22->n4_a_fce_0102_2001_03_23 n4_a_fce_0102_2001_03_25 P-ROLE n4_a_fce_0102_2001_03_24->n4_a_fce_0102_2001_03_25 n4_a_fce_0102_2001_03_27 NP n4_a_fce_0102_2001_03_24->n4_a_fce_0102_2001_03_27 n4_a_fce_0102_2001_03_25->n4_a_fce_0102_2001_03_26 n4_a_fce_0102_2001_03_28 PRO n4_a_fce_0102_2001_03_27->n4_a_fce_0102_2001_03_28 n4_a_fce_0102_2001_03_28->n4_a_fce_0102_2001_03_29 n4_a_fce_0102_2001_03_31 P-CONN n4_a_fce_0102_2001_03_30->n4_a_fce_0102_2001_03_31 n4_a_fce_0102_2001_03_33 IP-ADV n4_a_fce_0102_2001_03_30->n4_a_fce_0102_2001_03_33 n4_a_fce_0102_2001_03_31->n4_a_fce_0102_2001_03_32 n4_a_fce_0102_2001_03_34 NP-SBJ n4_a_fce_0102_2001_03_33->n4_a_fce_0102_2001_03_34 n4_a_fce_0102_2001_03_37 BEP;_Ip_ n4_a_fce_0102_2001_03_33->n4_a_fce_0102_2001_03_37 n4_a_fce_0102_2001_03_39 ADVP-CLR n4_a_fce_0102_2001_03_33->n4_a_fce_0102_2001_03_39 n4_a_fce_0102_2001_03_35 PRO n4_a_fce_0102_2001_03_34->n4_a_fce_0102_2001_03_35 n4_a_fce_0102_2001_03_35->n4_a_fce_0102_2001_03_36 n4_a_fce_0102_2001_03_37->n4_a_fce_0102_2001_03_38 n4_a_fce_0102_2001_03_40 ADV n4_a_fce_0102_2001_03_39->n4_a_fce_0102_2001_03_40 n4_a_fce_0102_2001_03_40->n4_a_fce_0102_2001_03_41 n4_a_fce_0102_2001_03_42->n4_a_fce_0102_2001_03_43 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ agreed;{agree})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_phr_Vpr_ look;{look[after]})
                                  (PP-CLR (P-ROLE after;{after})
                                          (NP (NP-GEN;{PETE} (PRO;_genm_ his;{his}))
                                              (N flat;{flat})))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP;{PETE} (PRO him;{he})))))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ;{PETE} (PRO he;{he}))
                           (BEP;_Ip_ is;{be[away]})
                           (ADVP-CLR (ADV away;{away}))))
          (PUNC .))
  (ID 4_a_fce_0102_2001_03))