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_0043_0001__HIS,R_0043_0002__BACK,R_0043_0006__PETER,Z_000_43_A_POTTER_1902_13,R_0043_0003__WAS_R_0043_0004__TURNED,R_0043_0010__HIM,R_0043_0012__THE_R_0043_0013__GATE,R_0043_0011__WAS,R_0043_0008__AND] :
      ( r_0043_0001__His(R_0043_0001__HIS)
      & r_0043_0006__Peter(R_0043_0006__PETER)
      & r_0043_0010__him(R_0043_0010__HIM)
      & r_0043_0012__the_r_0043_0013__gate(R_0043_0012__THE_R_0043_0013__GATE)
      & z_000_43_a_potter_1902_13(Z_000_43_A_POTTER_1902_13)
      & r_0043_0008__and(R_0043_0008__AND)
      & has_conj2(R_0043_0008__AND,R_0043_0011__WAS)
      & r_0043_0011__was(R_0043_0011__WAS)
      & has_arg0(R_0043_0011__WAS,R_0043_0012__THE_R_0043_0013__GATE)
      & has_r_0043_0009__beyond_clr32(R_0043_0011__WAS,R_0043_0010__HIM)
      & has_conj1(R_0043_0008__AND,R_0043_0003__WAS_R_0043_0004__TURNED)
      & r_0043_0003__was_r_0043_0004__turned(R_0043_0003__WAS_R_0043_0004__TURNED)
      & has_arg0(R_0043_0003__WAS_R_0043_0004__TURNED,Z_000_43_A_POTTER_1902_13)
      & has_r_0043_0005__towards_clr20(R_0043_0003__WAS_R_0043_0004__TURNED,R_0043_0006__PETER)
      & has_arg1(R_0043_0003__WAS_R_0043_0004__TURNED,R_0043_0002__BACK)
      & r_0043_0002__back(R_0043_0002__BACK)
      & has_gen(R_0043_0002__BACK,R_0043_0001__HIS) ) ).

( (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))