43_a_potter_1902
His back was turned towards Peter, and beyond him was the gate!
arc(r_0043_0002__back, r_0043_0001__His, gen).
arc(r_0043_0003__was, r_0043_0004__turned, scope).
arc(r_0043_0004__turned, r_0043_0002__back, arg1).
arc(r_0043_0004__turned, r_0043_0006__Peter, r_0043_0005__towards_clr20).
arc(r_0043_0004__turned, z_000_43_a_potter_1902_13, arg0).
arc(r_0043_0008__and, r_0043_0003__was, conj1).
arc(r_0043_0008__and, r_0043_0011__was, conj2).
arc(r_0043_0011__was, r_0043_0010__him, r_0043_0009__beyond_clr32).
arc(r_0043_0011__was, r_0043_0012__the_r_0043_0013__gate, arg0).
fof(formula,axiom,
? [R_43_8_AND,R_43_3_WAS_TURNED,Z_43_A_POTTER_1902_13,R_43_2_BACK,R_43_1_HIS,R_43_6_PETER,R_43_11_WAS,R_43_12_THE_GATE,R_43_10_HIM] :
( his(R_43_1_HIS)
& peter(R_43_6_PETER)
& the_gate(R_43_12_THE_GATE)
& him(R_43_10_HIM)
& and(R_43_8_AND)
& conj1(R_43_8_AND,R_43_3_WAS_TURNED)
& was_turned(R_43_3_WAS_TURNED,Z_43_A_POTTER_1902_13,R_43_2_BACK)
& back(R_43_2_BACK)
& gen(R_43_2_BACK,R_43_1_HIS)
& towards_clr20(R_43_3_WAS_TURNED,R_43_6_PETER)
& conj2(R_43_8_AND,R_43_11_WAS)
& was(R_43_11_WAS,R_43_12_THE_GATE)
& beyond_clr32(R_43_11_WAS,R_43_10_HIM) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{MRMCG} (PRO;_genm_ His;{his}))
(N back;{back}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ turned;{turn[towards]})
(PP-CLR (P-ROLE towards;{towards})
(NP;{PETER} (NPR Peter;{Peter})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (PP-TPC-CLR (P-ROLE beyond;{beyond})
(NP;{MRMCG} (PRO him;{he})))
(BED;_Ipr_ was;{be[beyond]})
(NP-SBJ;{GARDEN_GATE} (D the;{the})
(N gate;{gate})))))
(PUNC !))
(ID 43_a_potter_1902))