Context                Previous, Next                Top


223_a_wilde_1_1888
The fact is that the leaden heart had snapped right in two.

%3 r_0223_0003__is is r_0223_0001__The_r_0223_0002__fact The fact r_0223_0003__is->r_0223_0001__The_r_0223_0002__fact [arg0] r_0223_0004__that_r_0223_0008__had that had r_0223_0003__is->r_0223_0004__that_r_0223_0008__had [prd] r_0223_0009__snapped snapped r_0223_0004__that_r_0223_0008__had->r_0223_0009__snapped [scope] r_0223_0005__the_r_0223_0007__heart the heart r_0223_0009__snapped->r_0223_0005__the_r_0223_0007__heart [arg0] r_0223_0012__two two r_0223_0009__snapped->r_0223_0012__two right in [nim] r_0223_0006__leaden leaden r_0223_0005__the_r_0223_0007__heart->r_0223_0006__leaden [attrib] 
arc(r_0223_0003__is, r_0223_0001__The_r_0223_0002__fact, arg0).
arc(r_0223_0003__is, r_0223_0004__that_r_0223_0008__had, prd).
arc(r_0223_0004__that_r_0223_0008__had, r_0223_0009__snapped, scope).
arc(r_0223_0005__the_r_0223_0007__heart, r_0223_0006__leaden, attrib16).
arc(r_0223_0009__snapped, r_0223_0005__the_r_0223_0007__heart, arg0).
arc(r_0223_0009__snapped, r_0223_0012__two, r_0223_0010__right_r_0223_0011__in_nim31).


%3 r_0223_0004__that_r_0223_0008__had_r_0223_0009__snapped that had snapped r_0223_0012__two two r_0223_0004__that_r_0223_0008__had_r_0223_0009__snapped->r_0223_0012__two right in [nim] r_0223_0005__the_r_0223_0007__heart the heart r_0223_0004__that_r_0223_0008__had_r_0223_0009__snapped->r_0223_0005__the_r_0223_0007__heart [arg0] r_0223_0006__leaden leaden r_0223_0005__the_r_0223_0007__heart->r_0223_0006__leaden [attrib] r_0223_0003__is is r_0223_0003__is->r_0223_0004__that_r_0223_0008__had_r_0223_0009__snapped [prd] r_0223_0001__The_r_0223_0002__fact The fact r_0223_0003__is->r_0223_0001__The_r_0223_0002__fact [arg0] 
fof(formula,axiom,
    ? [R_223_3_IS,R_223_1_THE_FACT,R_223_4_THAT_HAD_SNAPPED,R_223_5_THE_HEART,R_223_6_LEADEN,R_223_12_TWO] :
      ( the_fact(R_223_1_THE_FACT)
      & leaden(R_223_6_LEADEN)
      & two(R_223_12_TWO)
      & is(R_223_3_IS,R_223_1_THE_FACT,R_223_4_THAT_HAD_SNAPPED)
      & that_had_snapped(R_223_4_THAT_HAD_SNAPPED,R_223_5_THE_HEART)
      & the_heart(R_223_5_THE_HEART)
      & attrib16(R_223_5_THE_HEART,R_223_6_LEADEN)
      & right_in_nim31(R_223_4_THAT_HAD_SNAPPED,R_223_12_TWO) ) ).


n223_a_wilde_1_1888 n223_a_wilde_1_1888__1_1_1_1 The n223_a_wilde_1_1888__1_1_2_1 fact n223_a_wilde_1_1888__1_2_1 is n223_a_wilde_1_1888__1_3_1_1_1 that n223_a_wilde_1_1888__1_3_1_2_1_1 the n223_a_wilde_1_1888__1_3_1_2_2_1_1 leaden n223_a_wilde_1_1888__1_3_1_2_3_1 heart n223_a_wilde_1_1888__1_3_1_3_1 had n223_a_wilde_1_1888__1_3_1_4_1_1 snapped n223_a_wilde_1_1888__1_3_1_4_2_1_1 right n223_a_wilde_1_1888__1_3_1_4_2_2_1 in n223_a_wilde_1_1888__1_3_1_4_2_3_1_1 two n223_a_wilde_1_1888__1_4_1 . n223_a_wilde_1_1888__1 IP-MAT n223_a_wilde_1_1888__1_1 NP-SBJ n223_a_wilde_1_1888__1->n223_a_wilde_1_1888__1_1 n223_a_wilde_1_1888__1_2 BEP;_equ_Vf_ n223_a_wilde_1_1888__1->n223_a_wilde_1_1888__1_2 n223_a_wilde_1_1888__1_3 CP-THT-PRD n223_a_wilde_1_1888__1->n223_a_wilde_1_1888__1_3 n223_a_wilde_1_1888__1_4 PUNC n223_a_wilde_1_1888__1->n223_a_wilde_1_1888__1_4 n223_a_wilde_1_1888__1_1_1 D n223_a_wilde_1_1888__1_1->n223_a_wilde_1_1888__1_1_1 n223_a_wilde_1_1888__1_1_2 N n223_a_wilde_1_1888__1_1->n223_a_wilde_1_1888__1_1_2 n223_a_wilde_1_1888__1_1_1->n223_a_wilde_1_1888__1_1_1_1 n223_a_wilde_1_1888__1_1_2->n223_a_wilde_1_1888__1_1_2_1 n223_a_wilde_1_1888__1_2->n223_a_wilde_1_1888__1_2_1 n223_a_wilde_1_1888__1_3_1 IP-SUB n223_a_wilde_1_1888__1_3->n223_a_wilde_1_1888__1_3_1 n223_a_wilde_1_1888__1_3_1_1 C n223_a_wilde_1_1888__1_3_1->n223_a_wilde_1_1888__1_3_1_1 n223_a_wilde_1_1888__1_3_1_2 NP-SBJ n223_a_wilde_1_1888__1_3_1->n223_a_wilde_1_1888__1_3_1_2 n223_a_wilde_1_1888__1_3_1_3 HVD;_cat_Ve_ n223_a_wilde_1_1888__1_3_1->n223_a_wilde_1_1888__1_3_1_3 n223_a_wilde_1_1888__1_3_1_4 IP-PPL-CAT n223_a_wilde_1_1888__1_3_1->n223_a_wilde_1_1888__1_3_1_4 n223_a_wilde_1_1888__1_3_1_1->n223_a_wilde_1_1888__1_3_1_1_1 n223_a_wilde_1_1888__1_3_1_2_1 D n223_a_wilde_1_1888__1_3_1_2->n223_a_wilde_1_1888__1_3_1_2_1 n223_a_wilde_1_1888__1_3_1_2_2 ADJP n223_a_wilde_1_1888__1_3_1_2->n223_a_wilde_1_1888__1_3_1_2_2 n223_a_wilde_1_1888__1_3_1_2_3 N n223_a_wilde_1_1888__1_3_1_2->n223_a_wilde_1_1888__1_3_1_2_3 n223_a_wilde_1_1888__1_3_1_2_1->n223_a_wilde_1_1888__1_3_1_2_1_1 n223_a_wilde_1_1888__1_3_1_2_2_1 ADJ n223_a_wilde_1_1888__1_3_1_2_2->n223_a_wilde_1_1888__1_3_1_2_2_1 n223_a_wilde_1_1888__1_3_1_2_2_1->n223_a_wilde_1_1888__1_3_1_2_2_1_1 n223_a_wilde_1_1888__1_3_1_2_3->n223_a_wilde_1_1888__1_3_1_2_3_1 n223_a_wilde_1_1888__1_3_1_3->n223_a_wilde_1_1888__1_3_1_3_1 n223_a_wilde_1_1888__1_3_1_4_1 VVN;__ n223_a_wilde_1_1888__1_3_1_4->n223_a_wilde_1_1888__1_3_1_4_1 n223_a_wilde_1_1888__1_3_1_4_2 PP-NIM n223_a_wilde_1_1888__1_3_1_4->n223_a_wilde_1_1888__1_3_1_4_2 n223_a_wilde_1_1888__1_3_1_4_1->n223_a_wilde_1_1888__1_3_1_4_1_1 n223_a_wilde_1_1888__1_3_1_4_2_1 ADV n223_a_wilde_1_1888__1_3_1_4_2->n223_a_wilde_1_1888__1_3_1_4_2_1 n223_a_wilde_1_1888__1_3_1_4_2_2 P-ROLE n223_a_wilde_1_1888__1_3_1_4_2->n223_a_wilde_1_1888__1_3_1_4_2_2 n223_a_wilde_1_1888__1_3_1_4_2_3 NP n223_a_wilde_1_1888__1_3_1_4_2->n223_a_wilde_1_1888__1_3_1_4_2_3 n223_a_wilde_1_1888__1_3_1_4_2_1->n223_a_wilde_1_1888__1_3_1_4_2_1_1 n223_a_wilde_1_1888__1_3_1_4_2_2->n223_a_wilde_1_1888__1_3_1_4_2_2_1 n223_a_wilde_1_1888__1_3_1_4_2_3_1 NUM n223_a_wilde_1_1888__1_3_1_4_2_3->n223_a_wilde_1_1888__1_3_1_4_2_3_1 n223_a_wilde_1_1888__1_3_1_4_2_3_1->n223_a_wilde_1_1888__1_3_1_4_2_3_1_1 n223_a_wilde_1_1888__1_4->n223_a_wilde_1_1888__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N fact;{fact}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (ADJP (ADJ leaden;{leaden}))
                                      (N heart;{heart}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;__ snapped;{snap})
                                          (PP-NIM (ADV right;{right})
                                                  (P-ROLE in;{in})
                                                  (NP (NUM two;{two}))))))
          (PUNC .))
  (ID 223_a_wilde_1_1888))