31_a_potter_1902
He went back to his work.
arc(r_0031_0002__went, r_0031_0001__He, arg0).
arc(r_0031_0002__went, r_0031_0003__back, clr7).
arc(r_0031_0003__back, r_0031_0006__work, r_0031_0004__to).
arc(r_0031_0006__work, r_0031_0001__He, gen).
fof(formula,axiom,
? [R_31_2_WENT,R_31_3_BACK,R_31_6_WORK,R_31_1_HE] :
( he(R_31_1_HE)
& went(R_31_2_WENT,R_31_1_HE)
& clr7(R_31_2_WENT,R_31_3_BACK)
& back(R_31_3_BACK)
& to(R_31_3_BACK,R_31_6_WORK)
& work(R_31_6_WORK)
& gen(R_31_6_WORK,R_31_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 31_a_potter_1902))