Context                Previous, Next                Top


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

%3 r_0008_0002__knelt knelt r_0008_0001__John John r_0008_0002__knelt->r_0008_0001__John [arg0] r_0008_0003__down down r_0008_0002__knelt->r_0008_0003__down [clr] r_0008_0004__to_r_0008_0005__make to make r_0008_0004__to_r_0008_0005__make->r_0008_0001__John [arg0] r_0008_0007__easier easier r_0008_0004__to_r_0008_0005__make->r_0008_0007__easier [prd] r_0008_0008__to_r_0008_0009__clean to clean r_0008_0004__to_r_0008_0005__make->r_0008_0008__to_r_0008_0009__clean [arg1] r_0008_0010__the_r_0008_0011__bulldog the bulldog r_0008_0008__to_r_0008_0009__clean->r_0008_0010__the_r_0008_0011__bulldog [arg1] z_000_8_a_stories_09_m12_16 r_0008_0008__to_r_0008_0009__clean->z_000_8_a_stories_09_m12_16 [arg0] z_000_8_a_stories_09_m12_10 z_000_8_a_stories_09_m12_10->r_0008_0002__knelt [scope] z_000_8_a_stories_09_m12_10->r_0008_0004__to_r_0008_0005__make [restriction] 
arc(r_0008_0002__knelt, r_0008_0001__John, arg0).
arc(r_0008_0002__knelt, r_0008_0003__down, clr7).
arc(r_0008_0004__to_r_0008_0005__make, r_0008_0001__John, arg0).
arc(r_0008_0004__to_r_0008_0005__make, r_0008_0007__easier, prd).
arc(r_0008_0004__to_r_0008_0005__make, r_0008_0008__to_r_0008_0009__clean, arg1).
arc(r_0008_0008__to_r_0008_0009__clean, r_0008_0010__the_r_0008_0011__bulldog, arg1).
arc(r_0008_0008__to_r_0008_0009__clean, z_000_8_a_stories_09_m12_16, arg0).
arc(z_000_8_a_stories_09_m12_10, r_0008_0002__knelt, scope).
arc(z_000_8_a_stories_09_m12_10, r_0008_0004__to_r_0008_0005__make, restriction).


%3 r_0008_0002__knelt knelt r_0008_0001__John John r_0008_0002__knelt->r_0008_0001__John [arg0] r_0008_0003__down down r_0008_0002__knelt->r_0008_0003__down [clr] r_0008_0004__to_r_0008_0005__make to make r_0008_0004__to_r_0008_0005__make->r_0008_0001__John [arg0] r_0008_0007__easier easier r_0008_0004__to_r_0008_0005__make->r_0008_0007__easier [prd] r_0008_0008__to_r_0008_0009__clean to clean r_0008_0004__to_r_0008_0005__make->r_0008_0008__to_r_0008_0009__clean [arg1] r_0008_0010__the_r_0008_0011__bulldog the bulldog r_0008_0008__to_r_0008_0009__clean->r_0008_0010__the_r_0008_0011__bulldog [arg1] z_000_8_a_stories_09_m12_16 r_0008_0008__to_r_0008_0009__clean->z_000_8_a_stories_09_m12_16 [arg0] z_000_8_a_stories_09_m12_10 z_000_8_a_stories_09_m12_10->r_0008_0002__knelt [conj2] z_000_8_a_stories_09_m12_10->r_0008_0004__to_r_0008_0005__make [conj1] 
fof(formula,axiom,
    ? [Z_8_A_STORIES_9_M12_10,R_8_4_TO_MAKE,R_8_8_TO_CLEAN,Z_8_A_STORIES_9_M12_16,R_8_10_THE_BULLDOG,R_8_7_EASIER,R_8_2_KNELT,R_8_1_JOHN,R_8_3_DOWN] :
      ( the_bulldog(R_8_10_THE_BULLDOG)
      & easier(R_8_7_EASIER)
      & john(R_8_1_JOHN)
      & down(R_8_3_DOWN)
      & z_8_a_stories_9_m12_10(Z_8_A_STORIES_9_M12_10)
      & conj1(Z_8_A_STORIES_9_M12_10,R_8_4_TO_MAKE)
      & to_make(R_8_4_TO_MAKE,R_8_1_JOHN,R_8_8_TO_CLEAN,R_8_7_EASIER)
      & to_clean(R_8_8_TO_CLEAN,Z_8_A_STORIES_9_M12_16,R_8_10_THE_BULLDOG)
      & conj2(Z_8_A_STORIES_9_M12_10,R_8_2_KNELT)
      & knelt(R_8_2_KNELT,R_8_1_JOHN)
      & clr7(R_8_2_KNELT,R_8_3_DOWN) ) ).


n8_a_stories_09_m12 n8_a_stories_09_m12_4 John n8_a_stories_09_m12_6 knelt n8_a_stories_09_m12_9 down n8_a_stories_09_m12_13 to n8_a_stories_09_m12_15 make n8_a_stories_09_m12_18 it n8_a_stories_09_m12_21 easier n8_a_stories_09_m12_24 to n8_a_stories_09_m12_26 clean n8_a_stories_09_m12_29 the n8_a_stories_09_m12_31 bulldog n8_a_stories_09_m12_33 . n8_a_stories_09_m12_1 IP-MAT n8_a_stories_09_m12_2 NP-SBJ n8_a_stories_09_m12_1->n8_a_stories_09_m12_2 n8_a_stories_09_m12_5 VBD;_Ip_ n8_a_stories_09_m12_1->n8_a_stories_09_m12_5 n8_a_stories_09_m12_7 ADVP-CLR n8_a_stories_09_m12_1->n8_a_stories_09_m12_7 n8_a_stories_09_m12_10 PP-SCON n8_a_stories_09_m12_1->n8_a_stories_09_m12_10 n8_a_stories_09_m12_32 PUNC n8_a_stories_09_m12_1->n8_a_stories_09_m12_32 n8_a_stories_09_m12_3 NPR n8_a_stories_09_m12_2->n8_a_stories_09_m12_3 n8_a_stories_09_m12_3->n8_a_stories_09_m12_4 n8_a_stories_09_m12_5->n8_a_stories_09_m12_6 n8_a_stories_09_m12_8 RP n8_a_stories_09_m12_7->n8_a_stories_09_m12_8 n8_a_stories_09_m12_8->n8_a_stories_09_m12_9 n8_a_stories_09_m12_11 IP-INF2 n8_a_stories_09_m12_10->n8_a_stories_09_m12_11 n8_a_stories_09_m12_12 TO n8_a_stories_09_m12_11->n8_a_stories_09_m12_12 n8_a_stories_09_m12_14 VB;_Cn.a_ n8_a_stories_09_m12_11->n8_a_stories_09_m12_14 n8_a_stories_09_m12_16 NP-OB1 n8_a_stories_09_m12_11->n8_a_stories_09_m12_16 n8_a_stories_09_m12_19 ADJP-PRD n8_a_stories_09_m12_11->n8_a_stories_09_m12_19 n8_a_stories_09_m12_22 IP-INF3-NOB1 n8_a_stories_09_m12_11->n8_a_stories_09_m12_22 n8_a_stories_09_m12_12->n8_a_stories_09_m12_13 n8_a_stories_09_m12_14->n8_a_stories_09_m12_15 n8_a_stories_09_m12_17 PRO;_provisional_ n8_a_stories_09_m12_16->n8_a_stories_09_m12_17 n8_a_stories_09_m12_17->n8_a_stories_09_m12_18 n8_a_stories_09_m12_20 ADJR n8_a_stories_09_m12_19->n8_a_stories_09_m12_20 n8_a_stories_09_m12_20->n8_a_stories_09_m12_21 n8_a_stories_09_m12_23 TO n8_a_stories_09_m12_22->n8_a_stories_09_m12_23 n8_a_stories_09_m12_25 VB;_Tn_ n8_a_stories_09_m12_22->n8_a_stories_09_m12_25 n8_a_stories_09_m12_27 NP-OB1 n8_a_stories_09_m12_22->n8_a_stories_09_m12_27 n8_a_stories_09_m12_23->n8_a_stories_09_m12_24 n8_a_stories_09_m12_25->n8_a_stories_09_m12_26 n8_a_stories_09_m12_28 D n8_a_stories_09_m12_27->n8_a_stories_09_m12_28 n8_a_stories_09_m12_30 N n8_a_stories_09_m12_27->n8_a_stories_09_m12_30 n8_a_stories_09_m12_28->n8_a_stories_09_m12_29 n8_a_stories_09_m12_30->n8_a_stories_09_m12_31 n8_a_stories_09_m12_32->n8_a_stories_09_m12_33 
( (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))