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_4_1_BUT_IS,R_4_2_THIS_ONE,R_4_6_SHORT,R_4_5_TOO] :
( this_one(R_4_2_THIS_ONE)
& too(R_4_5_TOO)
& but_is(R_4_1_BUT_IS,R_4_2_THIS_ONE,R_4_6_SHORT)
& short(R_4_6_SHORT)
& qual12(R_4_6_SHORT,R_4_5_TOO) ) ).
( (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))