4_a_toeic
But this one is too short.
( (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))
arc(r_0004_0004__is,r_0004_0002__this_r_0004_0003__one,arg0).
arc(r_0004_0004__is,r_0004_0006__short,prd).
arc(r_0004_0006__short,r_0004_0005__too,qual).
fof(formula,axiom,
? [R_0004_0002__THIS_R_0004_0003__ONE,R_0004_0005__TOO,R_0004_0006__SHORT,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_0004__is(R_0004_0004__IS)
& has_prd(R_0004_0004__IS,R_0004_0006__SHORT)
& r_0004_0006__short(R_0004_0006__SHORT)
& has_qual(R_0004_0006__SHORT,R_0004_0005__TOO)
& has_arg0(R_0004_0004__IS,R_0004_0002__THIS_R_0004_0003__ONE) ) ).