Context                Previous, Next                Top


194_a_wilde_1_1888
There is no Mystery so great as Misery.

%3 r_0194_0001__There_r_0194_0002__is There is r_0194_0004__Mystery Mystery r_0194_0001__There_r_0194_0002__is->r_0194_0004__Mystery [arg0] r_0194_0006__great great r_0194_0001__There_r_0194_0002__is->r_0194_0006__great [prd] r_0194_0005__so so r_0194_0006__great->r_0194_0005__so [qual] r_0194_0008__Misery Misery r_0194_0006__great->r_0194_0008__Misery as r_0194_0003__no_quant no [quant] r_0194_0003__no_quant->r_0194_0001__There_r_0194_0002__is [scope] r_0194_0003__no_quant->r_0194_0004__Mystery [restriction] 
arc(r_0194_0001__There_r_0194_0002__is, r_0194_0004__Mystery, arg0).
arc(r_0194_0001__There_r_0194_0002__is, r_0194_0006__great, prd).
arc(r_0194_0003__no_quant, r_0194_0001__There_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, qual12).
arc(r_0194_0006__great, r_0194_0008__Misery, r_0194_0007__as).


%3 r_0194_0006__great great r_0194_0008__Misery Misery r_0194_0006__great->r_0194_0008__Misery as r_0194_0005__so so r_0194_0006__great->r_0194_0005__so [qual] r_0194_0003__no_quant no [quant] r_0194_0004__Mystery Mystery r_0194_0003__no_quant->r_0194_0004__Mystery [restriction] r_0194_0001__There_r_0194_0002__is There is r_0194_0003__no_quant->r_0194_0001__There_r_0194_0002__is [scope] r_0194_0001__There_r_0194_0002__is->r_0194_0006__great [prd] r_0194_0001__There_r_0194_0002__is->r_0194_0004__Mystery [arg0] 
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_0001__THERE_R_0194_0002__IS] :
          ( r_0194_0005__so(R_0194_0005__SO)
          & r_0194_0008__Misery(R_0194_0008__MISERY)
          & r_0194_0001__There_r_0194_0002__is(R_0194_0001__THERE_R_0194_0002__IS)
          & has_prd(R_0194_0001__THERE_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_qual12(R_0194_0006__GREAT,R_0194_0005__SO)
          & has_arg0(R_0194_0001__THERE_R_0194_0002__IS,R_0194_0004__MYSTERY) ) ) ).


n194_a_wilde_1_1888 n194_a_wilde_1_1888__1_1_1 There n194_a_wilde_1_1888__1_2_1 is n194_a_wilde_1_1888__1_3_1_1 no n194_a_wilde_1_1888__1_3_2_1 Mystery n194_a_wilde_1_1888__1_4_1_1_1 so n194_a_wilde_1_1888__1_4_2_1 great n194_a_wilde_1_1888__1_4_3_1_1 as n194_a_wilde_1_1888__1_4_3_2_1_1 Misery n194_a_wilde_1_1888__1_5_1 . n194_a_wilde_1_1888__1 IP-MAT n194_a_wilde_1_1888__1_1 EX n194_a_wilde_1_1888__1->n194_a_wilde_1_1888__1_1 n194_a_wilde_1_1888__1_2 BEP;_ex_La_ n194_a_wilde_1_1888__1->n194_a_wilde_1_1888__1_2 n194_a_wilde_1_1888__1_3 NP-ESBJ n194_a_wilde_1_1888__1->n194_a_wilde_1_1888__1_3 n194_a_wilde_1_1888__1_4 ADJP-PRD n194_a_wilde_1_1888__1->n194_a_wilde_1_1888__1_4 n194_a_wilde_1_1888__1_5 PUNC n194_a_wilde_1_1888__1->n194_a_wilde_1_1888__1_5 n194_a_wilde_1_1888__1_1->n194_a_wilde_1_1888__1_1_1 n194_a_wilde_1_1888__1_2->n194_a_wilde_1_1888__1_2_1 n194_a_wilde_1_1888__1_3_1 Q n194_a_wilde_1_1888__1_3->n194_a_wilde_1_1888__1_3_1 n194_a_wilde_1_1888__1_3_2 N n194_a_wilde_1_1888__1_3->n194_a_wilde_1_1888__1_3_2 n194_a_wilde_1_1888__1_3_1->n194_a_wilde_1_1888__1_3_1_1 n194_a_wilde_1_1888__1_3_2->n194_a_wilde_1_1888__1_3_2_1 n194_a_wilde_1_1888__1_4_1 ADVP n194_a_wilde_1_1888__1_4->n194_a_wilde_1_1888__1_4_1 n194_a_wilde_1_1888__1_4_2 ADJ n194_a_wilde_1_1888__1_4->n194_a_wilde_1_1888__1_4_2 n194_a_wilde_1_1888__1_4_3 PP n194_a_wilde_1_1888__1_4->n194_a_wilde_1_1888__1_4_3 n194_a_wilde_1_1888__1_4_1_1 ADV n194_a_wilde_1_1888__1_4_1->n194_a_wilde_1_1888__1_4_1_1 n194_a_wilde_1_1888__1_4_1_1->n194_a_wilde_1_1888__1_4_1_1_1 n194_a_wilde_1_1888__1_4_2->n194_a_wilde_1_1888__1_4_2_1 n194_a_wilde_1_1888__1_4_3_1 P-ROLE n194_a_wilde_1_1888__1_4_3->n194_a_wilde_1_1888__1_4_3_1 n194_a_wilde_1_1888__1_4_3_2 NP n194_a_wilde_1_1888__1_4_3->n194_a_wilde_1_1888__1_4_3_2 n194_a_wilde_1_1888__1_4_3_1->n194_a_wilde_1_1888__1_4_3_1_1 n194_a_wilde_1_1888__1_4_3_2_1 N n194_a_wilde_1_1888__1_4_3_2->n194_a_wilde_1_1888__1_4_3_2_1 n194_a_wilde_1_1888__1_4_3_2_1->n194_a_wilde_1_1888__1_4_3_2_1_1 n194_a_wilde_1_1888__1_5->n194_a_wilde_1_1888__1_5_1 
( (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))