Context                Previous, Next                Top


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

%3 r_0063_0002__had had r_0063_0003__used used r_0063_0002__had->r_0063_0003__used [scope] r_0063_0001__He He r_0063_0003__used->r_0063_0001__He [arg0] r_0063_0003__used->r_0063_0001__He [nim] r_0063_0004__one one r_0063_0003__used->r_0063_0004__one [arg1] r_0063_0006__them them r_0063_0004__one->r_0063_0006__them of r_0063_0008__to_r_0063_0009__dispose to dispose r_0063_0008__to_r_0063_0009__dispose->r_0063_0001__He [arg0] r_0063_0012__and and r_0063_0008__to_r_0063_0009__dispose->r_0063_0012__and of [clr] r_0063_0011__Stefano Stefano r_0063_0012__and->r_0063_0011__Stefano [conj1] r_0063_0013__Pietro Pietro r_0063_0012__and->r_0063_0013__Pietro [conj2] z_000_63_a_lob_n01_22 z_000_63_a_lob_n01_22->r_0063_0002__had [scope] z_000_63_a_lob_n01_22->r_0063_0008__to_r_0063_0009__dispose [restriction] 
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).


%3 z_000_63_a_lob_n01_22 r_0063_0008__to_r_0063_0009__dispose to dispose z_000_63_a_lob_n01_22->r_0063_0008__to_r_0063_0009__dispose [conj1] r_0063_0002__had_r_0063_0003__used had used z_000_63_a_lob_n01_22->r_0063_0002__had_r_0063_0003__used [conj2] r_0063_0012__and and r_0063_0008__to_r_0063_0009__dispose->r_0063_0012__and of [clr] r_0063_0001__He He r_0063_0008__to_r_0063_0009__dispose->r_0063_0001__He [arg0] r_0063_0002__had_r_0063_0003__used->r_0063_0001__He [nim] r_0063_0002__had_r_0063_0003__used->r_0063_0001__He [arg0] r_0063_0004__one one r_0063_0002__had_r_0063_0003__used->r_0063_0004__one [arg1] r_0063_0013__Pietro Pietro r_0063_0012__and->r_0063_0013__Pietro [conj2] r_0063_0011__Stefano Stefano r_0063_0012__and->r_0063_0011__Stefano [conj1] r_0063_0006__them them r_0063_0004__one->r_0063_0006__them of 
fof(formula,axiom,
    ? [Z_63_A_LOB_N01_22,R_63_8_TO_DISPOSE,R_63_12_AND,R_63_11_STEFANO,R_63_13_PIETRO,R_63_2_HAD_USED,R_63_4_ONE,R_63_6_THEM,R_63_1_HE] :
      ( stefano(R_63_11_STEFANO)
      & pietro(R_63_13_PIETRO)
      & them(R_63_6_THEM)
      & he(R_63_1_HE)
      & z_63_a_lob_n01_22(Z_63_A_LOB_N01_22)
      & conj1(Z_63_A_LOB_N01_22,R_63_8_TO_DISPOSE)
      & to_dispose(R_63_8_TO_DISPOSE,R_63_1_HE)
      & of_clr31(R_63_8_TO_DISPOSE,R_63_12_AND)
      & and(R_63_12_AND)
      & conj1(R_63_12_AND,R_63_11_STEFANO)
      & conj2(R_63_12_AND,R_63_13_PIETRO)
      & conj2(Z_63_A_LOB_N01_22,R_63_2_HAD_USED)
      & had_used(R_63_2_HAD_USED,R_63_1_HE,R_63_4_ONE)
      & one(R_63_4_ONE)
      & of(R_63_4_ONE,R_63_6_THEM)
      & nim19(R_63_2_HAD_USED,R_63_1_HE) ) ).


n63_a_lob_n01 n63_a_lob_n01__1_1_1_1 He n63_a_lob_n01__1_2_1 had n63_a_lob_n01__1_3_1_1 used n63_a_lob_n01__1_3_2_1_1 one n63_a_lob_n01__1_3_2_2_1_1 of n63_a_lob_n01__1_3_2_2_2_1_1 them n63_a_lob_n01__1_3_3_1_1 himself n63_a_lob_n01__1_4_1_1_1 to n63_a_lob_n01__1_4_1_2_1 dispose n63_a_lob_n01__1_4_1_3_1_1 of n63_a_lob_n01__1_4_1_3_2_1_1_1_1 Stefano n63_a_lob_n01__1_4_1_3_2_1_2_1_1 and n63_a_lob_n01__1_4_1_3_2_1_2_2_1_1 Pietro n63_a_lob_n01__1_5_1 . n63_a_lob_n01__1 IP-MAT n63_a_lob_n01__1_1 NP-SBJ n63_a_lob_n01__1->n63_a_lob_n01__1_1 n63_a_lob_n01__1_2 HVD;_cat_Ve_ n63_a_lob_n01__1->n63_a_lob_n01__1_2 n63_a_lob_n01__1_3 IP-PPL-CAT n63_a_lob_n01__1->n63_a_lob_n01__1_3 n63_a_lob_n01__1_4 PP-SCON n63_a_lob_n01__1->n63_a_lob_n01__1_4 n63_a_lob_n01__1_5 PUNC n63_a_lob_n01__1->n63_a_lob_n01__1_5 n63_a_lob_n01__1_1_1 PRO n63_a_lob_n01__1_1->n63_a_lob_n01__1_1_1 n63_a_lob_n01__1_1_1->n63_a_lob_n01__1_1_1_1 n63_a_lob_n01__1_2->n63_a_lob_n01__1_2_1 n63_a_lob_n01__1_3_1 VVN;_Tn_ n63_a_lob_n01__1_3->n63_a_lob_n01__1_3_1 n63_a_lob_n01__1_3_2 NP-OB1 n63_a_lob_n01__1_3->n63_a_lob_n01__1_3_2 n63_a_lob_n01__1_3_3 NP-RFL n63_a_lob_n01__1_3->n63_a_lob_n01__1_3_3 n63_a_lob_n01__1_3_1->n63_a_lob_n01__1_3_1_1 n63_a_lob_n01__1_3_2_1 NUM n63_a_lob_n01__1_3_2->n63_a_lob_n01__1_3_2_1 n63_a_lob_n01__1_3_2_2 PP n63_a_lob_n01__1_3_2->n63_a_lob_n01__1_3_2_2 n63_a_lob_n01__1_3_2_1->n63_a_lob_n01__1_3_2_1_1 n63_a_lob_n01__1_3_2_2_1 P-ROLE n63_a_lob_n01__1_3_2_2->n63_a_lob_n01__1_3_2_2_1 n63_a_lob_n01__1_3_2_2_2 NP n63_a_lob_n01__1_3_2_2->n63_a_lob_n01__1_3_2_2_2 n63_a_lob_n01__1_3_2_2_1->n63_a_lob_n01__1_3_2_2_1_1 n63_a_lob_n01__1_3_2_2_2_1 PRO n63_a_lob_n01__1_3_2_2_2->n63_a_lob_n01__1_3_2_2_2_1 n63_a_lob_n01__1_3_2_2_2_1->n63_a_lob_n01__1_3_2_2_2_1_1 n63_a_lob_n01__1_3_3_1 PNX n63_a_lob_n01__1_3_3->n63_a_lob_n01__1_3_3_1 n63_a_lob_n01__1_3_3_1->n63_a_lob_n01__1_3_3_1_1 n63_a_lob_n01__1_4_1 IP-INF n63_a_lob_n01__1_4->n63_a_lob_n01__1_4_1 n63_a_lob_n01__1_4_1_1 TO n63_a_lob_n01__1_4_1->n63_a_lob_n01__1_4_1_1 n63_a_lob_n01__1_4_1_2 VB;_Ipr_ n63_a_lob_n01__1_4_1->n63_a_lob_n01__1_4_1_2 n63_a_lob_n01__1_4_1_3 PP-CLR n63_a_lob_n01__1_4_1->n63_a_lob_n01__1_4_1_3 n63_a_lob_n01__1_4_1_1->n63_a_lob_n01__1_4_1_1_1 n63_a_lob_n01__1_4_1_2->n63_a_lob_n01__1_4_1_2_1 n63_a_lob_n01__1_4_1_3_1 P-ROLE n63_a_lob_n01__1_4_1_3->n63_a_lob_n01__1_4_1_3_1 n63_a_lob_n01__1_4_1_3_2 NP n63_a_lob_n01__1_4_1_3->n63_a_lob_n01__1_4_1_3_2 n63_a_lob_n01__1_4_1_3_1->n63_a_lob_n01__1_4_1_3_1_1 n63_a_lob_n01__1_4_1_3_2_1 NLYR n63_a_lob_n01__1_4_1_3_2->n63_a_lob_n01__1_4_1_3_2_1 n63_a_lob_n01__1_4_1_3_2_1_1 NLYR n63_a_lob_n01__1_4_1_3_2_1->n63_a_lob_n01__1_4_1_3_2_1_1 n63_a_lob_n01__1_4_1_3_2_1_2 CONJP n63_a_lob_n01__1_4_1_3_2_1->n63_a_lob_n01__1_4_1_3_2_1_2 n63_a_lob_n01__1_4_1_3_2_1_1_1 NPR n63_a_lob_n01__1_4_1_3_2_1_1->n63_a_lob_n01__1_4_1_3_2_1_1_1 n63_a_lob_n01__1_4_1_3_2_1_1_1->n63_a_lob_n01__1_4_1_3_2_1_1_1_1 n63_a_lob_n01__1_4_1_3_2_1_2_1 CONJ n63_a_lob_n01__1_4_1_3_2_1_2->n63_a_lob_n01__1_4_1_3_2_1_2_1 n63_a_lob_n01__1_4_1_3_2_1_2_2 NLYR n63_a_lob_n01__1_4_1_3_2_1_2->n63_a_lob_n01__1_4_1_3_2_1_2_2 n63_a_lob_n01__1_4_1_3_2_1_2_1->n63_a_lob_n01__1_4_1_3_2_1_2_1_1 n63_a_lob_n01__1_4_1_3_2_1_2_2_1 NPR n63_a_lob_n01__1_4_1_3_2_1_2_2->n63_a_lob_n01__1_4_1_3_2_1_2_2_1 n63_a_lob_n01__1_4_1_3_2_1_2_2_1->n63_a_lob_n01__1_4_1_3_2_1_2_2_1_1 n63_a_lob_n01__1_5->n63_a_lob_n01__1_5_1 
( (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))