26_a_potter_1902
He went back to his work.
arc(r_0026_0002__went, r_0026_0001__He, arg0).
arc(r_0026_0002__went, r_0026_0003__back, clr7).
arc(r_0026_0003__back, r_0026_0006__work, r_0026_0004__to).
arc(r_0026_0006__work, r_0026_0001__He, gen).
fof(formula,axiom,
? [R_26_2_WENT,R_26_3_BACK,R_26_6_WORK,R_26_1_HE] :
( he(R_26_1_HE)
& went(R_26_2_WENT,R_26_1_HE)
& clr7(R_26_2_WENT,R_26_3_BACK)
& back(R_26_3_BACK)
& to(R_26_3_BACK,R_26_6_WORK)
& work(R_26_6_WORK)
& gen(R_26_6_WORK,R_26_1_HE) ) ).
( (IP-MAT (NP-SBJ;{MRMCG} (PRO He;{he}))
(VBD;_Ip_ went;{go[back]})
(ADVP-CLR (ADV back;{back})
(PP (P-ROLE to;{to})
(NP (NP-GEN;{MRMCG} (PRO;_genm_ his;{his}))
(N work;{work}))))
(PUNC .))
(ID 26_a_potter_1902))