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.

n238_a_wilde_1_1888 n238_a_wilde_1_1888__1_1_1_1_1_1 Then n238_a_wilde_1_1888__1_1_1_2_1_1 they n238_a_wilde_1_1888__1_1_1_3_1 melted n238_a_wilde_1_1888__1_1_1_4_1_1 the n238_a_wilde_1_1888__1_1_1_4_2_1 statue n238_a_wilde_1_1888__1_1_1_5_1_1 in n238_a_wilde_1_1888__1_1_1_5_2_1_1 a n238_a_wilde_1_1888__1_1_1_5_2_2_1 furnace n238_a_wilde_1_1888__1_1_2_1 , n238_a_wilde_1_1888__1_1_3_1_1 and n238_a_wilde_1_1888__1_1_3_2_1_1_1 the n238_a_wilde_1_1888__1_1_3_2_1_2_1 Mayor n238_a_wilde_1_1888__1_1_3_2_2_1 held n238_a_wilde_1_1888__1_1_3_2_3_1_1 a n238_a_wilde_1_1888__1_1_3_2_3_2_1 meeting n238_a_wilde_1_1888__1_1_3_2_3_3_1_1 of n238_a_wilde_1_1888__1_1_3_2_3_3_2_1_1 the n238_a_wilde_1_1888__1_1_3_2_3_3_2_2_1 Corporation n238_a_wilde_1_1888__1_1_3_2_4_1_1_1 to n238_a_wilde_1_1888__1_1_3_2_4_1_2_1 decide n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1_1_1 what n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_2_1 was n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_1_1 to n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_2_1 be n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_1_1 * n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_2_1 done n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_1_1 with n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_1_1 the n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_2_1 metal n238_a_wilde_1_1888__1_2_1 . n238_a_wilde_1_1888__1 IP-MAT n238_a_wilde_1_1888__1_1 ILYR n238_a_wilde_1_1888__1->n238_a_wilde_1_1888__1_1 n238_a_wilde_1_1888__1_2 PUNC n238_a_wilde_1_1888__1->n238_a_wilde_1_1888__1_2 n238_a_wilde_1_1888__1_1_1 ILYR n238_a_wilde_1_1888__1_1->n238_a_wilde_1_1888__1_1_1 n238_a_wilde_1_1888__1_1_2 PUNC n238_a_wilde_1_1888__1_1->n238_a_wilde_1_1888__1_1_2 n238_a_wilde_1_1888__1_1_3 CONJP n238_a_wilde_1_1888__1_1->n238_a_wilde_1_1888__1_1_3 n238_a_wilde_1_1888__1_1_1_1 ADVP-NIM n238_a_wilde_1_1888__1_1_1->n238_a_wilde_1_1888__1_1_1_1 n238_a_wilde_1_1888__1_1_1_2 NP-SBJ n238_a_wilde_1_1888__1_1_1->n238_a_wilde_1_1888__1_1_1_2 n238_a_wilde_1_1888__1_1_1_3 VBD;__ n238_a_wilde_1_1888__1_1_1->n238_a_wilde_1_1888__1_1_1_3 n238_a_wilde_1_1888__1_1_1_4 NP-OB1 n238_a_wilde_1_1888__1_1_1->n238_a_wilde_1_1888__1_1_1_4 n238_a_wilde_1_1888__1_1_1_5 PP-NIM n238_a_wilde_1_1888__1_1_1->n238_a_wilde_1_1888__1_1_1_5 n238_a_wilde_1_1888__1_1_1_1_1 ADV n238_a_wilde_1_1888__1_1_1_1->n238_a_wilde_1_1888__1_1_1_1_1 n238_a_wilde_1_1888__1_1_1_1_1->n238_a_wilde_1_1888__1_1_1_1_1_1 n238_a_wilde_1_1888__1_1_1_2_1 PRO n238_a_wilde_1_1888__1_1_1_2->n238_a_wilde_1_1888__1_1_1_2_1 n238_a_wilde_1_1888__1_1_1_2_1->n238_a_wilde_1_1888__1_1_1_2_1_1 n238_a_wilde_1_1888__1_1_1_3->n238_a_wilde_1_1888__1_1_1_3_1 n238_a_wilde_1_1888__1_1_1_4_1 D n238_a_wilde_1_1888__1_1_1_4->n238_a_wilde_1_1888__1_1_1_4_1 n238_a_wilde_1_1888__1_1_1_4_2 N n238_a_wilde_1_1888__1_1_1_4->n238_a_wilde_1_1888__1_1_1_4_2 n238_a_wilde_1_1888__1_1_1_4_1->n238_a_wilde_1_1888__1_1_1_4_1_1 n238_a_wilde_1_1888__1_1_1_4_2->n238_a_wilde_1_1888__1_1_1_4_2_1 n238_a_wilde_1_1888__1_1_1_5_1 P-ROLE n238_a_wilde_1_1888__1_1_1_5->n238_a_wilde_1_1888__1_1_1_5_1 n238_a_wilde_1_1888__1_1_1_5_2 NP n238_a_wilde_1_1888__1_1_1_5->n238_a_wilde_1_1888__1_1_1_5_2 n238_a_wilde_1_1888__1_1_1_5_1->n238_a_wilde_1_1888__1_1_1_5_1_1 n238_a_wilde_1_1888__1_1_1_5_2_1 D n238_a_wilde_1_1888__1_1_1_5_2->n238_a_wilde_1_1888__1_1_1_5_2_1 n238_a_wilde_1_1888__1_1_1_5_2_2 N n238_a_wilde_1_1888__1_1_1_5_2->n238_a_wilde_1_1888__1_1_1_5_2_2 n238_a_wilde_1_1888__1_1_1_5_2_1->n238_a_wilde_1_1888__1_1_1_5_2_1_1 n238_a_wilde_1_1888__1_1_1_5_2_2->n238_a_wilde_1_1888__1_1_1_5_2_2_1 n238_a_wilde_1_1888__1_1_2->n238_a_wilde_1_1888__1_1_2_1 n238_a_wilde_1_1888__1_1_3_1 CONJ n238_a_wilde_1_1888__1_1_3->n238_a_wilde_1_1888__1_1_3_1 n238_a_wilde_1_1888__1_1_3_2 ILYR n238_a_wilde_1_1888__1_1_3->n238_a_wilde_1_1888__1_1_3_2 n238_a_wilde_1_1888__1_1_3_1->n238_a_wilde_1_1888__1_1_3_1_1 n238_a_wilde_1_1888__1_1_3_2_1 NP-SBJ n238_a_wilde_1_1888__1_1_3_2->n238_a_wilde_1_1888__1_1_3_2_1 n238_a_wilde_1_1888__1_1_3_2_2 VBD;__ n238_a_wilde_1_1888__1_1_3_2->n238_a_wilde_1_1888__1_1_3_2_2 n238_a_wilde_1_1888__1_1_3_2_3 NP-OB1 n238_a_wilde_1_1888__1_1_3_2->n238_a_wilde_1_1888__1_1_3_2_3 n238_a_wilde_1_1888__1_1_3_2_4 PP-SCON n238_a_wilde_1_1888__1_1_3_2->n238_a_wilde_1_1888__1_1_3_2_4 n238_a_wilde_1_1888__1_1_3_2_1_1 D n238_a_wilde_1_1888__1_1_3_2_1->n238_a_wilde_1_1888__1_1_3_2_1_1 n238_a_wilde_1_1888__1_1_3_2_1_2 N n238_a_wilde_1_1888__1_1_3_2_1->n238_a_wilde_1_1888__1_1_3_2_1_2 n238_a_wilde_1_1888__1_1_3_2_1_1->n238_a_wilde_1_1888__1_1_3_2_1_1_1 n238_a_wilde_1_1888__1_1_3_2_1_2->n238_a_wilde_1_1888__1_1_3_2_1_2_1 n238_a_wilde_1_1888__1_1_3_2_2->n238_a_wilde_1_1888__1_1_3_2_2_1 n238_a_wilde_1_1888__1_1_3_2_3_1 D n238_a_wilde_1_1888__1_1_3_2_3->n238_a_wilde_1_1888__1_1_3_2_3_1 n238_a_wilde_1_1888__1_1_3_2_3_2 N n238_a_wilde_1_1888__1_1_3_2_3->n238_a_wilde_1_1888__1_1_3_2_3_2 n238_a_wilde_1_1888__1_1_3_2_3_3 PP n238_a_wilde_1_1888__1_1_3_2_3->n238_a_wilde_1_1888__1_1_3_2_3_3 n238_a_wilde_1_1888__1_1_3_2_3_1->n238_a_wilde_1_1888__1_1_3_2_3_1_1 n238_a_wilde_1_1888__1_1_3_2_3_2->n238_a_wilde_1_1888__1_1_3_2_3_2_1 n238_a_wilde_1_1888__1_1_3_2_3_3_1 P-ROLE n238_a_wilde_1_1888__1_1_3_2_3_3->n238_a_wilde_1_1888__1_1_3_2_3_3_1 n238_a_wilde_1_1888__1_1_3_2_3_3_2 NP n238_a_wilde_1_1888__1_1_3_2_3_3->n238_a_wilde_1_1888__1_1_3_2_3_3_2 n238_a_wilde_1_1888__1_1_3_2_3_3_1->n238_a_wilde_1_1888__1_1_3_2_3_3_1_1 n238_a_wilde_1_1888__1_1_3_2_3_3_2_1 D n238_a_wilde_1_1888__1_1_3_2_3_3_2->n238_a_wilde_1_1888__1_1_3_2_3_3_2_1 n238_a_wilde_1_1888__1_1_3_2_3_3_2_2 N n238_a_wilde_1_1888__1_1_3_2_3_3_2->n238_a_wilde_1_1888__1_1_3_2_3_3_2_2 n238_a_wilde_1_1888__1_1_3_2_3_3_2_1->n238_a_wilde_1_1888__1_1_3_2_3_3_2_1_1 n238_a_wilde_1_1888__1_1_3_2_3_3_2_2->n238_a_wilde_1_1888__1_1_3_2_3_3_2_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1 IP-INF n238_a_wilde_1_1888__1_1_3_2_4->n238_a_wilde_1_1888__1_1_3_2_4_1 n238_a_wilde_1_1888__1_1_3_2_4_1_1 TO n238_a_wilde_1_1888__1_1_3_2_4_1->n238_a_wilde_1_1888__1_1_3_2_4_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_2 VB;__ n238_a_wilde_1_1888__1_1_3_2_4_1->n238_a_wilde_1_1888__1_1_3_2_4_1_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3 NP-OB1 n238_a_wilde_1_1888__1_1_3_2_4_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3 n238_a_wilde_1_1888__1_1_3_2_4_1_1->n238_a_wilde_1_1888__1_1_3_2_4_1_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_2->n238_a_wilde_1_1888__1_1_3_2_4_1_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1 IP-REL n238_a_wilde_1_1888__1_1_3_2_4_1_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1 NP-SBJ n238_a_wilde_1_1888__1_1_3_2_4_1_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_2 BED;_cat_Vt_ n238_a_wilde_1_1888__1_1_3_2_4_1_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3 IP-INF-CAT n238_a_wilde_1_1888__1_1_3_2_4_1_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1_1 RPRO n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_1_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_1 TO n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_2 BE;_cat_VePASS_ n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3 IP-PPL-CAT n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_1 NP-LGS n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_2 DON;_Ipr_ n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3 PP-CLR n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_1 P-ROLE n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2 NP n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_1 D n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_2 N n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_2 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_1->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_1_1 n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_2->n238_a_wilde_1_1888__1_1_3_2_4_1_3_1_3_3_3_2_2_1 n238_a_wilde_1_1888__1_2->n238_a_wilde_1_1888__1_2_1
( (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))



%3 z_0238_5008 r_0238_0020__decide decide z_0238_5008->r_0238_0020__decide [restriction] r_0238_0013__held held z_0238_5008->r_0238_0013__held [scope] r_0238_0021__what what r_0238_0020__decide->r_0238_0021__what [arg1] r_0238_0014__a_r_0238_0015__meeting a meeting r_0238_0020__decide->r_0238_0014__a_r_0238_0015__meeting [arg0] r_0238_0013__held->r_0238_0014__a_r_0238_0015__meeting [arg1] 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_0025__done_r_0238_0026__with done with z_0238_5014___star_ * r_0238_0025__done_r_0238_0026__with->z_0238_5014___star_ [arg0] r_0238_0027__the_r_0238_0028__metal the metal r_0238_0025__done_r_0238_0026__with->r_0238_0027__the_r_0238_0028__metal [arg1] r_0238_0025__done_r_0238_0026__with->r_0238_0021__what [arg2] r_0238_0024__be be r_0238_0024__be->r_0238_0025__done_r_0238_0026__with [scope] r_0238_0022__was was r_0238_0022__was->r_0238_0024__be [scope] 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_0010__and and r_0238_0010__and->z_0238_5008 [conj2] r_0238_0003__melted melted r_0238_0010__and->r_0238_0003__melted [conj1] 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_0004__the_r_0238_0005__statue the statue r_0238_0003__melted->r_0238_0004__the_r_0238_0005__statue [arg1] r_0238_0002__they they r_0238_0003__melted->r_0238_0002__they [arg0] r_0238_0001__Then Then r_0238_0003__melted->r_0238_0001__Then [nim]
arc(r_0238_0003__melted,r_0238_0001__Then,nim).
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__nim).
arc(r_0238_0010__and,r_0238_0003__melted,conj1).
arc(r_0238_0010__and,z_0238_5008,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_0020__decide,r_0238_0014__a_r_0238_0015__meeting,arg0).
arc(r_0238_0020__decide,r_0238_0021__what,arg1).
arc(r_0238_0022__was,r_0238_0024__be,scope).
arc(r_0238_0024__be,r_0238_0025__done_r_0238_0026__with,scope).
arc(r_0238_0025__done_r_0238_0026__with,r_0238_0021__what,arg2).
arc(r_0238_0025__done_r_0238_0026__with,r_0238_0027__the_r_0238_0028__metal,arg1).
arc(r_0238_0025__done_r_0238_0026__with,z_0238_5014___star_,arg0).
arc(z_0238_5008,r_0238_0013__held,scope).
arc(z_0238_5008,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_0238_5008 r_0238_0010__and->z_0238_5008 [conj2] r_0238_0013__held held z_0238_5008->r_0238_0013__held [conj2] r_0238_0020__decide decide z_0238_5008->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_0020__decide->r_0238_0014__a_r_0238_0015__meeting [arg0] r_0238_0021__what what r_0238_0020__decide->r_0238_0021__what [arg1] r_0238_0022__was_r_0238_0024__be_r_0238_0025__done_r_0238_0026__with was be done with r_0238_0022__was_r_0238_0024__be_r_0238_0025__done_r_0238_0026__with->r_0238_0021__what [arg2] r_0238_0027__the_r_0238_0028__metal the metal r_0238_0022__was_r_0238_0024__be_r_0238_0025__done_r_0238_0026__with->r_0238_0027__the_r_0238_0028__metal [arg1] z_0238_5014___star_ * r_0238_0022__was_r_0238_0024__be_r_0238_0025__done_r_0238_0026__with->z_0238_5014___star_ [arg0]
fof(formula,axiom,
    ? [R_0238_0001__THEN,R_0238_0002__THEY,R_0238_0004__THE_R_0238_0005__STATUE,R_0238_0007__A_R_0238_0008__FURNACE,R_0238_0003__MELTED,R_0238_0011__THE_R_0238_0012__MAYOR,R_0238_0017__THE_R_0238_0018__CORPORATION,R_0238_0014__A_R_0238_0015__MEETING,R_0238_0013__HELD,R_0238_0021__WHAT,R_0238_0020__DECIDE,Z_0238_5008,R_0238_0010__AND,R_0238_0027__THE_R_0238_0028__METAL,Z_0238_5014___STAR_,R_0238_0022__WAS_R_0238_0024__BE_R_0238_0025__DONE_R_0238_0026__WITH] :
      ( r_0238_0001__Then(R_0238_0001__THEN)
      & r_0238_0002__they(R_0238_0002__THEY)
      & r_0238_0004__the_r_0238_0005__statue(R_0238_0004__THE_R_0238_0005__STATUE)
      & r_0238_0007__a_r_0238_0008__furnace(R_0238_0007__A_R_0238_0008__FURNACE)
      & r_0238_0011__the_r_0238_0012__Mayor(R_0238_0011__THE_R_0238_0012__MAYOR)
      & r_0238_0017__the_r_0238_0018__Corporation(R_0238_0017__THE_R_0238_0018__CORPORATION)
      & r_0238_0021__what(R_0238_0021__WHAT)
      & r_0238_0027__the_r_0238_0028__metal(R_0238_0027__THE_R_0238_0028__METAL)
      & z_0238_5014___star_(Z_0238_5014___STAR_)
      & r_0238_0022__was_r_0238_0024__be_r_0238_0025__done_r_0238_0026__with(R_0238_0022__WAS_R_0238_0024__BE_R_0238_0025__DONE_R_0238_0026__WITH)
      & has_arg0(R_0238_0022__WAS_R_0238_0024__BE_R_0238_0025__DONE_R_0238_0026__WITH,Z_0238_5014___STAR_)
      & has_arg1(R_0238_0022__WAS_R_0238_0024__BE_R_0238_0025__DONE_R_0238_0026__WITH,R_0238_0027__THE_R_0238_0028__METAL)
      & has_arg2(R_0238_0022__WAS_R_0238_0024__BE_R_0238_0025__DONE_R_0238_0026__WITH,R_0238_0021__WHAT)
      & r_0238_0010__and(R_0238_0010__AND)
      & has_conj2(R_0238_0010__AND,Z_0238_5008)
      & z_0238_5008(Z_0238_5008)
      & has_conj1(Z_0238_5008,R_0238_0020__DECIDE)
      & r_0238_0020__decide(R_0238_0020__DECIDE)
      & has_arg1(R_0238_0020__DECIDE,R_0238_0021__WHAT)
      & has_arg0(R_0238_0020__DECIDE,R_0238_0014__A_R_0238_0015__MEETING)
      & r_0238_0014__a_r_0238_0015__meeting(R_0238_0014__A_R_0238_0015__MEETING)
      & has_r_0238_0016__of(R_0238_0014__A_R_0238_0015__MEETING,R_0238_0017__THE_R_0238_0018__CORPORATION)
      & has_conj2(Z_0238_5008,R_0238_0013__HELD)
      & r_0238_0013__held(R_0238_0013__HELD)
      & has_arg1(R_0238_0013__HELD,R_0238_0014__A_R_0238_0015__MEETING)
      & has_arg0(R_0238_0013__HELD,R_0238_0011__THE_R_0238_0012__MAYOR)
      & has_conj1(R_0238_0010__AND,R_0238_0003__MELTED)
      & r_0238_0003__melted(R_0238_0003__MELTED)
      & has_r_0238_0006__in__nim(R_0238_0003__MELTED,R_0238_0007__A_R_0238_0008__FURNACE)
      & has_arg1(R_0238_0003__MELTED,R_0238_0004__THE_R_0238_0005__STATUE)
      & has_arg0(R_0238_0003__MELTED,R_0238_0002__THEY)
      & has_nim(R_0238_0003__MELTED,R_0238_0001__THEN) ) ).