212_a_wilde_1_1888
But at last he knew that he was going to die.

%3 r_0212_0001__But_r_0212_0004__knew But knew r_0212_0002__at_last at last r_0212_0001__But_r_0212_0004__knew->r_0212_0002__at_last [nim] r_0212_0003__he he r_0212_0001__But_r_0212_0004__knew->r_0212_0003__he [arg0] r_0212_0005__that_r_0212_0007__was that was r_0212_0001__But_r_0212_0004__knew->r_0212_0005__that_r_0212_0007__was [arg1] r_0212_0008__going going r_0212_0005__that_r_0212_0007__was->r_0212_0008__going [scope] r_0212_0009__to_r_0212_0010__die to die r_0212_0008__going->r_0212_0009__to_r_0212_0010__die [scope] r_0212_0009__to_r_0212_0010__die->r_0212_0003__he [arg0]
arc(r_0212_0001__But_r_0212_0004__knew, r_0212_0002__at_last, nim4).
arc(r_0212_0001__But_r_0212_0004__knew, r_0212_0003__he, arg0).
arc(r_0212_0001__But_r_0212_0004__knew, r_0212_0005__that_r_0212_0007__was, arg1).
arc(r_0212_0005__that_r_0212_0007__was, r_0212_0008__going, scope).
arc(r_0212_0008__going, r_0212_0009__to_r_0212_0010__die, scope).
arc(r_0212_0009__to_r_0212_0010__die, r_0212_0003__he, arg0).



%3 r_0212_0001__But_r_0212_0004__knew But knew r_0212_0002__at_last at last r_0212_0001__But_r_0212_0004__knew->r_0212_0002__at_last [nim] r_0212_0003__he he r_0212_0001__But_r_0212_0004__knew->r_0212_0003__he [arg0] r_0212_0005__that_r_0212_0007__was_r_0212_0008__going_r_0212_0009__to_r_0212_0010__die that was going to die r_0212_0001__But_r_0212_0004__knew->r_0212_0005__that_r_0212_0007__was_r_0212_0008__going_r_0212_0009__to_r_0212_0010__die [arg1] r_0212_0005__that_r_0212_0007__was_r_0212_0008__going_r_0212_0009__to_r_0212_0010__die->r_0212_0003__he [arg0]
fof(formula,axiom,
    ? [R_212_1_BUT_KNEW,R_212_5_THAT_WAS_GOING_TO_DIE,R_212_3_HE,R_212_2_AT_LAST] :
      ( he(R_212_3_HE)
      & at_last(R_212_2_AT_LAST)
      & but_knew(R_212_1_BUT_KNEW,R_212_3_HE,R_212_5_THAT_WAS_GOING_TO_DIE)
      & that_was_going_to_die(R_212_5_THAT_WAS_GOING_TO_DIE,R_212_3_HE)
      & nim4(R_212_1_BUT_KNEW,R_212_2_AT_LAST) ) ).



n212_a_wilde_1_1888 n212_a_wilde_1_1888_3 But n212_a_wilde_1_1888_6 at_last n212_a_wilde_1_1888_9 he n212_a_wilde_1_1888_11 knew n212_a_wilde_1_1888_15 that n212_a_wilde_1_1888_18 he n212_a_wilde_1_1888_20 was n212_a_wilde_1_1888_23 going n212_a_wilde_1_1888_26 to n212_a_wilde_1_1888_28 die n212_a_wilde_1_1888_30 . n212_a_wilde_1_1888_1 IP-MAT n212_a_wilde_1_1888_2 CONJ;_cl_ n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_2 n212_a_wilde_1_1888_4 ADVP-NIM n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_4 n212_a_wilde_1_1888_7 NP-SBJ n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_7 n212_a_wilde_1_1888_10 VBD;__ n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_10 n212_a_wilde_1_1888_12 CP-THT-OB1 n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_12 n212_a_wilde_1_1888_29 PUNC n212_a_wilde_1_1888_1->n212_a_wilde_1_1888_29 n212_a_wilde_1_1888_2->n212_a_wilde_1_1888_3 n212_a_wilde_1_1888_5 ADV n212_a_wilde_1_1888_4->n212_a_wilde_1_1888_5 n212_a_wilde_1_1888_5->n212_a_wilde_1_1888_6 n212_a_wilde_1_1888_8 PRO n212_a_wilde_1_1888_7->n212_a_wilde_1_1888_8 n212_a_wilde_1_1888_8->n212_a_wilde_1_1888_9 n212_a_wilde_1_1888_10->n212_a_wilde_1_1888_11 n212_a_wilde_1_1888_13 IP-SUB n212_a_wilde_1_1888_12->n212_a_wilde_1_1888_13 n212_a_wilde_1_1888_14 C n212_a_wilde_1_1888_13->n212_a_wilde_1_1888_14 n212_a_wilde_1_1888_16 NP-SBJ n212_a_wilde_1_1888_13->n212_a_wilde_1_1888_16 n212_a_wilde_1_1888_19 BED;_cat_Vg_ n212_a_wilde_1_1888_13->n212_a_wilde_1_1888_19 n212_a_wilde_1_1888_21 IP-PPL-CAT n212_a_wilde_1_1888_13->n212_a_wilde_1_1888_21 n212_a_wilde_1_1888_14->n212_a_wilde_1_1888_15 n212_a_wilde_1_1888_17 PRO n212_a_wilde_1_1888_16->n212_a_wilde_1_1888_17 n212_a_wilde_1_1888_17->n212_a_wilde_1_1888_18 n212_a_wilde_1_1888_19->n212_a_wilde_1_1888_20 n212_a_wilde_1_1888_22 VAG;_cat_Vt_ n212_a_wilde_1_1888_21->n212_a_wilde_1_1888_22 n212_a_wilde_1_1888_24 IP-INF-CAT n212_a_wilde_1_1888_21->n212_a_wilde_1_1888_24 n212_a_wilde_1_1888_22->n212_a_wilde_1_1888_23 n212_a_wilde_1_1888_25 TO n212_a_wilde_1_1888_24->n212_a_wilde_1_1888_25 n212_a_wilde_1_1888_27 VB;__ n212_a_wilde_1_1888_24->n212_a_wilde_1_1888_27 n212_a_wilde_1_1888_25->n212_a_wilde_1_1888_26 n212_a_wilde_1_1888_27->n212_a_wilde_1_1888_28 n212_a_wilde_1_1888_29->n212_a_wilde_1_1888_30
( (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))