4_a_toeic
But this one is too short.
arc(r_0004_0001__But_r_0004_0004__is, r_0004_0002__this_r_0004_0003__one, arg0).
arc(r_0004_0001__But_r_0004_0004__is, r_0004_0006__short, prd).
arc(r_0004_0006__short, r_0004_0005__too, qual12).
fof(formula,axiom,
? [R_0004_0002__THIS_R_0004_0003__ONE,R_0004_0005__TOO,R_0004_0006__SHORT,R_0004_0001__BUT_R_0004_0004__IS] :
( r_0004_0002__this_r_0004_0003__one(R_0004_0002__THIS_R_0004_0003__ONE)
& r_0004_0005__too(R_0004_0005__TOO)
& r_0004_0001__But_r_0004_0004__is(R_0004_0001__BUT_R_0004_0004__IS)
& has_prd(R_0004_0001__BUT_R_0004_0004__IS,R_0004_0006__SHORT)
& r_0004_0006__short(R_0004_0006__SHORT)
& has_qual12(R_0004_0006__SHORT,R_0004_0005__TOO)
& has_arg0(R_0004_0001__BUT_R_0004_0004__IS,R_0004_0002__THIS_R_0004_0003__ONE) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ;{SHORT_PURSE} (D this;{this})
(N one;{one}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADVP (ADV too;{too}))
(ADJ short;{short}))
(PUNC .))
(ID 4_a_toeic;32-34;speaker=customer))