8_a_toeic
The color is nice, too.
( (IP-MAT (NP-SBJ;{COLOR} (D The;{the})
(N color;{color}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ nice;{nice}))
(PUNC ,)
(ADVP-NIM (ADV too;{too}))
(PUNC .))
(ID 8_a_toeic;32-34;speaker=customer))
arc(r_0008_0003__is,r_0008_0001__The_r_0008_0002__color,arg0).
arc(r_0008_0003__is,r_0008_0004__nice,prd).
arc(r_0008_0003__is,r_0008_0006__too,nim).
fof(formula,axiom,
? [R_0008_0001__THE_R_0008_0002__COLOR,R_0008_0004__NICE,R_0008_0006__TOO,R_0008_0003__IS] :
( r_0008_0001__The_r_0008_0002__color(R_0008_0001__THE_R_0008_0002__COLOR)
& r_0008_0004__nice(R_0008_0004__NICE)
& r_0008_0006__too(R_0008_0006__TOO)
& r_0008_0003__is(R_0008_0003__IS)
& has_nim(R_0008_0003__IS,R_0008_0006__TOO)
& has_prd(R_0008_0003__IS,R_0008_0004__NICE)
& has_arg0(R_0008_0003__IS,R_0008_0001__THE_R_0008_0002__COLOR) ) ).