51_a_potter_1902
His back was turned towards Peter, and beyond him was the gate!
arc(r_0051_0002__back, r_0051_0001__His, gen).
arc(r_0051_0003__was, r_0051_0004__turned, scope).
arc(r_0051_0004__turned, r_0051_0002__back, arg1).
arc(r_0051_0004__turned, r_0051_0006__Peter, r_0051_0005__towards_clr20).
arc(r_0051_0004__turned, z_000_51_a_potter_1902_13, arg0).
arc(r_0051_0008__and, r_0051_0003__was, conj1).
arc(r_0051_0008__and, r_0051_0011__was, conj2).
arc(r_0051_0011__was, r_0051_0010__him, r_0051_0009__beyond_clr32).
arc(r_0051_0011__was, r_0051_0012__the_r_0051_0013__gate, arg0).
fof(formula,axiom,
? [R_51_8_AND,R_51_3_WAS_TURNED,Z_51_A_POTTER_1902_13,R_51_2_BACK,R_51_1_HIS,R_51_6_PETER,R_51_11_WAS,R_51_12_THE_GATE,R_51_10_HIM] :
( his(R_51_1_HIS)
& peter(R_51_6_PETER)
& the_gate(R_51_12_THE_GATE)
& him(R_51_10_HIM)
& and(R_51_8_AND)
& conj1(R_51_8_AND,R_51_3_WAS_TURNED)
& was_turned(R_51_3_WAS_TURNED,Z_51_A_POTTER_1902_13,R_51_2_BACK)
& back(R_51_2_BACK)
& gen(R_51_2_BACK,R_51_1_HIS)
& towards_clr20(R_51_3_WAS_TURNED,R_51_6_PETER)
& conj2(R_51_8_AND,R_51_11_WAS)
& was(R_51_11_WAS,R_51_12_THE_GATE)
& beyond_clr32(R_51_11_WAS,R_51_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 51_a_potter_1902))