TSPC 43_a_potter

43_a_potter_1902
His back was turned towards Peter, and beyond him was the gate!

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

arc(r_0043_0002__back,r_0043_0001__His,gen).
arc(r_0043_0003__was,r_0043_0004__turned_r_0043_0005__towards,scope).
arc(r_0043_0004__turned_r_0043_0005__towards,r_0043_0002__back,arg1).
arc(r_0043_0004__turned_r_0043_0005__towards,r_0043_0006__Peter,arg2).
arc(r_0043_0004__turned_r_0043_0005__towards,z_0043_5003___star_,arg0).
arc(r_0043_0008__and,r_0043_0003__was,conj1).
arc(r_0043_0008__and,r_0043_0009__beyond_r_0043_0011__was,conj2).
arc(r_0043_0009__beyond_r_0043_0011__was,r_0043_0001__His,arg1).
arc(r_0043_0009__beyond_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_0043_5003___STAR_,R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS,R_0043_0012__THE_R_0043_0013__GATE,R_0043_0009__BEYOND_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_0012__the_r_0043_0013__gate(R_0043_0012__THE_R_0043_0013__GATE)
      & z_0043_5003___star_(Z_0043_5003___STAR_)
      & r_0043_0008__and(R_0043_0008__AND)
      & has_conj2(R_0043_0008__AND,R_0043_0009__BEYOND_R_0043_0011__WAS)
      & r_0043_0009__beyond_r_0043_0011__was(R_0043_0009__BEYOND_R_0043_0011__WAS)
      & has_arg0(R_0043_0009__BEYOND_R_0043_0011__WAS,R_0043_0012__THE_R_0043_0013__GATE)
      & has_arg1(R_0043_0009__BEYOND_R_0043_0011__WAS,R_0043_0001__HIS)
      & has_conj1(R_0043_0008__AND,R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS)
      & r_0043_0003__was_r_0043_0004__turned_r_0043_0005__towards(R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS)
      & has_arg0(R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS,Z_0043_5003___STAR_)
      & has_arg2(R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS,R_0043_0006__PETER)
      & has_arg1(R_0043_0003__WAS_R_0043_0004__TURNED_R_0043_0005__TOWARDS,R_0043_0002__BACK)
      & r_0043_0002__back(R_0043_0002__BACK)
      & has_gen(R_0043_0002__BACK,R_0043_0001__HIS) ) ).