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_194_4_MYSTERY] :
      ( mystery(R_194_4_MYSTERY)
     => ? [R_194_1_THERE_IS,R_194_6_GREAT,R_194_5_SO,R_194_8_MISERY] :
          ( so(R_194_5_SO)
          & misery(R_194_8_MISERY)
          & there_is(R_194_1_THERE_IS,R_194_4_MYSTERY,R_194_6_GREAT)
          & great(R_194_6_GREAT)
          & qual12(R_194_6_GREAT,R_194_5_SO)
          & as(R_194_6_GREAT,R_194_8_MISERY) ) ) ).


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))