223_a_wilde_1_1888
The fact is that the leaden heart had snapped right in two.
( (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 (ADVP-NIM (ADV right;{right}))
(P-ROLE in;{in})
(NP (NUM two;{two}))))))
(PUNC .))
(ID 223_a_wilde_1_1888))
arc(r_0223_0003__is,r_0223_0001__The_r_0223_0002__fact,arg0).
arc(r_0223_0003__is,r_0223_0008__had,prd).
arc(r_0223_0005__the_r_0223_0007__heart,r_0223_0006__leaden,attrib).
arc(r_0223_0008__had,r_0223_0009__snapped,scope).
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__nim).
fof(formula,axiom,
? [R_0223_0001__THE_R_0223_0002__FACT,R_0223_0006__LEADEN,R_0223_0005__THE_R_0223_0007__HEART,R_0223_0012__TWO,R_0223_0008__HAD_R_0223_0009__SNAPPED,R_0223_0003__IS] :
( r_0223_0001__The_r_0223_0002__fact(R_0223_0001__THE_R_0223_0002__FACT)
& r_0223_0006__leaden(R_0223_0006__LEADEN)
& r_0223_0012__two(R_0223_0012__TWO)
& r_0223_0003__is(R_0223_0003__IS)
& has_prd(R_0223_0003__IS,R_0223_0008__HAD_R_0223_0009__SNAPPED)
& r_0223_0008__had_r_0223_0009__snapped(R_0223_0008__HAD_R_0223_0009__SNAPPED)
& has_r_0223_0010__right_r_0223_0011__in__nim(R_0223_0008__HAD_R_0223_0009__SNAPPED,R_0223_0012__TWO)
& has_arg0(R_0223_0008__HAD_R_0223_0009__SNAPPED,R_0223_0005__THE_R_0223_0007__HEART)
& r_0223_0005__the_r_0223_0007__heart(R_0223_0005__THE_R_0223_0007__HEART)
& has_attrib(R_0223_0005__THE_R_0223_0007__HEART,R_0223_0006__LEADEN)
& has_arg0(R_0223_0003__IS,R_0223_0001__THE_R_0223_0002__FACT) ) ).