Context                Previous, Next                Top


8_a_stories_09_m12
John knelt down to make it easier to clean the bulldog.

n8_a_stories_09_m12 n8_a_stories_09_m12__1_1_1_1 John n8_a_stories_09_m12__1_2_1 knelt n8_a_stories_09_m12__1_3_1_1 down n8_a_stories_09_m12__1_4_1_1_1 to n8_a_stories_09_m12__1_4_1_2_1 make n8_a_stories_09_m12__1_4_1_3_1_1 it n8_a_stories_09_m12__1_4_1_4_1_1 easier n8_a_stories_09_m12__1_4_1_5_1_1 to n8_a_stories_09_m12__1_4_1_5_2_1 clean n8_a_stories_09_m12__1_4_1_5_3_1_1 the n8_a_stories_09_m12__1_4_1_5_3_2_1 bulldog n8_a_stories_09_m12__1_5_1 . n8_a_stories_09_m12__1 IP-MAT n8_a_stories_09_m12__1_1 NP-SBJ n8_a_stories_09_m12__1->n8_a_stories_09_m12__1_1 n8_a_stories_09_m12__1_2 VBD;_Ip_ n8_a_stories_09_m12__1->n8_a_stories_09_m12__1_2 n8_a_stories_09_m12__1_3 ADVP-CLR n8_a_stories_09_m12__1->n8_a_stories_09_m12__1_3 n8_a_stories_09_m12__1_4 PP-SCON n8_a_stories_09_m12__1->n8_a_stories_09_m12__1_4 n8_a_stories_09_m12__1_5 PUNC n8_a_stories_09_m12__1->n8_a_stories_09_m12__1_5 n8_a_stories_09_m12__1_1_1 NPR n8_a_stories_09_m12__1_1->n8_a_stories_09_m12__1_1_1 n8_a_stories_09_m12__1_1_1->n8_a_stories_09_m12__1_1_1_1 n8_a_stories_09_m12__1_2->n8_a_stories_09_m12__1_2_1 n8_a_stories_09_m12__1_3_1 RP n8_a_stories_09_m12__1_3->n8_a_stories_09_m12__1_3_1 n8_a_stories_09_m12__1_3_1->n8_a_stories_09_m12__1_3_1_1 n8_a_stories_09_m12__1_4_1 IP-INF2 n8_a_stories_09_m12__1_4->n8_a_stories_09_m12__1_4_1 n8_a_stories_09_m12__1_4_1_1 TO n8_a_stories_09_m12__1_4_1->n8_a_stories_09_m12__1_4_1_1 n8_a_stories_09_m12__1_4_1_2 VB;_Cn.a_ n8_a_stories_09_m12__1_4_1->n8_a_stories_09_m12__1_4_1_2 n8_a_stories_09_m12__1_4_1_3 NP-OB1 n8_a_stories_09_m12__1_4_1->n8_a_stories_09_m12__1_4_1_3 n8_a_stories_09_m12__1_4_1_4 ADJP-PRD n8_a_stories_09_m12__1_4_1->n8_a_stories_09_m12__1_4_1_4 n8_a_stories_09_m12__1_4_1_5 IP-INF3-NOB1 n8_a_stories_09_m12__1_4_1->n8_a_stories_09_m12__1_4_1_5 n8_a_stories_09_m12__1_4_1_1->n8_a_stories_09_m12__1_4_1_1_1 n8_a_stories_09_m12__1_4_1_2->n8_a_stories_09_m12__1_4_1_2_1 n8_a_stories_09_m12__1_4_1_3_1 PRO;_provisional_ n8_a_stories_09_m12__1_4_1_3->n8_a_stories_09_m12__1_4_1_3_1 n8_a_stories_09_m12__1_4_1_3_1->n8_a_stories_09_m12__1_4_1_3_1_1 n8_a_stories_09_m12__1_4_1_4_1 ADJR n8_a_stories_09_m12__1_4_1_4->n8_a_stories_09_m12__1_4_1_4_1 n8_a_stories_09_m12__1_4_1_4_1->n8_a_stories_09_m12__1_4_1_4_1_1 n8_a_stories_09_m12__1_4_1_5_1 TO n8_a_stories_09_m12__1_4_1_5->n8_a_stories_09_m12__1_4_1_5_1 n8_a_stories_09_m12__1_4_1_5_2 VB;_Tn_ n8_a_stories_09_m12__1_4_1_5->n8_a_stories_09_m12__1_4_1_5_2 n8_a_stories_09_m12__1_4_1_5_3 NP-OB1 n8_a_stories_09_m12__1_4_1_5->n8_a_stories_09_m12__1_4_1_5_3 n8_a_stories_09_m12__1_4_1_5_1->n8_a_stories_09_m12__1_4_1_5_1_1 n8_a_stories_09_m12__1_4_1_5_2->n8_a_stories_09_m12__1_4_1_5_2_1 n8_a_stories_09_m12__1_4_1_5_3_1 D n8_a_stories_09_m12__1_4_1_5_3->n8_a_stories_09_m12__1_4_1_5_3_1 n8_a_stories_09_m12__1_4_1_5_3_2 N n8_a_stories_09_m12__1_4_1_5_3->n8_a_stories_09_m12__1_4_1_5_3_2 n8_a_stories_09_m12__1_4_1_5_3_1->n8_a_stories_09_m12__1_4_1_5_3_1_1 n8_a_stories_09_m12__1_4_1_5_3_2->n8_a_stories_09_m12__1_4_1_5_3_2_1 n8_a_stories_09_m12__1_5->n8_a_stories_09_m12__1_5_1 
( (IP-MAT (NP-SBJ;{JOHN} (NPR John;{John}))
          (VBD;_Ip_ knelt;{kneel[down]})
          (ADVP-CLR (RP down;{down}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Cn.a_ make;{make})
                            (NP-OB1 (PRO;_provisional_ it;{it}))
                            (ADJP-PRD (ADJR easier;{easy}))
                            (IP-INF3-NOB1 (TO to;{to})
                                          (VB;_Tn_ clean;{clean})
                                          (NP-OB1;{BULLDOG} (D the;{the})
                                                            (N bulldog;{bulldog})))))
          (PUNC .))
  (ID 8_a_stories_09_m12))


%3 z_0008_5001 r_0008_0005__make make z_0008_5001->r_0008_0005__make [restriction] r_0008_0002__knelt_r_0008_0003__down knelt down z_0008_5001->r_0008_0002__knelt_r_0008_0003__down [scope] r_0008_0009__clean clean r_0008_0005__make->r_0008_0009__clean [arg1] r_0008_0007__easier easier r_0008_0005__make->r_0008_0007__easier [prd] r_0008_0001__John John r_0008_0005__make->r_0008_0001__John [arg0] r_0008_0002__knelt_r_0008_0003__down->r_0008_0001__John [arg0] z_0008_5005 r_0008_0009__clean->z_0008_5005 [arg0] r_0008_0010__the_r_0008_0011__bulldog the bulldog r_0008_0009__clean->r_0008_0010__the_r_0008_0011__bulldog [arg1] 
arc(r_0008_0002__knelt_r_0008_0003__down,r_0008_0001__John,arg0).
arc(r_0008_0005__make,r_0008_0001__John,arg0).
arc(r_0008_0005__make,r_0008_0007__easier,prd).
arc(r_0008_0005__make,r_0008_0009__clean,arg1).
arc(r_0008_0009__clean,r_0008_0010__the_r_0008_0011__bulldog,arg1).
arc(r_0008_0009__clean,z_0008_5005,arg0).
arc(z_0008_5001,r_0008_0002__knelt_r_0008_0003__down,scope).
arc(z_0008_5001,r_0008_0005__make,restriction).


%3 r_0008_0002__knelt_r_0008_0003__down knelt down r_0008_0001__John John r_0008_0002__knelt_r_0008_0003__down->r_0008_0001__John [arg0] r_0008_0005__make make r_0008_0005__make->r_0008_0001__John [arg0] r_0008_0007__easier easier r_0008_0005__make->r_0008_0007__easier [prd] r_0008_0009__clean clean r_0008_0005__make->r_0008_0009__clean [arg1] r_0008_0010__the_r_0008_0011__bulldog the bulldog r_0008_0009__clean->r_0008_0010__the_r_0008_0011__bulldog [arg1] z_0008_5005 r_0008_0009__clean->z_0008_5005 [arg0] z_0008_5001 z_0008_5001->r_0008_0002__knelt_r_0008_0003__down [conj2] z_0008_5001->r_0008_0005__make [conj1] 
fof(formula,axiom,
    ? [R_0008_0001__JOHN,R_0008_0002__KNELT_R_0008_0003__DOWN,R_0008_0007__EASIER,R_0008_0010__THE_R_0008_0011__BULLDOG,Z_0008_5005,R_0008_0009__CLEAN,R_0008_0005__MAKE,Z_0008_5001] :
      ( r_0008_0001__John(R_0008_0001__JOHN)
      & r_0008_0007__easier(R_0008_0007__EASIER)
      & r_0008_0010__the_r_0008_0011__bulldog(R_0008_0010__THE_R_0008_0011__BULLDOG)
      & z_0008_5005(Z_0008_5005)
      & z_0008_5001(Z_0008_5001)
      & has_conj1(Z_0008_5001,R_0008_0005__MAKE)
      & r_0008_0005__make(R_0008_0005__MAKE)
      & has_arg1(R_0008_0005__MAKE,R_0008_0009__CLEAN)
      & r_0008_0009__clean(R_0008_0009__CLEAN)
      & has_arg0(R_0008_0009__CLEAN,Z_0008_5005)
      & has_arg1(R_0008_0009__CLEAN,R_0008_0010__THE_R_0008_0011__BULLDOG)
      & has_prd(R_0008_0005__MAKE,R_0008_0007__EASIER)
      & has_arg0(R_0008_0005__MAKE,R_0008_0001__JOHN)
      & has_conj2(Z_0008_5001,R_0008_0002__KNELT_R_0008_0003__DOWN)
      & r_0008_0002__knelt_r_0008_0003__down(R_0008_0002__KNELT_R_0008_0003__DOWN)
      & has_arg0(R_0008_0002__KNELT_R_0008_0003__DOWN,R_0008_0001__JOHN) ) ).