TSPC 63_a_lob

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

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, nim19).
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_0008__to_r_0063_0009__dispose, r_0063_0001__He, arg0).
arc(r_0063_0008__to_r_0063_0009__dispose, r_0063_0012__and, r_0063_0010__of_clr31).
arc(r_0063_0012__and, r_0063_0011__Stefano, conj1).
arc(r_0063_0012__and, r_0063_0013__Pietro, conj2).
arc(z_000_63_a_lob_n01_22, r_0063_0002__had, scope).
arc(z_000_63_a_lob_n01_22, r_0063_0008__to_r_0063_0009__dispose, 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_0008__TO_R_0063_0009__DISPOSE,Z_000_63_A_LOB_N01_22] :
      ( 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_000_63_a_lob_n01_22(Z_000_63_A_LOB_N01_22)
      & has_conj1(Z_000_63_A_LOB_N01_22,R_0063_0008__TO_R_0063_0009__DISPOSE)
      & r_0063_0008__to_r_0063_0009__dispose(R_0063_0008__TO_R_0063_0009__DISPOSE)
      & has_r_0063_0010__of_clr31(R_0063_0008__TO_R_0063_0009__DISPOSE,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_0008__TO_R_0063_0009__DISPOSE,R_0063_0001__HE)
      & has_conj2(Z_000_63_A_LOB_N01_22,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_nim19(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) ) ).

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