17_a_potter_1902
he rushed all over the garden, for he had forgotten the way back to the gate.
arc(r_0017_0002__rushed, r_0017_0001__he, arg0).
arc(r_0017_0002__rushed, r_0017_0005__the_r_0017_0006__garden, r_0017_0003__all_r_0017_0004__over_clr12).
arc(r_0017_0008__for, r_0017_0002__rushed, scope).
arc(r_0017_0008__for, r_0017_0010__had, restriction).
arc(r_0017_0010__had, r_0017_0011__forgotten, scope).
arc(r_0017_0011__forgotten, r_0017_0001__he, arg0).
arc(r_0017_0011__forgotten, r_0017_0012__the_r_0017_0013__way, arg1).
arc(r_0017_0012__the_r_0017_0013__way, r_0017_0014__back, qual36).
arc(r_0017_0012__the_r_0017_0013__way, r_0017_0016__the_r_0017_0017__gate, r_0017_0015__to).
fof(formula,axiom,
? [R_17_8_FOR,R_17_10_HAD_FORGOTTEN,R_17_12_THE_WAY,R_17_14_BACK,R_17_16_THE_GATE,R_17_2_RUSHED,R_17_1_HE,R_17_5_THE_GARDEN] :
( back(R_17_14_BACK)
& the_gate(R_17_16_THE_GATE)
& he(R_17_1_HE)
& the_garden(R_17_5_THE_GARDEN)
& for(R_17_8_FOR)
& conj1(R_17_8_FOR,R_17_10_HAD_FORGOTTEN)
& had_forgotten(R_17_10_HAD_FORGOTTEN,R_17_1_HE,R_17_12_THE_WAY)
& the_way(R_17_12_THE_WAY)
& qual36(R_17_12_THE_WAY,R_17_14_BACK)
& to(R_17_12_THE_WAY,R_17_16_THE_GATE)
& conj2(R_17_8_FOR,R_17_2_RUSHED)
& rushed(R_17_2_RUSHED,R_17_1_HE)
& all_over_clr12(R_17_2_RUSHED,R_17_5_THE_GARDEN) ) ).
( (IP-MAT (NP-SBJ;{PETER} (PRO he;{he}))
(VBD;_Ipr_ rushed;{rush[over]})
(PP-CLR (ADV all;{all})
(P-ROLE over;{over})
(NP (D the;{the})
(N garden;{garden})))
(PUNC ,)
(PP-SCON (P-CONN for;{for})
(IP-ADV (NP-SBJ;{PETER} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_Tn_ forgotten;{forget})
(NP-OB1 (D the;{the})
(N way;{way})
(ADVP (ADV back;{back}))
(PP (P-ROLE to;{to})
(NP;{GARDEN_GATE} (D the;{the})
(N gate;{gate})))))))
(PUNC .))
(ID 17_a_potter_1902))