Context                Previous, Next                Top


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_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_0003__he he 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] r_0212_0001__But_r_0212_0004__knew But knew 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_0001__But_r_0212_0004__knew->r_0212_0003__he [arg0] r_0212_0002__at_last at last r_0212_0001__But_r_0212_0004__knew->r_0212_0002__at_last [nim] 
fof(formula,axiom,
    ? [R_0212_0002__AT_LAST,R_0212_0003__HE,R_0212_0005__THAT_R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0009__TO_R_0212_0010__DIE,R_0212_0001__BUT_R_0212_0004__KNEW] :
      ( r_0212_0002__at_last(R_0212_0002__AT_LAST)
      & r_0212_0003__he(R_0212_0003__HE)
      & r_0212_0001__But_r_0212_0004__knew(R_0212_0001__BUT_R_0212_0004__KNEW)
      & has_arg1(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)
      & r_0212_0005__that_r_0212_0007__was_r_0212_0008__going_r_0212_0009__to_r_0212_0010__die(R_0212_0005__THAT_R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0009__TO_R_0212_0010__DIE)
      & has_arg0(R_0212_0005__THAT_R_0212_0007__WAS_R_0212_0008__GOING_R_0212_0009__TO_R_0212_0010__DIE,R_0212_0003__HE)
      & has_arg0(R_0212_0001__BUT_R_0212_0004__KNEW,R_0212_0003__HE)
      & has_nim4(R_0212_0001__BUT_R_0212_0004__KNEW,R_0212_0002__AT_LAST) ) ).


n212_a_wilde_1_1888 n212_a_wilde_1_1888__1_1_1 But n212_a_wilde_1_1888__1_2_1_1 at_last n212_a_wilde_1_1888__1_3_1_1 he n212_a_wilde_1_1888__1_4_1 knew n212_a_wilde_1_1888__1_5_1_1_1 that n212_a_wilde_1_1888__1_5_1_2_1_1 he n212_a_wilde_1_1888__1_5_1_3_1 was n212_a_wilde_1_1888__1_5_1_4_1_1 going n212_a_wilde_1_1888__1_5_1_4_2_1_1 to n212_a_wilde_1_1888__1_5_1_4_2_2_1 die n212_a_wilde_1_1888__1_6_1 . n212_a_wilde_1_1888__1 IP-MAT n212_a_wilde_1_1888__1_1 CONJ;_cl_ n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_1 n212_a_wilde_1_1888__1_2 ADVP-NIM n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_2 n212_a_wilde_1_1888__1_3 NP-SBJ n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_3 n212_a_wilde_1_1888__1_4 VBD;__ n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_4 n212_a_wilde_1_1888__1_5 CP-THT-OB1 n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_5 n212_a_wilde_1_1888__1_6 PUNC n212_a_wilde_1_1888__1->n212_a_wilde_1_1888__1_6 n212_a_wilde_1_1888__1_1->n212_a_wilde_1_1888__1_1_1 n212_a_wilde_1_1888__1_2_1 ADV n212_a_wilde_1_1888__1_2->n212_a_wilde_1_1888__1_2_1 n212_a_wilde_1_1888__1_2_1->n212_a_wilde_1_1888__1_2_1_1 n212_a_wilde_1_1888__1_3_1 PRO n212_a_wilde_1_1888__1_3->n212_a_wilde_1_1888__1_3_1 n212_a_wilde_1_1888__1_3_1->n212_a_wilde_1_1888__1_3_1_1 n212_a_wilde_1_1888__1_4->n212_a_wilde_1_1888__1_4_1 n212_a_wilde_1_1888__1_5_1 IP-SUB n212_a_wilde_1_1888__1_5->n212_a_wilde_1_1888__1_5_1 n212_a_wilde_1_1888__1_5_1_1 C n212_a_wilde_1_1888__1_5_1->n212_a_wilde_1_1888__1_5_1_1 n212_a_wilde_1_1888__1_5_1_2 NP-SBJ n212_a_wilde_1_1888__1_5_1->n212_a_wilde_1_1888__1_5_1_2 n212_a_wilde_1_1888__1_5_1_3 BED;_cat_Vg_ n212_a_wilde_1_1888__1_5_1->n212_a_wilde_1_1888__1_5_1_3 n212_a_wilde_1_1888__1_5_1_4 IP-PPL-CAT n212_a_wilde_1_1888__1_5_1->n212_a_wilde_1_1888__1_5_1_4 n212_a_wilde_1_1888__1_5_1_1->n212_a_wilde_1_1888__1_5_1_1_1 n212_a_wilde_1_1888__1_5_1_2_1 PRO n212_a_wilde_1_1888__1_5_1_2->n212_a_wilde_1_1888__1_5_1_2_1 n212_a_wilde_1_1888__1_5_1_2_1->n212_a_wilde_1_1888__1_5_1_2_1_1 n212_a_wilde_1_1888__1_5_1_3->n212_a_wilde_1_1888__1_5_1_3_1 n212_a_wilde_1_1888__1_5_1_4_1 VAG;_cat_Vt_ n212_a_wilde_1_1888__1_5_1_4->n212_a_wilde_1_1888__1_5_1_4_1 n212_a_wilde_1_1888__1_5_1_4_2 IP-INF-CAT n212_a_wilde_1_1888__1_5_1_4->n212_a_wilde_1_1888__1_5_1_4_2 n212_a_wilde_1_1888__1_5_1_4_1->n212_a_wilde_1_1888__1_5_1_4_1_1 n212_a_wilde_1_1888__1_5_1_4_2_1 TO n212_a_wilde_1_1888__1_5_1_4_2->n212_a_wilde_1_1888__1_5_1_4_2_1 n212_a_wilde_1_1888__1_5_1_4_2_2 VB;__ n212_a_wilde_1_1888__1_5_1_4_2->n212_a_wilde_1_1888__1_5_1_4_2_2 n212_a_wilde_1_1888__1_5_1_4_2_1->n212_a_wilde_1_1888__1_5_1_4_2_1_1 n212_a_wilde_1_1888__1_5_1_4_2_2->n212_a_wilde_1_1888__1_5_1_4_2_2_1 n212_a_wilde_1_1888__1_6->n212_a_wilde_1_1888__1_6_1 
( (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))