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 r_0063_0002__had_r_0063_0003__used had used r_0063_0001__He He r_0063_0002__had_r_0063_0003__used->r_0063_0001__He [arg0] r_0063_0002__had_r_0063_0003__used->r_0063_0001__He [nim] r_0063_0004__one one r_0063_0002__had_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_r_0063_0003__used [conj2] z_000_63_a_lob_n01_22->r_0063_0008__to_r_0063_0009__dispose [conj1] 
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_4 He n63_a_lob_n01_6 had n63_a_lob_n01_9 used n63_a_lob_n01_12 one n63_a_lob_n01_15 of n63_a_lob_n01_18 them n63_a_lob_n01_21 himself n63_a_lob_n01_25 to n63_a_lob_n01_27 dispose n63_a_lob_n01_30 of n63_a_lob_n01_35 Stefano n63_a_lob_n01_38 and n63_a_lob_n01_41 Pietro n63_a_lob_n01_43 . n63_a_lob_n01_1 IP-MAT n63_a_lob_n01_2 NP-SBJ n63_a_lob_n01_1->n63_a_lob_n01_2 n63_a_lob_n01_5 HVD;_cat_Ve_ n63_a_lob_n01_1->n63_a_lob_n01_5 n63_a_lob_n01_7 IP-PPL-CAT n63_a_lob_n01_1->n63_a_lob_n01_7 n63_a_lob_n01_22 PP-SCON n63_a_lob_n01_1->n63_a_lob_n01_22 n63_a_lob_n01_42 PUNC n63_a_lob_n01_1->n63_a_lob_n01_42 n63_a_lob_n01_3 PRO n63_a_lob_n01_2->n63_a_lob_n01_3 n63_a_lob_n01_3->n63_a_lob_n01_4 n63_a_lob_n01_5->n63_a_lob_n01_6 n63_a_lob_n01_8 VVN;_Tn_ n63_a_lob_n01_7->n63_a_lob_n01_8 n63_a_lob_n01_10 NP-OB1 n63_a_lob_n01_7->n63_a_lob_n01_10 n63_a_lob_n01_19 NP-RFL n63_a_lob_n01_7->n63_a_lob_n01_19 n63_a_lob_n01_8->n63_a_lob_n01_9 n63_a_lob_n01_11 NUM n63_a_lob_n01_10->n63_a_lob_n01_11 n63_a_lob_n01_13 PP n63_a_lob_n01_10->n63_a_lob_n01_13 n63_a_lob_n01_11->n63_a_lob_n01_12 n63_a_lob_n01_14 P-ROLE n63_a_lob_n01_13->n63_a_lob_n01_14 n63_a_lob_n01_16 NP n63_a_lob_n01_13->n63_a_lob_n01_16 n63_a_lob_n01_14->n63_a_lob_n01_15 n63_a_lob_n01_17 PRO n63_a_lob_n01_16->n63_a_lob_n01_17 n63_a_lob_n01_17->n63_a_lob_n01_18 n63_a_lob_n01_20 PNX n63_a_lob_n01_19->n63_a_lob_n01_20 n63_a_lob_n01_20->n63_a_lob_n01_21 n63_a_lob_n01_23 IP-INF n63_a_lob_n01_22->n63_a_lob_n01_23 n63_a_lob_n01_24 TO n63_a_lob_n01_23->n63_a_lob_n01_24 n63_a_lob_n01_26 VB;_Ipr_ n63_a_lob_n01_23->n63_a_lob_n01_26 n63_a_lob_n01_28 PP-CLR n63_a_lob_n01_23->n63_a_lob_n01_28 n63_a_lob_n01_24->n63_a_lob_n01_25 n63_a_lob_n01_26->n63_a_lob_n01_27 n63_a_lob_n01_29 P-ROLE n63_a_lob_n01_28->n63_a_lob_n01_29 n63_a_lob_n01_31 NP n63_a_lob_n01_28->n63_a_lob_n01_31 n63_a_lob_n01_29->n63_a_lob_n01_30 n63_a_lob_n01_32 NLYR n63_a_lob_n01_31->n63_a_lob_n01_32 n63_a_lob_n01_33 NLYR n63_a_lob_n01_32->n63_a_lob_n01_33 n63_a_lob_n01_36 CONJP n63_a_lob_n01_32->n63_a_lob_n01_36 n63_a_lob_n01_34 NPR n63_a_lob_n01_33->n63_a_lob_n01_34 n63_a_lob_n01_34->n63_a_lob_n01_35 n63_a_lob_n01_37 CONJ n63_a_lob_n01_36->n63_a_lob_n01_37 n63_a_lob_n01_39 NLYR n63_a_lob_n01_36->n63_a_lob_n01_39 n63_a_lob_n01_37->n63_a_lob_n01_38 n63_a_lob_n01_40 NPR n63_a_lob_n01_39->n63_a_lob_n01_40 n63_a_lob_n01_40->n63_a_lob_n01_41 n63_a_lob_n01_42->n63_a_lob_n01_43 
( (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))