90_a_wilde_2_1888
“tell me, that I might take my big sword and slay him.”
arc(r_0090_0002__tell, r_0090_0003__me, arg2).
arc(r_0090_0002__tell, r_0090_1001____star__, arg1).
arc(r_0090_0002__tell, z_000_90_a_wilde_2_1888_1, arg0).
arc(r_0090_0005__that, r_0090_0002__tell, scope).
arc(r_0090_0005__that, r_0090_0007__might, restriction).
arc(r_0090_0007__might, r_0090_0012__and, scope).
arc(r_0090_0008__take, r_0090_0003__me, arg0).
arc(r_0090_0008__take, r_0090_0011__sword, arg1).
arc(r_0090_0011__sword, r_0090_0003__me, gen).
arc(r_0090_0011__sword, r_0090_0010__big, attrib32).
arc(r_0090_0012__and, r_0090_0008__take, conj1).
arc(r_0090_0012__and, r_0090_0013__slay, conj2).
arc(r_0090_0013__slay, r_0090_0003__me, arg0).
arc(r_0090_0013__slay, r_0090_1001____star__, arg1).
fof(formula,axiom,
? [R_90_5_THAT,R_90_2_TELL,Z_90_A_WILDE_2_1888_1,R_90_1001__STAR_,R_90_3_ME] :
( _star_(R_90_1001__STAR_)
& me(R_90_3_ME)
& that(R_90_5_THAT)
& conj1(R_90_5_THAT,R_90_7_MIGHT)
& ~ ? [R_90_12_AND,R_90_8_TAKE,R_90_11_SWORD,R_90_10_BIG,R_90_13_SLAY] :
( big(R_90_10_BIG)
& and(R_90_12_AND)
& conj1(R_90_12_AND,R_90_8_TAKE)
& take(R_90_8_TAKE,R_90_3_ME,R_90_11_SWORD)
& sword(R_90_11_SWORD)
& attrib32(R_90_11_SWORD,R_90_10_BIG)
& gen(R_90_11_SWORD,R_90_3_ME)
& conj2(R_90_12_AND,R_90_13_SLAY)
& slay(R_90_13_SLAY,R_90_3_ME,R_90_1001__STAR_) )
& conj2(R_90_5_THAT,R_90_2_TELL)
& tell(R_90_2_TELL,Z_90_A_WILDE_2_1888_1,R_90_1001__STAR_,R_90_3_ME) ) ).
( (IP-IMP (PULQ <ldquo>)
(VB;_Dn.*_ tell;{tell})
(NP-OB2 (PRO me;{I}))
(NP-OB1 (N _*_))
(PUNC ,)
(PP-SCON (P-CONN that;{that})
(IP-ADV (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ might;{may})
(IP-INF-CAT (ILYR (ILYR (VB;_Tn_ take;{take})
(NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
(ADJP (ADJ big;{big}))
(N sword;{sword})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tn_ slay;{slay})
(NP-OB1 (PRO him;{he}))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 90_a_wilde_2_1888))