63_a_wilde_1_1888
So I lived, and so I died.
( (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))
arc(r_0063_0003__lived,r_0063_0001__So,nim).
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_0002__I,arg0).
arc(r_0063_0008__died,r_0063_0006__so,nim).
fof(formula,axiom,
? [R_0063_0001__SO,R_0063_0002__I,R_0063_0003__LIVED,R_0063_0006__SO,R_0063_0008__DIED,R_0063_0005__AND] :
( r_0063_0001__So(R_0063_0001__SO)
& r_0063_0002__I(R_0063_0002__I)
& r_0063_0006__so(R_0063_0006__SO)
& r_0063_0005__and(R_0063_0005__AND)
& has_conj2(R_0063_0005__AND,R_0063_0008__DIED)
& r_0063_0008__died(R_0063_0008__DIED)
& has_nim(R_0063_0008__DIED,R_0063_0006__SO)
& has_arg0(R_0063_0008__DIED,R_0063_0002__I)
& has_conj1(R_0063_0005__AND,R_0063_0003__LIVED)
& r_0063_0003__lived(R_0063_0003__LIVED)
& has_arg0(R_0063_0003__LIVED,R_0063_0002__I)
& has_nim(R_0063_0003__LIVED,R_0063_0001__SO) ) ).