Context                Previous, Next                Top


245_a_wilde_1_1888
“This broken lead heart will not melt in the furnace.

%3 r_0245_0003__broken broken r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart This lead heart r_0245_0003__broken->r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart [arg0] r_0245_0006__will will r_0245_0008__melt melt r_0245_0006__will->r_0245_0008__melt [scope] r_0245_0008__melt->r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart [arg0] r_0245_0010__the_r_0245_0011__furnace the furnace r_0245_0008__melt->r_0245_0010__the_r_0245_0011__furnace in [nim] r_0245_0007__not not r_0245_0007__not->r_0245_0006__will [keep_scope] 
arc(r_0245_0003__broken, r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart, arg0).
arc(r_0245_0006__will, r_0245_0008__melt, scope).
arc(r_0245_0007__not, r_0245_0006__will, keep_scope).
arc(r_0245_0008__melt, r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart, arg0).
arc(r_0245_0008__melt, r_0245_0010__the_r_0245_0011__furnace, r_0245_0009__in_nim24).


%3 r_0245_0006__will_r_0245_0008__melt will melt r_0245_0010__the_r_0245_0011__furnace the furnace r_0245_0006__will_r_0245_0008__melt->r_0245_0010__the_r_0245_0011__furnace in [nim] r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart This lead heart r_0245_0006__will_r_0245_0008__melt->r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart [arg0] r_0245_0007__not not r_0245_0007__not->r_0245_0006__will_r_0245_0008__melt [keep_scope] r_0245_0003__broken broken r_0245_0003__broken->r_0245_0002__This_r_0245_0004__lead_r_0245_0005__heart [arg0] 
fof(formula,axiom,
    ? [R_245_3_BROKEN,R_245_2_THIS_LEAD_HEART] :
      ( this_lead_heart(R_245_2_THIS_LEAD_HEART)
      & broken(R_245_3_BROKEN,R_245_2_THIS_LEAD_HEART)
      & ~ ? [R_245_6_WILL_MELT,R_245_10_THE_FURNACE] :
            ( the_furnace(R_245_10_THE_FURNACE)
            & will_melt(R_245_6_WILL_MELT,R_245_2_THIS_LEAD_HEART)
            & in_nim24(R_245_6_WILL_MELT,R_245_10_THE_FURNACE) ) ) ).


n245_a_wilde_1_1888 n245_a_wilde_1_1888__1_1_1 <ldquo> n245_a_wilde_1_1888__1_2_1_1 This n245_a_wilde_1_1888__1_2_2_1_1 broken n245_a_wilde_1_1888__1_2_3_1 lead n245_a_wilde_1_1888__1_2_4_1 heart n245_a_wilde_1_1888__1_3_1 will n245_a_wilde_1_1888__1_4_1 not n245_a_wilde_1_1888__1_5_1_1 melt n245_a_wilde_1_1888__1_5_2_1_1 in n245_a_wilde_1_1888__1_5_2_2_1_1 the n245_a_wilde_1_1888__1_5_2_2_2_1 furnace n245_a_wilde_1_1888__1_6_1 . n245_a_wilde_1_1888__1 IP-MAT n245_a_wilde_1_1888__1_1 PULQ n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_1 n245_a_wilde_1_1888__1_2 NP-SBJ n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_2 n245_a_wilde_1_1888__1_3 MD;_cat_Vi_ n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_3 n245_a_wilde_1_1888__1_4 NEG n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_4 n245_a_wilde_1_1888__1_5 IP-INF-CAT n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_5 n245_a_wilde_1_1888__1_6 PUNC n245_a_wilde_1_1888__1->n245_a_wilde_1_1888__1_6 n245_a_wilde_1_1888__1_1->n245_a_wilde_1_1888__1_1_1 n245_a_wilde_1_1888__1_2_1 D n245_a_wilde_1_1888__1_2->n245_a_wilde_1_1888__1_2_1 n245_a_wilde_1_1888__1_2_2 IP-PPL n245_a_wilde_1_1888__1_2->n245_a_wilde_1_1888__1_2_2 n245_a_wilde_1_1888__1_2_3 N n245_a_wilde_1_1888__1_2->n245_a_wilde_1_1888__1_2_3 n245_a_wilde_1_1888__1_2_4 N n245_a_wilde_1_1888__1_2->n245_a_wilde_1_1888__1_2_4 n245_a_wilde_1_1888__1_2_1->n245_a_wilde_1_1888__1_2_1_1 n245_a_wilde_1_1888__1_2_2_1 VVN;__ n245_a_wilde_1_1888__1_2_2->n245_a_wilde_1_1888__1_2_2_1 n245_a_wilde_1_1888__1_2_2_1->n245_a_wilde_1_1888__1_2_2_1_1 n245_a_wilde_1_1888__1_2_3->n245_a_wilde_1_1888__1_2_3_1 n245_a_wilde_1_1888__1_2_4->n245_a_wilde_1_1888__1_2_4_1 n245_a_wilde_1_1888__1_3->n245_a_wilde_1_1888__1_3_1 n245_a_wilde_1_1888__1_4->n245_a_wilde_1_1888__1_4_1 n245_a_wilde_1_1888__1_5_1 VB;__ n245_a_wilde_1_1888__1_5->n245_a_wilde_1_1888__1_5_1 n245_a_wilde_1_1888__1_5_2 PP-NIM n245_a_wilde_1_1888__1_5->n245_a_wilde_1_1888__1_5_2 n245_a_wilde_1_1888__1_5_1->n245_a_wilde_1_1888__1_5_1_1 n245_a_wilde_1_1888__1_5_2_1 P-ROLE n245_a_wilde_1_1888__1_5_2->n245_a_wilde_1_1888__1_5_2_1 n245_a_wilde_1_1888__1_5_2_2 NP n245_a_wilde_1_1888__1_5_2->n245_a_wilde_1_1888__1_5_2_2 n245_a_wilde_1_1888__1_5_2_1->n245_a_wilde_1_1888__1_5_2_1_1 n245_a_wilde_1_1888__1_5_2_2_1 D n245_a_wilde_1_1888__1_5_2_2->n245_a_wilde_1_1888__1_5_2_2_1 n245_a_wilde_1_1888__1_5_2_2_2 N n245_a_wilde_1_1888__1_5_2_2->n245_a_wilde_1_1888__1_5_2_2_2 n245_a_wilde_1_1888__1_5_2_2_1->n245_a_wilde_1_1888__1_5_2_2_1_1 n245_a_wilde_1_1888__1_5_2_2_2->n245_a_wilde_1_1888__1_5_2_2_2_1 n245_a_wilde_1_1888__1_6->n245_a_wilde_1_1888__1_6_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{HEART} (D This;{this})
                          (IP-PPL (VVN;__ broken;{break}))
                          (N lead;{lead})
                          (N heart;{heart}))
          (MD;_cat_Vi_ will;{will})
          (NEG not;{not})
          (IP-INF-CAT (VB;__ melt;{melt})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N furnace;{furnace}))))
          (PUNC .))
  (ID 245_a_wilde_1_1888))