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_0008__flat->r_0004_0010__him [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_0010__him, 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_0013__is is r_0004_0014__away away r_0004_0013__is->r_0004_0014__away [clr] r_0004_0012__he he r_0004_0013__is->r_0004_0012__he [arg0] r_0004_0011__while while r_0004_0011__while->r_0004_0013__is [conj1] r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look have agreed to look r_0004_0011__while->r_0004_0002__have_r_0004_0003__agreed_r_0004_0004__to_r_0004_0005__look [conj2] 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_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->r_0004_0010__him [gen] 
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_10_HIM] :
      ( he(R_4_12_HE)
      & away(R_4_14_AWAY)
      & you(R_4_1_YOU)
      & 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_10_HIM)
      & 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__1_1_1_1 You n4_a_fce_0102_2001_03__1_2_1 have n4_a_fce_0102_2001_03__1_3_1_1 agreed n4_a_fce_0102_2001_03__1_3_2_1_1 to n4_a_fce_0102_2001_03__1_3_2_2_1 look n4_a_fce_0102_2001_03__1_3_2_3_1_1 after n4_a_fce_0102_2001_03__1_3_2_3_2_1_1_1 his n4_a_fce_0102_2001_03__1_3_2_3_2_2_1 flat n4_a_fce_0102_2001_03__1_3_2_4_1_1 for n4_a_fce_0102_2001_03__1_3_2_4_2_1_1 him n4_a_fce_0102_2001_03__1_4_1_1 while n4_a_fce_0102_2001_03__1_4_2_1_1_1 he n4_a_fce_0102_2001_03__1_4_2_2_1 is n4_a_fce_0102_2001_03__1_4_2_3_1_1 away n4_a_fce_0102_2001_03__1_5_1 . n4_a_fce_0102_2001_03__1 IP-MAT n4_a_fce_0102_2001_03__1_1 NP-SBJ n4_a_fce_0102_2001_03__1->n4_a_fce_0102_2001_03__1_1 n4_a_fce_0102_2001_03__1_2 HVP;_cat_Ve_ n4_a_fce_0102_2001_03__1->n4_a_fce_0102_2001_03__1_2 n4_a_fce_0102_2001_03__1_3 IP-PPL-CAT n4_a_fce_0102_2001_03__1->n4_a_fce_0102_2001_03__1_3 n4_a_fce_0102_2001_03__1_4 PP-SCON n4_a_fce_0102_2001_03__1->n4_a_fce_0102_2001_03__1_4 n4_a_fce_0102_2001_03__1_5 PUNC n4_a_fce_0102_2001_03__1->n4_a_fce_0102_2001_03__1_5 n4_a_fce_0102_2001_03__1_1_1 PRO n4_a_fce_0102_2001_03__1_1->n4_a_fce_0102_2001_03__1_1_1 n4_a_fce_0102_2001_03__1_1_1->n4_a_fce_0102_2001_03__1_1_1_1 n4_a_fce_0102_2001_03__1_2->n4_a_fce_0102_2001_03__1_2_1 n4_a_fce_0102_2001_03__1_3_1 VVN;_cat_Vt_ n4_a_fce_0102_2001_03__1_3->n4_a_fce_0102_2001_03__1_3_1 n4_a_fce_0102_2001_03__1_3_2 IP-INF-CAT n4_a_fce_0102_2001_03__1_3->n4_a_fce_0102_2001_03__1_3_2 n4_a_fce_0102_2001_03__1_3_1->n4_a_fce_0102_2001_03__1_3_1_1 n4_a_fce_0102_2001_03__1_3_2_1 TO n4_a_fce_0102_2001_03__1_3_2->n4_a_fce_0102_2001_03__1_3_2_1 n4_a_fce_0102_2001_03__1_3_2_2 VB;_phr_Vpr_ n4_a_fce_0102_2001_03__1_3_2->n4_a_fce_0102_2001_03__1_3_2_2 n4_a_fce_0102_2001_03__1_3_2_3 PP-CLR n4_a_fce_0102_2001_03__1_3_2->n4_a_fce_0102_2001_03__1_3_2_3 n4_a_fce_0102_2001_03__1_3_2_4 PP-NIM n4_a_fce_0102_2001_03__1_3_2->n4_a_fce_0102_2001_03__1_3_2_4 n4_a_fce_0102_2001_03__1_3_2_1->n4_a_fce_0102_2001_03__1_3_2_1_1 n4_a_fce_0102_2001_03__1_3_2_2->n4_a_fce_0102_2001_03__1_3_2_2_1 n4_a_fce_0102_2001_03__1_3_2_3_1 P-ROLE n4_a_fce_0102_2001_03__1_3_2_3->n4_a_fce_0102_2001_03__1_3_2_3_1 n4_a_fce_0102_2001_03__1_3_2_3_2 NP n4_a_fce_0102_2001_03__1_3_2_3->n4_a_fce_0102_2001_03__1_3_2_3_2 n4_a_fce_0102_2001_03__1_3_2_3_1->n4_a_fce_0102_2001_03__1_3_2_3_1_1 n4_a_fce_0102_2001_03__1_3_2_3_2_1 NP-GEN n4_a_fce_0102_2001_03__1_3_2_3_2->n4_a_fce_0102_2001_03__1_3_2_3_2_1 n4_a_fce_0102_2001_03__1_3_2_3_2_2 N n4_a_fce_0102_2001_03__1_3_2_3_2->n4_a_fce_0102_2001_03__1_3_2_3_2_2 n4_a_fce_0102_2001_03__1_3_2_3_2_1_1 PRO;_genm_ n4_a_fce_0102_2001_03__1_3_2_3_2_1->n4_a_fce_0102_2001_03__1_3_2_3_2_1_1 n4_a_fce_0102_2001_03__1_3_2_3_2_1_1->n4_a_fce_0102_2001_03__1_3_2_3_2_1_1_1 n4_a_fce_0102_2001_03__1_3_2_3_2_2->n4_a_fce_0102_2001_03__1_3_2_3_2_2_1 n4_a_fce_0102_2001_03__1_3_2_4_1 P-ROLE n4_a_fce_0102_2001_03__1_3_2_4->n4_a_fce_0102_2001_03__1_3_2_4_1 n4_a_fce_0102_2001_03__1_3_2_4_2 NP n4_a_fce_0102_2001_03__1_3_2_4->n4_a_fce_0102_2001_03__1_3_2_4_2 n4_a_fce_0102_2001_03__1_3_2_4_1->n4_a_fce_0102_2001_03__1_3_2_4_1_1 n4_a_fce_0102_2001_03__1_3_2_4_2_1 PRO n4_a_fce_0102_2001_03__1_3_2_4_2->n4_a_fce_0102_2001_03__1_3_2_4_2_1 n4_a_fce_0102_2001_03__1_3_2_4_2_1->n4_a_fce_0102_2001_03__1_3_2_4_2_1_1 n4_a_fce_0102_2001_03__1_4_1 P-CONN n4_a_fce_0102_2001_03__1_4->n4_a_fce_0102_2001_03__1_4_1 n4_a_fce_0102_2001_03__1_4_2 IP-ADV n4_a_fce_0102_2001_03__1_4->n4_a_fce_0102_2001_03__1_4_2 n4_a_fce_0102_2001_03__1_4_1->n4_a_fce_0102_2001_03__1_4_1_1 n4_a_fce_0102_2001_03__1_4_2_1 NP-SBJ n4_a_fce_0102_2001_03__1_4_2->n4_a_fce_0102_2001_03__1_4_2_1 n4_a_fce_0102_2001_03__1_4_2_2 BEP;_Ip_ n4_a_fce_0102_2001_03__1_4_2->n4_a_fce_0102_2001_03__1_4_2_2 n4_a_fce_0102_2001_03__1_4_2_3 ADVP-CLR n4_a_fce_0102_2001_03__1_4_2->n4_a_fce_0102_2001_03__1_4_2_3 n4_a_fce_0102_2001_03__1_4_2_1_1 PRO n4_a_fce_0102_2001_03__1_4_2_1->n4_a_fce_0102_2001_03__1_4_2_1_1 n4_a_fce_0102_2001_03__1_4_2_1_1->n4_a_fce_0102_2001_03__1_4_2_1_1_1 n4_a_fce_0102_2001_03__1_4_2_2->n4_a_fce_0102_2001_03__1_4_2_2_1 n4_a_fce_0102_2001_03__1_4_2_3_1 ADV n4_a_fce_0102_2001_03__1_4_2_3->n4_a_fce_0102_2001_03__1_4_2_3_1 n4_a_fce_0102_2001_03__1_4_2_3_1->n4_a_fce_0102_2001_03__1_4_2_3_1_1 n4_a_fce_0102_2001_03__1_5->n4_a_fce_0102_2001_03__1_5_1 
( (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))