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_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] 
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_6 So n63_a_wilde_1_1888_9 I n63_a_wilde_1_1888_11 lived n63_a_wilde_1_1888_13 , n63_a_wilde_1_1888_16 and n63_a_wilde_1_1888_20 so n63_a_wilde_1_1888_23 I n63_a_wilde_1_1888_25 died n63_a_wilde_1_1888_27 . n63_a_wilde_1_1888_1 IP-MAT n63_a_wilde_1_1888_2 ILYR n63_a_wilde_1_1888_1->n63_a_wilde_1_1888_2 n63_a_wilde_1_1888_26 PUNC n63_a_wilde_1_1888_1->n63_a_wilde_1_1888_26 n63_a_wilde_1_1888_3 ILYR n63_a_wilde_1_1888_2->n63_a_wilde_1_1888_3 n63_a_wilde_1_1888_12 PUNC n63_a_wilde_1_1888_2->n63_a_wilde_1_1888_12 n63_a_wilde_1_1888_14 CONJP n63_a_wilde_1_1888_2->n63_a_wilde_1_1888_14 n63_a_wilde_1_1888_4 ADVP-NIM n63_a_wilde_1_1888_3->n63_a_wilde_1_1888_4 n63_a_wilde_1_1888_7 NP-SBJ n63_a_wilde_1_1888_3->n63_a_wilde_1_1888_7 n63_a_wilde_1_1888_10 VBDl~I n63_a_wilde_1_1888_3->n63_a_wilde_1_1888_10 n63_a_wilde_1_1888_5 ADV n63_a_wilde_1_1888_4->n63_a_wilde_1_1888_5 n63_a_wilde_1_1888_5->n63_a_wilde_1_1888_6 n63_a_wilde_1_1888_8 PRO n63_a_wilde_1_1888_7->n63_a_wilde_1_1888_8 n63_a_wilde_1_1888_8->n63_a_wilde_1_1888_9 n63_a_wilde_1_1888_10->n63_a_wilde_1_1888_11 n63_a_wilde_1_1888_12->n63_a_wilde_1_1888_13 n63_a_wilde_1_1888_15 CONJ n63_a_wilde_1_1888_14->n63_a_wilde_1_1888_15 n63_a_wilde_1_1888_17 ILYR n63_a_wilde_1_1888_14->n63_a_wilde_1_1888_17 n63_a_wilde_1_1888_15->n63_a_wilde_1_1888_16 n63_a_wilde_1_1888_18 ADVP-NIM n63_a_wilde_1_1888_17->n63_a_wilde_1_1888_18 n63_a_wilde_1_1888_21 NP-SBJ n63_a_wilde_1_1888_17->n63_a_wilde_1_1888_21 n63_a_wilde_1_1888_24 VBD;_I_ n63_a_wilde_1_1888_17->n63_a_wilde_1_1888_24 n63_a_wilde_1_1888_19 ADV n63_a_wilde_1_1888_18->n63_a_wilde_1_1888_19 n63_a_wilde_1_1888_19->n63_a_wilde_1_1888_20 n63_a_wilde_1_1888_22 PRO n63_a_wilde_1_1888_21->n63_a_wilde_1_1888_22 n63_a_wilde_1_1888_22->n63_a_wilde_1_1888_23 n63_a_wilde_1_1888_24->n63_a_wilde_1_1888_25 n63_a_wilde_1_1888_26->n63_a_wilde_1_1888_27 
( (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))