212_a_wilde_1_1888
But at last he knew that he was going to die.
( (IP-MAT (CONJ;_cl_ But;{but})
(ADVP-NIM (ADV at_last;{at_last}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;__ knew;{know})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
(IP-INF-CAT (TO to;{to})
(VB;__ die;{die})))))
(PUNC .))
(ID 212_a_wilde_1_1888))
arc(r_0212_0004__knew,r_0212_0002__at_last,nim).
arc(r_0212_0004__knew,r_0212_0003__he,arg0).
arc(r_0212_0004__knew,r_0212_0007__was,arg1).
arc(r_0212_0007__was,r_0212_0008__going,scope).
arc(r_0212_0008__going,r_0212_0010__die,scope).
arc(r_0212_0010__die,r_0212_0003__he,arg0).
fof(formula,axiom,
? [R_0212_0002__AT_LAST,R_0212_0003__HE,R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0010__DIE,R_0212_0004__KNEW] :
( r_0212_0002__at_last(R_0212_0002__AT_LAST)
& r_0212_0003__he(R_0212_0003__HE)
& r_0212_0004__knew(R_0212_0004__KNEW)
& has_arg1(R_0212_0004__KNEW,R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0010__DIE)
& r_0212_0007__was_r_0212_0008__going_r_0212_0010__die(R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0010__DIE)
& has_arg0(R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0010__DIE,R_0212_0003__HE)
& has_arg0(R_0212_0004__KNEW,R_0212_0003__HE)
& has_nim(R_0212_0004__KNEW,R_0212_0002__AT_LAST) ) ).