63_a_joyce_1914
But then I remembered that it had died of paralysis
( (IP-MAT (CONJ;_cl_ But;{but})
(ADVP-NIM (ADV then;{then}))
(NP-SBJ (PRO I;{I}))
(VBD;_Tf_ remembered;{remember})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{FACE} (PRO it;{it}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_I_ died;{die})
(PP-NIM (P-ROLE of;{of})
(NP (N paralysis;{paralysis})))))))
(ID 63_a_joyce_1914))
arc(r_0063_0004__remembered,r_0063_0002__then,nim).
arc(r_0063_0004__remembered,r_0063_0003__I,arg0).
arc(r_0063_0004__remembered,r_0063_0007__had,arg1).
arc(r_0063_0007__had,r_0063_0008__died,scope).
arc(r_0063_0008__died,r_0063_0006__it,arg0).
arc(r_0063_0008__died,r_0063_0010__paralysis,r_0063_0009__of__nim).
fof(formula,axiom,
? [R_0063_0002__THEN,R_0063_0003__I,R_0063_0006__IT,R_0063_0010__PARALYSIS,R_0063_0007__HAD_R_0063_0008__DIED,R_0063_0004__REMEMBERED] :
( r_0063_0002__then(R_0063_0002__THEN)
& r_0063_0003__I(R_0063_0003__I)
& r_0063_0006__it(R_0063_0006__IT)
& r_0063_0010__paralysis(R_0063_0010__PARALYSIS)
& r_0063_0004__remembered(R_0063_0004__REMEMBERED)
& has_arg1(R_0063_0004__REMEMBERED,R_0063_0007__HAD_R_0063_0008__DIED)
& r_0063_0007__had_r_0063_0008__died(R_0063_0007__HAD_R_0063_0008__DIED)
& has_r_0063_0009__of__nim(R_0063_0007__HAD_R_0063_0008__DIED,R_0063_0010__PARALYSIS)
& has_arg0(R_0063_0007__HAD_R_0063_0008__DIED,R_0063_0006__IT)
& has_arg0(R_0063_0004__REMEMBERED,R_0063_0003__I)
& has_nim(R_0063_0004__REMEMBERED,R_0063_0002__THEN) ) ).