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_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] 
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_3 There n194_a_wilde_1_1888_5 is n194_a_wilde_1_1888_8 no n194_a_wilde_1_1888_10 Mystery n194_a_wilde_1_1888_14 so n194_a_wilde_1_1888_16 great n194_a_wilde_1_1888_19 as n194_a_wilde_1_1888_22 Misery n194_a_wilde_1_1888_24 . n194_a_wilde_1_1888_1 IP-MAT n194_a_wilde_1_1888_2 EX n194_a_wilde_1_1888_1->n194_a_wilde_1_1888_2 n194_a_wilde_1_1888_4 BEP;_ex_La_ n194_a_wilde_1_1888_1->n194_a_wilde_1_1888_4 n194_a_wilde_1_1888_6 NP-ESBJ n194_a_wilde_1_1888_1->n194_a_wilde_1_1888_6 n194_a_wilde_1_1888_11 ADJP-PRD n194_a_wilde_1_1888_1->n194_a_wilde_1_1888_11 n194_a_wilde_1_1888_23 PUNC n194_a_wilde_1_1888_1->n194_a_wilde_1_1888_23 n194_a_wilde_1_1888_2->n194_a_wilde_1_1888_3 n194_a_wilde_1_1888_4->n194_a_wilde_1_1888_5 n194_a_wilde_1_1888_7 Q n194_a_wilde_1_1888_6->n194_a_wilde_1_1888_7 n194_a_wilde_1_1888_9 N n194_a_wilde_1_1888_6->n194_a_wilde_1_1888_9 n194_a_wilde_1_1888_7->n194_a_wilde_1_1888_8 n194_a_wilde_1_1888_9->n194_a_wilde_1_1888_10 n194_a_wilde_1_1888_12 ADVP n194_a_wilde_1_1888_11->n194_a_wilde_1_1888_12 n194_a_wilde_1_1888_15 ADJ n194_a_wilde_1_1888_11->n194_a_wilde_1_1888_15 n194_a_wilde_1_1888_17 PP n194_a_wilde_1_1888_11->n194_a_wilde_1_1888_17 n194_a_wilde_1_1888_13 ADV n194_a_wilde_1_1888_12->n194_a_wilde_1_1888_13 n194_a_wilde_1_1888_13->n194_a_wilde_1_1888_14 n194_a_wilde_1_1888_15->n194_a_wilde_1_1888_16 n194_a_wilde_1_1888_18 P-ROLE n194_a_wilde_1_1888_17->n194_a_wilde_1_1888_18 n194_a_wilde_1_1888_20 NP n194_a_wilde_1_1888_17->n194_a_wilde_1_1888_20 n194_a_wilde_1_1888_18->n194_a_wilde_1_1888_19 n194_a_wilde_1_1888_21 N n194_a_wilde_1_1888_20->n194_a_wilde_1_1888_21 n194_a_wilde_1_1888_21->n194_a_wilde_1_1888_22 n194_a_wilde_1_1888_23->n194_a_wilde_1_1888_24 
( (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))