TSPC 63_a_lob

63_a_lob_n01
He had used one of them himself to dispose of Stefano and Pietro.

( (IP-MAT (NP-SBJ;{GEOFFREY} (PRO He;{he}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tn_ used;{use})
                      (NP-OB1 (NUM one;{one})
                              (PP (P-ROLE of;{of})
                                  (NP;{DUMPING_PLACES} (PRO them;{they}))))
                      (NP-RFL;{GEOFFREY} (PNX himself;{himself})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Ipr_ dispose;{dispose[of]})
                           (PP-CLR (P-ROLE of;{of})
                                   (NP (NLYR (NLYR (NPR Stefano;{Stefano}))
                                             (CONJP (CONJ and;{and})
                                                    (NLYR (NPR Pietro;{Pietro}))))))))
          (PUNC .))
  (ID 63_a_lob_n01))

arc(r_0063_0002__had,r_0063_0003__used,scope).
arc(r_0063_0003__used,r_0063_0001__He,arg0).
arc(r_0063_0003__used,r_0063_0001__He,rfl).
arc(r_0063_0003__used,r_0063_0004__one,arg1).
arc(r_0063_0004__one,r_0063_0006__them,r_0063_0005__of).
arc(r_0063_0009__dispose_r_0063_0010__of,r_0063_0001__He,arg0).
arc(r_0063_0009__dispose_r_0063_0010__of,r_0063_0012__and,arg1).
arc(r_0063_0012__and,r_0063_0011__Stefano,conj1).
arc(r_0063_0012__and,r_0063_0013__Pietro,conj2).
arc(z_0063_5001,r_0063_0002__had,scope).
arc(z_0063_5001,r_0063_0009__dispose_r_0063_0010__of,restriction).

fof(formula,axiom,
    ? [R_0063_0001__HE,R_0063_0006__THEM,R_0063_0004__ONE,R_0063_0002__HAD_R_0063_0003__USED,R_0063_0011__STEFANO,R_0063_0013__PIETRO,R_0063_0012__AND,R_0063_0009__DISPOSE_R_0063_0010__OF,Z_0063_5001] :
      ( r_0063_0001__He(R_0063_0001__HE)
      & r_0063_0006__them(R_0063_0006__THEM)
      & r_0063_0011__Stefano(R_0063_0011__STEFANO)
      & r_0063_0013__Pietro(R_0063_0013__PIETRO)
      & z_0063_5001(Z_0063_5001)
      & has_conj1(Z_0063_5001,R_0063_0009__DISPOSE_R_0063_0010__OF)
      & r_0063_0009__dispose_r_0063_0010__of(R_0063_0009__DISPOSE_R_0063_0010__OF)
      & has_arg1(R_0063_0009__DISPOSE_R_0063_0010__OF,R_0063_0012__AND)
      & r_0063_0012__and(R_0063_0012__AND)
      & has_conj2(R_0063_0012__AND,R_0063_0013__PIETRO)
      & has_conj1(R_0063_0012__AND,R_0063_0011__STEFANO)
      & has_arg0(R_0063_0009__DISPOSE_R_0063_0010__OF,R_0063_0001__HE)
      & has_conj2(Z_0063_5001,R_0063_0002__HAD_R_0063_0003__USED)
      & r_0063_0002__had_r_0063_0003__used(R_0063_0002__HAD_R_0063_0003__USED)
      & has_arg1(R_0063_0002__HAD_R_0063_0003__USED,R_0063_0004__ONE)
      & r_0063_0004__one(R_0063_0004__ONE)
      & has_r_0063_0005__of(R_0063_0004__ONE,R_0063_0006__THEM)
      & has_rfl(R_0063_0002__HAD_R_0063_0003__USED,R_0063_0001__HE)
      & has_arg0(R_0063_0002__HAD_R_0063_0003__USED,R_0063_0001__HE) ) ).