Context                Previous, Next                Top


63_a_wilde_1_1888
So I lived, and so I died.

%3 r_0063_0003__lived lived r_0063_0001__So So r_0063_0003__lived->r_0063_0001__So [nim] r_0063_0002__I I r_0063_0003__lived->r_0063_0002__I [arg0] r_0063_0005__and and r_0063_0005__and->r_0063_0003__lived [conj1] r_0063_0008__died died r_0063_0005__and->r_0063_0008__died [conj2] r_0063_0006__so so r_0063_0008__died->r_0063_0006__so [nim] r_0063_0007__I I r_0063_0008__died->r_0063_0007__I [arg0] 
arc(r_0063_0003__lived, r_0063_0001__So, nim4).
arc(r_0063_0003__lived, r_0063_0002__I, arg0).
arc(r_0063_0005__and, r_0063_0003__lived, conj1).
arc(r_0063_0005__and, r_0063_0008__died, conj2).
arc(r_0063_0008__died, r_0063_0006__so, nim18).
arc(r_0063_0008__died, r_0063_0007__I, arg0).


%3 r_0063_0008__died died r_0063_0007__I I r_0063_0008__died->r_0063_0007__I [arg0] r_0063_0006__so so r_0063_0008__died->r_0063_0006__so [nim] r_0063_0005__and and r_0063_0005__and->r_0063_0008__died [conj2] r_0063_0003__lived lived r_0063_0005__and->r_0063_0003__lived [conj1] r_0063_0002__I I r_0063_0003__lived->r_0063_0002__I [arg0] r_0063_0001__So So r_0063_0003__lived->r_0063_0001__So [nim] 
fof(formula,axiom,
    ? [R_63_5_AND,R_63_3_LIVED,R_63_2_I,R_63_1_SO,R_63_8_DIED,R_63_7_I,R_63_6_SO] :
      ( i(R_63_2_I)
      & so(R_63_1_SO)
      & i(R_63_7_I)
      & so(R_63_6_SO)
      & and(R_63_5_AND)
      & conj1(R_63_5_AND,R_63_3_LIVED)
      & lived(R_63_3_LIVED,R_63_2_I)
      & nim4(R_63_3_LIVED,R_63_1_SO)
      & conj2(R_63_5_AND,R_63_8_DIED)
      & died(R_63_8_DIED,R_63_7_I)
      & nim18(R_63_8_DIED,R_63_6_SO) ) ).


n63_a_wilde_1_1888 n63_a_wilde_1_1888__1_1_1_1_1_1 So n63_a_wilde_1_1888__1_1_1_2_1_1 I n63_a_wilde_1_1888__1_1_1_3_1 lived n63_a_wilde_1_1888__1_1_2_1 , n63_a_wilde_1_1888__1_1_3_1_1 and n63_a_wilde_1_1888__1_1_3_2_1_1_1 so n63_a_wilde_1_1888__1_1_3_2_2_1_1 I n63_a_wilde_1_1888__1_1_3_2_3_1 died n63_a_wilde_1_1888__1_2_1 . n63_a_wilde_1_1888__1 IP-MAT n63_a_wilde_1_1888__1_1 ILYR n63_a_wilde_1_1888__1->n63_a_wilde_1_1888__1_1 n63_a_wilde_1_1888__1_2 PUNC n63_a_wilde_1_1888__1->n63_a_wilde_1_1888__1_2 n63_a_wilde_1_1888__1_1_1 ILYR n63_a_wilde_1_1888__1_1->n63_a_wilde_1_1888__1_1_1 n63_a_wilde_1_1888__1_1_2 PUNC n63_a_wilde_1_1888__1_1->n63_a_wilde_1_1888__1_1_2 n63_a_wilde_1_1888__1_1_3 CONJP n63_a_wilde_1_1888__1_1->n63_a_wilde_1_1888__1_1_3 n63_a_wilde_1_1888__1_1_1_1 ADVP-NIM n63_a_wilde_1_1888__1_1_1->n63_a_wilde_1_1888__1_1_1_1 n63_a_wilde_1_1888__1_1_1_2 NP-SBJ n63_a_wilde_1_1888__1_1_1->n63_a_wilde_1_1888__1_1_1_2 n63_a_wilde_1_1888__1_1_1_3 VBDl~I n63_a_wilde_1_1888__1_1_1->n63_a_wilde_1_1888__1_1_1_3 n63_a_wilde_1_1888__1_1_1_1_1 ADV n63_a_wilde_1_1888__1_1_1_1->n63_a_wilde_1_1888__1_1_1_1_1 n63_a_wilde_1_1888__1_1_1_1_1->n63_a_wilde_1_1888__1_1_1_1_1_1 n63_a_wilde_1_1888__1_1_1_2_1 PRO n63_a_wilde_1_1888__1_1_1_2->n63_a_wilde_1_1888__1_1_1_2_1 n63_a_wilde_1_1888__1_1_1_2_1->n63_a_wilde_1_1888__1_1_1_2_1_1 n63_a_wilde_1_1888__1_1_1_3->n63_a_wilde_1_1888__1_1_1_3_1 n63_a_wilde_1_1888__1_1_2->n63_a_wilde_1_1888__1_1_2_1 n63_a_wilde_1_1888__1_1_3_1 CONJ n63_a_wilde_1_1888__1_1_3->n63_a_wilde_1_1888__1_1_3_1 n63_a_wilde_1_1888__1_1_3_2 ILYR n63_a_wilde_1_1888__1_1_3->n63_a_wilde_1_1888__1_1_3_2 n63_a_wilde_1_1888__1_1_3_1->n63_a_wilde_1_1888__1_1_3_1_1 n63_a_wilde_1_1888__1_1_3_2_1 ADVP-NIM n63_a_wilde_1_1888__1_1_3_2->n63_a_wilde_1_1888__1_1_3_2_1 n63_a_wilde_1_1888__1_1_3_2_2 NP-SBJ n63_a_wilde_1_1888__1_1_3_2->n63_a_wilde_1_1888__1_1_3_2_2 n63_a_wilde_1_1888__1_1_3_2_3 VBD;_I_ n63_a_wilde_1_1888__1_1_3_2->n63_a_wilde_1_1888__1_1_3_2_3 n63_a_wilde_1_1888__1_1_3_2_1_1 ADV n63_a_wilde_1_1888__1_1_3_2_1->n63_a_wilde_1_1888__1_1_3_2_1_1 n63_a_wilde_1_1888__1_1_3_2_1_1->n63_a_wilde_1_1888__1_1_3_2_1_1_1 n63_a_wilde_1_1888__1_1_3_2_2_1 PRO n63_a_wilde_1_1888__1_1_3_2_2->n63_a_wilde_1_1888__1_1_3_2_2_1 n63_a_wilde_1_1888__1_1_3_2_2_1->n63_a_wilde_1_1888__1_1_3_2_2_1_1 n63_a_wilde_1_1888__1_1_3_2_3->n63_a_wilde_1_1888__1_1_3_2_3_1 n63_a_wilde_1_1888__1_2->n63_a_wilde_1_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-SBJ;{PRINCE} (PRO I;{I}))
                      (VBDl~I lived;{live}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{PRINCE} (PRO I;{I}))
                             (VBD;_I_ died;{die}))))
          (PUNC .))
  (ID 63_a_wilde_1_1888))