194_a_wilde_1_1888
There is no Mystery so great as Misery.
( (IP-MAT (EX There;{there})
(BEP;_ex_La_ is;{be})
(NP-ESBJ (Q no;{no})
(N Mystery;{mystery}))
(ADJP-PRD (ADVP (ADV so;{so}))
(ADJ great;{great})
(PP (P-ROLE as;{as})
(NP (N Misery;{misery}))))
(PUNC .))
(ID 194_a_wilde_1_1888))
arc(r_0194_0002__is,r_0194_0004__Mystery,arg0).
arc(r_0194_0002__is,r_0194_0006__great,prd).
arc(r_0194_0003__no__quant,r_0194_0002__is,scope).
arc(r_0194_0003__no__quant,r_0194_0004__Mystery,restriction).
arc(r_0194_0006__great,r_0194_0005__so,qual).
arc(r_0194_0006__great,r_0194_0008__Misery,r_0194_0007__as).
fof(formula,axiom,
! [R_0194_0004__MYSTERY] :
( r_0194_0004__Mystery(R_0194_0004__MYSTERY)
=> ? [R_0194_0005__SO,R_0194_0008__MISERY,R_0194_0006__GREAT,R_0194_0002__IS] :
( r_0194_0005__so(R_0194_0005__SO)
& r_0194_0008__Misery(R_0194_0008__MISERY)
& r_0194_0002__is(R_0194_0002__IS)
& has_prd(R_0194_0002__IS,R_0194_0006__GREAT)
& r_0194_0006__great(R_0194_0006__GREAT)
& has_r_0194_0007__as(R_0194_0006__GREAT,R_0194_0008__MISERY)
& has_qual(R_0194_0006__GREAT,R_0194_0005__SO)
& has_arg0(R_0194_0002__IS,R_0194_0004__MYSTERY) ) ) ).