Context                Previous, Next                Top


238_a_wilde_1_1888
Then they melted the statue in a furnace, and the Mayor held a meeting of the Corporation to decide what was to be done with the metal.

%3 r_0238_0003__melted melted r_0238_0001__Then Then r_0238_0003__melted->r_0238_0001__Then [nim] r_0238_0002__they they r_0238_0003__melted->r_0238_0002__they [arg0] r_0238_0004__the_r_0238_0005__statue the statue r_0238_0003__melted->r_0238_0004__the_r_0238_0005__statue [arg1] r_0238_0007__a_r_0238_0008__furnace a furnace r_0238_0003__melted->r_0238_0007__a_r_0238_0008__furnace in [nim] r_0238_0010__and and r_0238_0010__and->r_0238_0003__melted [conj1] z_000_238_a_wilde_1_1888_51 r_0238_0010__and->z_000_238_a_wilde_1_1888_51 [conj2] r_0238_0013__held held z_000_238_a_wilde_1_1888_51->r_0238_0013__held [scope] r_0238_0019__to_r_0238_0020__decide to decide z_000_238_a_wilde_1_1888_51->r_0238_0019__to_r_0238_0020__decide [restriction] r_0238_0011__the_r_0238_0012__Mayor the Mayor r_0238_0013__held->r_0238_0011__the_r_0238_0012__Mayor [arg0] r_0238_0014__a_r_0238_0015__meeting a meeting r_0238_0013__held->r_0238_0014__a_r_0238_0015__meeting [arg1] r_0238_0017__the_r_0238_0018__Corporation the Corporation r_0238_0014__a_r_0238_0015__meeting->r_0238_0017__the_r_0238_0018__Corporation of r_0238_0019__to_r_0238_0020__decide->r_0238_0014__a_r_0238_0015__meeting [arg0] z_000_238_a_wilde_1_1888_57 r_0238_0019__to_r_0238_0020__decide->z_000_238_a_wilde_1_1888_57 [arg1] r_0238_0022__was was r_0238_0023__to_r_0238_0024__be to be r_0238_0022__was->r_0238_0023__to_r_0238_0024__be [scope] r_0238_0025__done done r_0238_0023__to_r_0238_0024__be->r_0238_0025__done [scope] r_0238_0025__done->z_000_238_a_wilde_1_1888_57 [arg1] r_0238_0027__the_r_0238_0028__metal the metal r_0238_0025__done->r_0238_0027__the_r_0238_0028__metal with [clr] z_000_238_a_wilde_1_1888_70 r_0238_0025__done->z_000_238_a_wilde_1_1888_70 [arg0] 
arc(r_0238_0003__melted, r_0238_0001__Then, nim4).
arc(r_0238_0003__melted, r_0238_0002__they, arg0).
arc(r_0238_0003__melted, r_0238_0004__the_r_0238_0005__statue, arg1).
arc(r_0238_0003__melted, r_0238_0007__a_r_0238_0008__furnace, r_0238_0006__in_nim20).
arc(r_0238_0010__and, r_0238_0003__melted, conj1).
arc(r_0238_0010__and, z_000_238_a_wilde_1_1888_51, conj2).
arc(r_0238_0013__held, r_0238_0011__the_r_0238_0012__Mayor, arg0).
arc(r_0238_0013__held, r_0238_0014__a_r_0238_0015__meeting, arg1).
arc(r_0238_0014__a_r_0238_0015__meeting, r_0238_0017__the_r_0238_0018__Corporation, r_0238_0016__of).
arc(r_0238_0019__to_r_0238_0020__decide, r_0238_0014__a_r_0238_0015__meeting, arg0).
arc(r_0238_0019__to_r_0238_0020__decide, z_000_238_a_wilde_1_1888_57, arg1).
arc(r_0238_0022__was, r_0238_0023__to_r_0238_0024__be, scope).
arc(r_0238_0023__to_r_0238_0024__be, r_0238_0025__done, scope).
arc(r_0238_0025__done, r_0238_0027__the_r_0238_0028__metal, r_0238_0026__with_clr77).
arc(r_0238_0025__done, z_000_238_a_wilde_1_1888_57, arg1).
arc(r_0238_0025__done, z_000_238_a_wilde_1_1888_70, arg0).
arc(z_000_238_a_wilde_1_1888_51, r_0238_0013__held, scope).
arc(z_000_238_a_wilde_1_1888_51, r_0238_0019__to_r_0238_0020__decide, restriction).


%3 r_0238_0003__melted melted r_0238_0001__Then Then r_0238_0003__melted->r_0238_0001__Then [nim] r_0238_0002__they they r_0238_0003__melted->r_0238_0002__they [arg0] r_0238_0004__the_r_0238_0005__statue the statue r_0238_0003__melted->r_0238_0004__the_r_0238_0005__statue [arg1] r_0238_0007__a_r_0238_0008__furnace a furnace r_0238_0003__melted->r_0238_0007__a_r_0238_0008__furnace in [nim] r_0238_0010__and and r_0238_0010__and->r_0238_0003__melted [conj1] z_000_238_a_wilde_1_1888_51 r_0238_0010__and->z_000_238_a_wilde_1_1888_51 [conj2] r_0238_0013__held held z_000_238_a_wilde_1_1888_51->r_0238_0013__held [conj2] r_0238_0019__to_r_0238_0020__decide to decide z_000_238_a_wilde_1_1888_51->r_0238_0019__to_r_0238_0020__decide [conj1] r_0238_0011__the_r_0238_0012__Mayor the Mayor r_0238_0013__held->r_0238_0011__the_r_0238_0012__Mayor [arg0] r_0238_0014__a_r_0238_0015__meeting a meeting r_0238_0013__held->r_0238_0014__a_r_0238_0015__meeting [arg1] r_0238_0017__the_r_0238_0018__Corporation the Corporation r_0238_0014__a_r_0238_0015__meeting->r_0238_0017__the_r_0238_0018__Corporation of r_0238_0019__to_r_0238_0020__decide->r_0238_0014__a_r_0238_0015__meeting [arg0] z_000_238_a_wilde_1_1888_57 r_0238_0019__to_r_0238_0020__decide->z_000_238_a_wilde_1_1888_57 [arg1] r_0238_0022__was_r_0238_0023__to_r_0238_0024__be_r_0238_0025__done was to be done r_0238_0022__was_r_0238_0023__to_r_0238_0024__be_r_0238_0025__done->z_000_238_a_wilde_1_1888_57 [arg1] r_0238_0027__the_r_0238_0028__metal the metal r_0238_0022__was_r_0238_0023__to_r_0238_0024__be_r_0238_0025__done->r_0238_0027__the_r_0238_0028__metal with [clr] z_000_238_a_wilde_1_1888_70 r_0238_0022__was_r_0238_0023__to_r_0238_0024__be_r_0238_0025__done->z_000_238_a_wilde_1_1888_70 [arg0] 
fof(formula,axiom,
    ? [R_238_10_AND,R_238_3_MELTED,R_238_2_THEY,R_238_4_THE_STATUE,R_238_1_THEN,R_238_7_A_FURNACE,Z_238_A_WILDE_1_1888_51,R_238_19_TO_DECIDE,R_238_13_HELD,R_238_11_THE_MAYOR,R_238_14_A_MEETING,R_238_17_THE_CORPORATION,R_238_22_WAS_TO_BE_DONE,Z_238_A_WILDE_1_1888_70,Z_238_A_WILDE_1_1888_57,R_238_27_THE_METAL] :
      ( they(R_238_2_THEY)
      & the_statue(R_238_4_THE_STATUE)
      & then(R_238_1_THEN)
      & a_furnace(R_238_7_A_FURNACE)
      & the_Mayor(R_238_11_THE_MAYOR)
      & the_Corporation(R_238_17_THE_CORPORATION)
      & the_metal(R_238_27_THE_METAL)
      & and(R_238_10_AND)
      & conj1(R_238_10_AND,R_238_3_MELTED)
      & melted(R_238_3_MELTED,R_238_2_THEY,R_238_4_THE_STATUE)
      & nim4(R_238_3_MELTED,R_238_1_THEN)
      & in_nim20(R_238_3_MELTED,R_238_7_A_FURNACE)
      & conj2(R_238_10_AND,Z_238_A_WILDE_1_1888_51)
      & z_238_a_wilde_1_1888_51(Z_238_A_WILDE_1_1888_51)
      & conj1(Z_238_A_WILDE_1_1888_51,R_238_19_TO_DECIDE)
      & to_decide(R_238_19_TO_DECIDE,R_238_14_A_MEETING,Z_238_A_WILDE_1_1888_57)
      & a_meeting(R_238_14_A_MEETING)
      & of(R_238_14_A_MEETING,R_238_17_THE_CORPORATION)
      & conj2(Z_238_A_WILDE_1_1888_51,R_238_13_HELD)
      & held(R_238_13_HELD,R_238_11_THE_MAYOR,R_238_14_A_MEETING)
      & was_to_be_done(R_238_22_WAS_TO_BE_DONE,Z_238_A_WILDE_1_1888_70,Z_238_A_WILDE_1_1888_57)
      & with_clr77(R_238_22_WAS_TO_BE_DONE,R_238_27_THE_METAL) ) ).


n238_a_wilde_1_1888 n238_a_wilde_1_1888_6 Then n238_a_wilde_1_1888_9 they n238_a_wilde_1_1888_11 melted n238_a_wilde_1_1888_14 the n238_a_wilde_1_1888_16 statue n238_a_wilde_1_1888_19 in n238_a_wilde_1_1888_22 a n238_a_wilde_1_1888_24 furnace n238_a_wilde_1_1888_26 , n238_a_wilde_1_1888_29 and n238_a_wilde_1_1888_33 the n238_a_wilde_1_1888_35 Mayor n238_a_wilde_1_1888_37 held n238_a_wilde_1_1888_40 a n238_a_wilde_1_1888_42 meeting n238_a_wilde_1_1888_45 of n238_a_wilde_1_1888_48 the n238_a_wilde_1_1888_50 Corporation n238_a_wilde_1_1888_54 to n238_a_wilde_1_1888_56 decide n238_a_wilde_1_1888_61 what n238_a_wilde_1_1888_63 was n238_a_wilde_1_1888_66 to n238_a_wilde_1_1888_68 be n238_a_wilde_1_1888_71 * n238_a_wilde_1_1888_73 done n238_a_wilde_1_1888_76 with n238_a_wilde_1_1888_79 the n238_a_wilde_1_1888_81 metal n238_a_wilde_1_1888_83 . n238_a_wilde_1_1888_1 IP-MAT n238_a_wilde_1_1888_2 ILYR n238_a_wilde_1_1888_1->n238_a_wilde_1_1888_2 n238_a_wilde_1_1888_82 PUNC n238_a_wilde_1_1888_1->n238_a_wilde_1_1888_82 n238_a_wilde_1_1888_3 ILYR n238_a_wilde_1_1888_2->n238_a_wilde_1_1888_3 n238_a_wilde_1_1888_25 PUNC n238_a_wilde_1_1888_2->n238_a_wilde_1_1888_25 n238_a_wilde_1_1888_27 CONJP n238_a_wilde_1_1888_2->n238_a_wilde_1_1888_27 n238_a_wilde_1_1888_4 ADVP-NIM n238_a_wilde_1_1888_3->n238_a_wilde_1_1888_4 n238_a_wilde_1_1888_7 NP-SBJ n238_a_wilde_1_1888_3->n238_a_wilde_1_1888_7 n238_a_wilde_1_1888_10 VBD;__ n238_a_wilde_1_1888_3->n238_a_wilde_1_1888_10 n238_a_wilde_1_1888_12 NP-OB1 n238_a_wilde_1_1888_3->n238_a_wilde_1_1888_12 n238_a_wilde_1_1888_17 PP-NIM n238_a_wilde_1_1888_3->n238_a_wilde_1_1888_17 n238_a_wilde_1_1888_5 ADV n238_a_wilde_1_1888_4->n238_a_wilde_1_1888_5 n238_a_wilde_1_1888_5->n238_a_wilde_1_1888_6 n238_a_wilde_1_1888_8 PRO n238_a_wilde_1_1888_7->n238_a_wilde_1_1888_8 n238_a_wilde_1_1888_8->n238_a_wilde_1_1888_9 n238_a_wilde_1_1888_10->n238_a_wilde_1_1888_11 n238_a_wilde_1_1888_13 D n238_a_wilde_1_1888_12->n238_a_wilde_1_1888_13 n238_a_wilde_1_1888_15 N n238_a_wilde_1_1888_12->n238_a_wilde_1_1888_15 n238_a_wilde_1_1888_13->n238_a_wilde_1_1888_14 n238_a_wilde_1_1888_15->n238_a_wilde_1_1888_16 n238_a_wilde_1_1888_18 P-ROLE n238_a_wilde_1_1888_17->n238_a_wilde_1_1888_18 n238_a_wilde_1_1888_20 NP n238_a_wilde_1_1888_17->n238_a_wilde_1_1888_20 n238_a_wilde_1_1888_18->n238_a_wilde_1_1888_19 n238_a_wilde_1_1888_21 D n238_a_wilde_1_1888_20->n238_a_wilde_1_1888_21 n238_a_wilde_1_1888_23 N n238_a_wilde_1_1888_20->n238_a_wilde_1_1888_23 n238_a_wilde_1_1888_21->n238_a_wilde_1_1888_22 n238_a_wilde_1_1888_23->n238_a_wilde_1_1888_24 n238_a_wilde_1_1888_25->n238_a_wilde_1_1888_26 n238_a_wilde_1_1888_28 CONJ n238_a_wilde_1_1888_27->n238_a_wilde_1_1888_28 n238_a_wilde_1_1888_30 ILYR n238_a_wilde_1_1888_27->n238_a_wilde_1_1888_30 n238_a_wilde_1_1888_28->n238_a_wilde_1_1888_29 n238_a_wilde_1_1888_31 NP-SBJ n238_a_wilde_1_1888_30->n238_a_wilde_1_1888_31 n238_a_wilde_1_1888_36 VBD;__ n238_a_wilde_1_1888_30->n238_a_wilde_1_1888_36 n238_a_wilde_1_1888_38 NP-OB1 n238_a_wilde_1_1888_30->n238_a_wilde_1_1888_38 n238_a_wilde_1_1888_51 PP-SCON n238_a_wilde_1_1888_30->n238_a_wilde_1_1888_51 n238_a_wilde_1_1888_32 D n238_a_wilde_1_1888_31->n238_a_wilde_1_1888_32 n238_a_wilde_1_1888_34 N n238_a_wilde_1_1888_31->n238_a_wilde_1_1888_34 n238_a_wilde_1_1888_32->n238_a_wilde_1_1888_33 n238_a_wilde_1_1888_34->n238_a_wilde_1_1888_35 n238_a_wilde_1_1888_36->n238_a_wilde_1_1888_37 n238_a_wilde_1_1888_39 D n238_a_wilde_1_1888_38->n238_a_wilde_1_1888_39 n238_a_wilde_1_1888_41 N n238_a_wilde_1_1888_38->n238_a_wilde_1_1888_41 n238_a_wilde_1_1888_43 PP n238_a_wilde_1_1888_38->n238_a_wilde_1_1888_43 n238_a_wilde_1_1888_39->n238_a_wilde_1_1888_40 n238_a_wilde_1_1888_41->n238_a_wilde_1_1888_42 n238_a_wilde_1_1888_44 P-ROLE n238_a_wilde_1_1888_43->n238_a_wilde_1_1888_44 n238_a_wilde_1_1888_46 NP n238_a_wilde_1_1888_43->n238_a_wilde_1_1888_46 n238_a_wilde_1_1888_44->n238_a_wilde_1_1888_45 n238_a_wilde_1_1888_47 D n238_a_wilde_1_1888_46->n238_a_wilde_1_1888_47 n238_a_wilde_1_1888_49 N n238_a_wilde_1_1888_46->n238_a_wilde_1_1888_49 n238_a_wilde_1_1888_47->n238_a_wilde_1_1888_48 n238_a_wilde_1_1888_49->n238_a_wilde_1_1888_50 n238_a_wilde_1_1888_52 IP-INF n238_a_wilde_1_1888_51->n238_a_wilde_1_1888_52 n238_a_wilde_1_1888_53 TO n238_a_wilde_1_1888_52->n238_a_wilde_1_1888_53 n238_a_wilde_1_1888_55 VB;__ n238_a_wilde_1_1888_52->n238_a_wilde_1_1888_55 n238_a_wilde_1_1888_57 NP-OB1 n238_a_wilde_1_1888_52->n238_a_wilde_1_1888_57 n238_a_wilde_1_1888_53->n238_a_wilde_1_1888_54 n238_a_wilde_1_1888_55->n238_a_wilde_1_1888_56 n238_a_wilde_1_1888_58 IP-REL n238_a_wilde_1_1888_57->n238_a_wilde_1_1888_58 n238_a_wilde_1_1888_59 NP-SBJ n238_a_wilde_1_1888_58->n238_a_wilde_1_1888_59 n238_a_wilde_1_1888_62 BED;_cat_Vt_ n238_a_wilde_1_1888_58->n238_a_wilde_1_1888_62 n238_a_wilde_1_1888_64 IP-INF-CAT n238_a_wilde_1_1888_58->n238_a_wilde_1_1888_64 n238_a_wilde_1_1888_60 RPRO n238_a_wilde_1_1888_59->n238_a_wilde_1_1888_60 n238_a_wilde_1_1888_60->n238_a_wilde_1_1888_61 n238_a_wilde_1_1888_62->n238_a_wilde_1_1888_63 n238_a_wilde_1_1888_65 TO n238_a_wilde_1_1888_64->n238_a_wilde_1_1888_65 n238_a_wilde_1_1888_67 BE;_cat_VePASS_ n238_a_wilde_1_1888_64->n238_a_wilde_1_1888_67 n238_a_wilde_1_1888_69 IP-PPL-CAT n238_a_wilde_1_1888_64->n238_a_wilde_1_1888_69 n238_a_wilde_1_1888_65->n238_a_wilde_1_1888_66 n238_a_wilde_1_1888_67->n238_a_wilde_1_1888_68 n238_a_wilde_1_1888_70 NP-LGS n238_a_wilde_1_1888_69->n238_a_wilde_1_1888_70 n238_a_wilde_1_1888_72 DON;_Ipr_ n238_a_wilde_1_1888_69->n238_a_wilde_1_1888_72 n238_a_wilde_1_1888_74 PP-CLR n238_a_wilde_1_1888_69->n238_a_wilde_1_1888_74 n238_a_wilde_1_1888_70->n238_a_wilde_1_1888_71 n238_a_wilde_1_1888_72->n238_a_wilde_1_1888_73 n238_a_wilde_1_1888_75 P-ROLE n238_a_wilde_1_1888_74->n238_a_wilde_1_1888_75 n238_a_wilde_1_1888_77 NP n238_a_wilde_1_1888_74->n238_a_wilde_1_1888_77 n238_a_wilde_1_1888_75->n238_a_wilde_1_1888_76 n238_a_wilde_1_1888_78 D n238_a_wilde_1_1888_77->n238_a_wilde_1_1888_78 n238_a_wilde_1_1888_80 N n238_a_wilde_1_1888_77->n238_a_wilde_1_1888_80 n238_a_wilde_1_1888_78->n238_a_wilde_1_1888_79 n238_a_wilde_1_1888_80->n238_a_wilde_1_1888_81 n238_a_wilde_1_1888_82->n238_a_wilde_1_1888_83 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Then;{then}))
                      (NP-SBJ;{MAYOR_COUNCILLORS} (PRO they;{they}))
                      (VBD;__ melted;{melt})
                      (NP-OB1 (D the;{the})
                              (N statue;{statue}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N furnace;{furnace}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{MAYOR} (D the;{the})
                                             (N Mayor;{mayor}))
                             (VBD;__ held;{hold})
                             (NP-OB1 (D a;{a})
                                     (N meeting;{meeting})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N Corporation;{corporation}))))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;__ decide;{decide})
                                              (NP-OB1 (IP-REL (NP-SBJ (RPRO what;{what}))
                                                              (BED;_cat_Vt_ was;{be})
                                                              (IP-INF-CAT (TO to;{to})
                                                                          (BE;_cat_VePASS_ be;{be})
                                                                          (IP-PPL-CAT (NP-LGS *)
                                                                                      (DON;_Ipr_ done;{do[with]})
                                                                                      (PP-CLR (P-ROLE with;{with})
                                                                                              (NP (D the;{the})
                                                                                                  (N metal;{metal}))))))))))))
          (PUNC .))
  (ID 238_a_wilde_1_1888))