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_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_r_0223_0009__snapped that had snapped r_0223_0003__is->r_0223_0004__that_r_0223_0008__had_r_0223_0009__snapped [prd] 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_0012__two two r_0223_0004__that_r_0223_0008__had_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] 
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_4 The n223_a_wilde_1_1888_6 fact n223_a_wilde_1_1888_8 is n223_a_wilde_1_1888_12 that n223_a_wilde_1_1888_15 the n223_a_wilde_1_1888_18 leaden n223_a_wilde_1_1888_20 heart n223_a_wilde_1_1888_22 had n223_a_wilde_1_1888_25 snapped n223_a_wilde_1_1888_28 right n223_a_wilde_1_1888_30 in n223_a_wilde_1_1888_33 two n223_a_wilde_1_1888_35 . n223_a_wilde_1_1888_1 IP-MAT n223_a_wilde_1_1888_2 NP-SBJ n223_a_wilde_1_1888_1->n223_a_wilde_1_1888_2 n223_a_wilde_1_1888_7 BEP;_equ_Vf_ n223_a_wilde_1_1888_1->n223_a_wilde_1_1888_7 n223_a_wilde_1_1888_9 CP-THT-PRD n223_a_wilde_1_1888_1->n223_a_wilde_1_1888_9 n223_a_wilde_1_1888_34 PUNC n223_a_wilde_1_1888_1->n223_a_wilde_1_1888_34 n223_a_wilde_1_1888_3 D n223_a_wilde_1_1888_2->n223_a_wilde_1_1888_3 n223_a_wilde_1_1888_5 N n223_a_wilde_1_1888_2->n223_a_wilde_1_1888_5 n223_a_wilde_1_1888_3->n223_a_wilde_1_1888_4 n223_a_wilde_1_1888_5->n223_a_wilde_1_1888_6 n223_a_wilde_1_1888_7->n223_a_wilde_1_1888_8 n223_a_wilde_1_1888_10 IP-SUB n223_a_wilde_1_1888_9->n223_a_wilde_1_1888_10 n223_a_wilde_1_1888_11 C n223_a_wilde_1_1888_10->n223_a_wilde_1_1888_11 n223_a_wilde_1_1888_13 NP-SBJ n223_a_wilde_1_1888_10->n223_a_wilde_1_1888_13 n223_a_wilde_1_1888_21 HVD;_cat_Ve_ n223_a_wilde_1_1888_10->n223_a_wilde_1_1888_21 n223_a_wilde_1_1888_23 IP-PPL-CAT n223_a_wilde_1_1888_10->n223_a_wilde_1_1888_23 n223_a_wilde_1_1888_11->n223_a_wilde_1_1888_12 n223_a_wilde_1_1888_14 D n223_a_wilde_1_1888_13->n223_a_wilde_1_1888_14 n223_a_wilde_1_1888_16 ADJP n223_a_wilde_1_1888_13->n223_a_wilde_1_1888_16 n223_a_wilde_1_1888_19 N n223_a_wilde_1_1888_13->n223_a_wilde_1_1888_19 n223_a_wilde_1_1888_14->n223_a_wilde_1_1888_15 n223_a_wilde_1_1888_17 ADJ n223_a_wilde_1_1888_16->n223_a_wilde_1_1888_17 n223_a_wilde_1_1888_17->n223_a_wilde_1_1888_18 n223_a_wilde_1_1888_19->n223_a_wilde_1_1888_20 n223_a_wilde_1_1888_21->n223_a_wilde_1_1888_22 n223_a_wilde_1_1888_24 VVN;__ n223_a_wilde_1_1888_23->n223_a_wilde_1_1888_24 n223_a_wilde_1_1888_26 PP-NIM n223_a_wilde_1_1888_23->n223_a_wilde_1_1888_26 n223_a_wilde_1_1888_24->n223_a_wilde_1_1888_25 n223_a_wilde_1_1888_27 ADV n223_a_wilde_1_1888_26->n223_a_wilde_1_1888_27 n223_a_wilde_1_1888_29 P-ROLE n223_a_wilde_1_1888_26->n223_a_wilde_1_1888_29 n223_a_wilde_1_1888_31 NP n223_a_wilde_1_1888_26->n223_a_wilde_1_1888_31 n223_a_wilde_1_1888_27->n223_a_wilde_1_1888_28 n223_a_wilde_1_1888_29->n223_a_wilde_1_1888_30 n223_a_wilde_1_1888_32 NUM n223_a_wilde_1_1888_31->n223_a_wilde_1_1888_32 n223_a_wilde_1_1888_32->n223_a_wilde_1_1888_33 n223_a_wilde_1_1888_34->n223_a_wilde_1_1888_35 
( (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))