Context                Previous, Next                Top


44_a_wilde_1_1888
“there is not a single cloud in the sky, the stars are quite clear and bright, and yet it is raining.

%3 r_0044_0002__there_r_0044_0003__is there is r_0044_0005__a_r_0044_0007__cloud a cloud r_0044_0002__there_r_0044_0003__is->r_0044_0005__a_r_0044_0007__cloud [arg0] r_0044_0009__the_r_0044_0010__sky the sky r_0044_0002__there_r_0044_0003__is->r_0044_0009__the_r_0044_0010__sky in [clr] r_0044_0006__single single r_0044_0005__a_r_0044_0007__cloud->r_0044_0006__single [attrib] r_0044_0004__not not r_0044_0004__not->r_0044_0002__there_r_0044_0003__is [keep_scope] r_0044_0014__are are r_0044_0012__the_r_0044_0013__stars the stars r_0044_0014__are->r_0044_0012__the_r_0044_0013__stars [arg0] r_0044_0017__and and r_0044_0014__are->r_0044_0017__and [prd] r_0044_0015__quite quite r_0044_0017__and->r_0044_0015__quite [qual] r_0044_0016__clear clear r_0044_0017__and->r_0044_0016__clear [conj1] r_0044_0018__bright bright r_0044_0017__and->r_0044_0018__bright [conj2] r_0044_0020__and and r_0044_0020__and->r_0044_0004__not [conj1] r_0044_0020__and->r_0044_0014__are [conj2] r_0044_0023__is is r_0044_0020__and->r_0044_0023__is [conj3] r_0044_0021__yet yet r_0044_0023__is->r_0044_0021__yet [nim] r_0044_0024__raining raining r_0044_0023__is->r_0044_0024__raining [scope] 
arc(r_0044_0002__there_r_0044_0003__is, r_0044_0005__a_r_0044_0007__cloud, arg0).
arc(r_0044_0002__there_r_0044_0003__is, r_0044_0009__the_r_0044_0010__sky, r_0044_0008__in_clr23).
arc(r_0044_0004__not, r_0044_0002__there_r_0044_0003__is, keep_scope).
arc(r_0044_0005__a_r_0044_0007__cloud, r_0044_0006__single, attrib15).
arc(r_0044_0014__are, r_0044_0012__the_r_0044_0013__stars, arg0).
arc(r_0044_0014__are, r_0044_0017__and, prd).
arc(r_0044_0017__and, r_0044_0015__quite, qual40).
arc(r_0044_0017__and, r_0044_0016__clear, conj1).
arc(r_0044_0017__and, r_0044_0018__bright, conj2).
arc(r_0044_0020__and, r_0044_0004__not, conj1).
arc(r_0044_0020__and, r_0044_0014__are, conj2).
arc(r_0044_0020__and, r_0044_0023__is, conj3).
arc(r_0044_0023__is, r_0044_0021__yet, nim59).
arc(r_0044_0023__is, r_0044_0024__raining, scope).


%3 r_0044_0023__is_r_0044_0024__raining is raining r_0044_0021__yet yet r_0044_0023__is_r_0044_0024__raining->r_0044_0021__yet [nim] r_0044_0020__and and r_0044_0020__and->r_0044_0023__is_r_0044_0024__raining [conj3] r_0044_0014__are are r_0044_0020__and->r_0044_0014__are [conj2] r_0044_0004__not not r_0044_0020__and->r_0044_0004__not [conj1] r_0044_0017__and and r_0044_0014__are->r_0044_0017__and [prd] r_0044_0012__the_r_0044_0013__stars the stars r_0044_0014__are->r_0044_0012__the_r_0044_0013__stars [arg0] r_0044_0002__there_r_0044_0003__is there is r_0044_0004__not->r_0044_0002__there_r_0044_0003__is [keep_scope] r_0044_0018__bright bright r_0044_0017__and->r_0044_0018__bright [conj2] r_0044_0016__clear clear r_0044_0017__and->r_0044_0016__clear [conj1] r_0044_0015__quite quite r_0044_0017__and->r_0044_0015__quite [qual] r_0044_0005__a_r_0044_0007__cloud a cloud r_0044_0006__single single r_0044_0005__a_r_0044_0007__cloud->r_0044_0006__single [attrib] r_0044_0002__there_r_0044_0003__is->r_0044_0005__a_r_0044_0007__cloud [arg0] r_0044_0009__the_r_0044_0010__sky the sky r_0044_0002__there_r_0044_0003__is->r_0044_0009__the_r_0044_0010__sky in [clr] 
fof(formula,axiom,
    ? [R_44_20_AND,R_44_14_ARE,R_44_12_THE_STARS,R_44_17_AND,R_44_16_CLEAR,R_44_18_BRIGHT,R_44_15_QUITE,R_44_23_IS_RAINING,R_44_21_YET] :
      ( the_stars(R_44_12_THE_STARS)
      & clear(R_44_16_CLEAR)
      & bright(R_44_18_BRIGHT)
      & quite(R_44_15_QUITE)
      & yet(R_44_21_YET)
      & and(R_44_20_AND)
      & conj1(R_44_20_AND,R_44_4_NOT)
      & ~ ? [R_44_2_THERE_IS,R_44_5_A_CLOUD,R_44_6_SINGLE,R_44_9_THE_SKY] :
            ( single(R_44_6_SINGLE)
            & the_sky(R_44_9_THE_SKY)
            & there_is(R_44_2_THERE_IS,R_44_5_A_CLOUD)
            & a_cloud(R_44_5_A_CLOUD)
            & attrib15(R_44_5_A_CLOUD,R_44_6_SINGLE)
            & in_clr23(R_44_2_THERE_IS,R_44_9_THE_SKY) )
      & conj2(R_44_20_AND,R_44_14_ARE)
      & are(R_44_14_ARE,R_44_12_THE_STARS,R_44_17_AND)
      & and(R_44_17_AND)
      & conj1(R_44_17_AND,R_44_16_CLEAR)
      & conj2(R_44_17_AND,R_44_18_BRIGHT)
      & qual40(R_44_17_AND,R_44_15_QUITE)
      & conj3(R_44_20_AND,R_44_23_IS_RAINING)
      & is_raining(R_44_23_IS_RAINING)
      & nim59(R_44_23_IS_RAINING,R_44_21_YET) ) ).


n44_a_wilde_1_1888 n44_a_wilde_1_1888__1_1_1 <ldquo> n44_a_wilde_1_1888__1_2_1_1_1 there n44_a_wilde_1_1888__1_2_1_2_1 is n44_a_wilde_1_1888__1_2_1_3_1 not n44_a_wilde_1_1888__1_2_1_4_1_1 a n44_a_wilde_1_1888__1_2_1_4_2_1_1 single n44_a_wilde_1_1888__1_2_1_4_3_1 cloud n44_a_wilde_1_1888__1_2_1_5_1_1 in n44_a_wilde_1_1888__1_2_1_5_2_1_1 the n44_a_wilde_1_1888__1_2_1_5_2_2_1 sky n44_a_wilde_1_1888__1_2_2_1 , n44_a_wilde_1_1888__1_2_3_1_1_1_1 the n44_a_wilde_1_1888__1_2_3_1_1_2_1 stars n44_a_wilde_1_1888__1_2_3_1_2_1 are n44_a_wilde_1_1888__1_2_3_1_3_1_1_1 quite n44_a_wilde_1_1888__1_2_3_1_3_2_1_1_1 clear n44_a_wilde_1_1888__1_2_3_1_3_2_2_1_1 and n44_a_wilde_1_1888__1_2_3_1_3_2_2_2_1_1 bright n44_a_wilde_1_1888__1_2_4_1 , n44_a_wilde_1_1888__1_2_5_1_1 and n44_a_wilde_1_1888__1_2_5_2_1_1_1 yet n44_a_wilde_1_1888__1_2_5_2_2_1_1 it n44_a_wilde_1_1888__1_2_5_2_3_1 is n44_a_wilde_1_1888__1_2_5_2_4_1_1 raining n44_a_wilde_1_1888__1_3_1 . n44_a_wilde_1_1888__1 IP-MAT n44_a_wilde_1_1888__1_1 PULQ n44_a_wilde_1_1888__1->n44_a_wilde_1_1888__1_1 n44_a_wilde_1_1888__1_2 ILYR n44_a_wilde_1_1888__1->n44_a_wilde_1_1888__1_2 n44_a_wilde_1_1888__1_3 PUNC n44_a_wilde_1_1888__1->n44_a_wilde_1_1888__1_3 n44_a_wilde_1_1888__1_1->n44_a_wilde_1_1888__1_1_1 n44_a_wilde_1_1888__1_2_1 ILYR n44_a_wilde_1_1888__1_2->n44_a_wilde_1_1888__1_2_1 n44_a_wilde_1_1888__1_2_2 PUNC n44_a_wilde_1_1888__1_2->n44_a_wilde_1_1888__1_2_2 n44_a_wilde_1_1888__1_2_3 CONJP n44_a_wilde_1_1888__1_2->n44_a_wilde_1_1888__1_2_3 n44_a_wilde_1_1888__1_2_4 PUNC n44_a_wilde_1_1888__1_2->n44_a_wilde_1_1888__1_2_4 n44_a_wilde_1_1888__1_2_5 CONJP n44_a_wilde_1_1888__1_2->n44_a_wilde_1_1888__1_2_5 n44_a_wilde_1_1888__1_2_1_1 EX n44_a_wilde_1_1888__1_2_1->n44_a_wilde_1_1888__1_2_1_1 n44_a_wilde_1_1888__1_2_1_2 BEP;_ex_Vpr_ n44_a_wilde_1_1888__1_2_1->n44_a_wilde_1_1888__1_2_1_2 n44_a_wilde_1_1888__1_2_1_3 NEG n44_a_wilde_1_1888__1_2_1->n44_a_wilde_1_1888__1_2_1_3 n44_a_wilde_1_1888__1_2_1_4 NP-ESBJ n44_a_wilde_1_1888__1_2_1->n44_a_wilde_1_1888__1_2_1_4 n44_a_wilde_1_1888__1_2_1_5 PP-CLR n44_a_wilde_1_1888__1_2_1->n44_a_wilde_1_1888__1_2_1_5 n44_a_wilde_1_1888__1_2_1_1->n44_a_wilde_1_1888__1_2_1_1_1 n44_a_wilde_1_1888__1_2_1_2->n44_a_wilde_1_1888__1_2_1_2_1 n44_a_wilde_1_1888__1_2_1_3->n44_a_wilde_1_1888__1_2_1_3_1 n44_a_wilde_1_1888__1_2_1_4_1 D n44_a_wilde_1_1888__1_2_1_4->n44_a_wilde_1_1888__1_2_1_4_1 n44_a_wilde_1_1888__1_2_1_4_2 ADJP n44_a_wilde_1_1888__1_2_1_4->n44_a_wilde_1_1888__1_2_1_4_2 n44_a_wilde_1_1888__1_2_1_4_3 N n44_a_wilde_1_1888__1_2_1_4->n44_a_wilde_1_1888__1_2_1_4_3 n44_a_wilde_1_1888__1_2_1_4_1->n44_a_wilde_1_1888__1_2_1_4_1_1 n44_a_wilde_1_1888__1_2_1_4_2_1 ADJ n44_a_wilde_1_1888__1_2_1_4_2->n44_a_wilde_1_1888__1_2_1_4_2_1 n44_a_wilde_1_1888__1_2_1_4_2_1->n44_a_wilde_1_1888__1_2_1_4_2_1_1 n44_a_wilde_1_1888__1_2_1_4_3->n44_a_wilde_1_1888__1_2_1_4_3_1 n44_a_wilde_1_1888__1_2_1_5_1 P-ROLE n44_a_wilde_1_1888__1_2_1_5->n44_a_wilde_1_1888__1_2_1_5_1 n44_a_wilde_1_1888__1_2_1_5_2 NP n44_a_wilde_1_1888__1_2_1_5->n44_a_wilde_1_1888__1_2_1_5_2 n44_a_wilde_1_1888__1_2_1_5_1->n44_a_wilde_1_1888__1_2_1_5_1_1 n44_a_wilde_1_1888__1_2_1_5_2_1 D n44_a_wilde_1_1888__1_2_1_5_2->n44_a_wilde_1_1888__1_2_1_5_2_1 n44_a_wilde_1_1888__1_2_1_5_2_2 N n44_a_wilde_1_1888__1_2_1_5_2->n44_a_wilde_1_1888__1_2_1_5_2_2 n44_a_wilde_1_1888__1_2_1_5_2_1->n44_a_wilde_1_1888__1_2_1_5_2_1_1 n44_a_wilde_1_1888__1_2_1_5_2_2->n44_a_wilde_1_1888__1_2_1_5_2_2_1 n44_a_wilde_1_1888__1_2_2->n44_a_wilde_1_1888__1_2_2_1 n44_a_wilde_1_1888__1_2_3_1 ILYR n44_a_wilde_1_1888__1_2_3->n44_a_wilde_1_1888__1_2_3_1 n44_a_wilde_1_1888__1_2_3_1_1 NP-SBJ n44_a_wilde_1_1888__1_2_3_1->n44_a_wilde_1_1888__1_2_3_1_1 n44_a_wilde_1_1888__1_2_3_1_2 BEP;_La_ n44_a_wilde_1_1888__1_2_3_1->n44_a_wilde_1_1888__1_2_3_1_2 n44_a_wilde_1_1888__1_2_3_1_3 ADJP-PRD n44_a_wilde_1_1888__1_2_3_1->n44_a_wilde_1_1888__1_2_3_1_3 n44_a_wilde_1_1888__1_2_3_1_1_1 D n44_a_wilde_1_1888__1_2_3_1_1->n44_a_wilde_1_1888__1_2_3_1_1_1 n44_a_wilde_1_1888__1_2_3_1_1_2 NS n44_a_wilde_1_1888__1_2_3_1_1->n44_a_wilde_1_1888__1_2_3_1_1_2 n44_a_wilde_1_1888__1_2_3_1_1_1->n44_a_wilde_1_1888__1_2_3_1_1_1_1 n44_a_wilde_1_1888__1_2_3_1_1_2->n44_a_wilde_1_1888__1_2_3_1_1_2_1 n44_a_wilde_1_1888__1_2_3_1_2->n44_a_wilde_1_1888__1_2_3_1_2_1 n44_a_wilde_1_1888__1_2_3_1_3_1 ADVP n44_a_wilde_1_1888__1_2_3_1_3->n44_a_wilde_1_1888__1_2_3_1_3_1 n44_a_wilde_1_1888__1_2_3_1_3_2 AJLYR n44_a_wilde_1_1888__1_2_3_1_3->n44_a_wilde_1_1888__1_2_3_1_3_2 n44_a_wilde_1_1888__1_2_3_1_3_1_1 ADV n44_a_wilde_1_1888__1_2_3_1_3_1->n44_a_wilde_1_1888__1_2_3_1_3_1_1 n44_a_wilde_1_1888__1_2_3_1_3_1_1->n44_a_wilde_1_1888__1_2_3_1_3_1_1_1 n44_a_wilde_1_1888__1_2_3_1_3_2_1 AJLYR n44_a_wilde_1_1888__1_2_3_1_3_2->n44_a_wilde_1_1888__1_2_3_1_3_2_1 n44_a_wilde_1_1888__1_2_3_1_3_2_2 CONJP n44_a_wilde_1_1888__1_2_3_1_3_2->n44_a_wilde_1_1888__1_2_3_1_3_2_2 n44_a_wilde_1_1888__1_2_3_1_3_2_1_1 ADJ n44_a_wilde_1_1888__1_2_3_1_3_2_1->n44_a_wilde_1_1888__1_2_3_1_3_2_1_1 n44_a_wilde_1_1888__1_2_3_1_3_2_1_1->n44_a_wilde_1_1888__1_2_3_1_3_2_1_1_1 n44_a_wilde_1_1888__1_2_3_1_3_2_2_1 CONJ n44_a_wilde_1_1888__1_2_3_1_3_2_2->n44_a_wilde_1_1888__1_2_3_1_3_2_2_1 n44_a_wilde_1_1888__1_2_3_1_3_2_2_2 AJLYR n44_a_wilde_1_1888__1_2_3_1_3_2_2->n44_a_wilde_1_1888__1_2_3_1_3_2_2_2 n44_a_wilde_1_1888__1_2_3_1_3_2_2_1->n44_a_wilde_1_1888__1_2_3_1_3_2_2_1_1 n44_a_wilde_1_1888__1_2_3_1_3_2_2_2_1 ADJ n44_a_wilde_1_1888__1_2_3_1_3_2_2_2->n44_a_wilde_1_1888__1_2_3_1_3_2_2_2_1 n44_a_wilde_1_1888__1_2_3_1_3_2_2_2_1->n44_a_wilde_1_1888__1_2_3_1_3_2_2_2_1_1 n44_a_wilde_1_1888__1_2_4->n44_a_wilde_1_1888__1_2_4_1 n44_a_wilde_1_1888__1_2_5_1 CONJ n44_a_wilde_1_1888__1_2_5->n44_a_wilde_1_1888__1_2_5_1 n44_a_wilde_1_1888__1_2_5_2 ILYR n44_a_wilde_1_1888__1_2_5->n44_a_wilde_1_1888__1_2_5_2 n44_a_wilde_1_1888__1_2_5_1->n44_a_wilde_1_1888__1_2_5_1_1 n44_a_wilde_1_1888__1_2_5_2_1 ADVP-NIM n44_a_wilde_1_1888__1_2_5_2->n44_a_wilde_1_1888__1_2_5_2_1 n44_a_wilde_1_1888__1_2_5_2_2 NP-SBJ n44_a_wilde_1_1888__1_2_5_2->n44_a_wilde_1_1888__1_2_5_2_2 n44_a_wilde_1_1888__1_2_5_2_3 BEP;_cat_Vg_ n44_a_wilde_1_1888__1_2_5_2->n44_a_wilde_1_1888__1_2_5_2_3 n44_a_wilde_1_1888__1_2_5_2_4 IP-PPL-CAT n44_a_wilde_1_1888__1_2_5_2->n44_a_wilde_1_1888__1_2_5_2_4 n44_a_wilde_1_1888__1_2_5_2_1_1 ADV n44_a_wilde_1_1888__1_2_5_2_1->n44_a_wilde_1_1888__1_2_5_2_1_1 n44_a_wilde_1_1888__1_2_5_2_1_1->n44_a_wilde_1_1888__1_2_5_2_1_1_1 n44_a_wilde_1_1888__1_2_5_2_2_1 PRO;_expletive_ n44_a_wilde_1_1888__1_2_5_2_2->n44_a_wilde_1_1888__1_2_5_2_2_1 n44_a_wilde_1_1888__1_2_5_2_2_1->n44_a_wilde_1_1888__1_2_5_2_2_1_1 n44_a_wilde_1_1888__1_2_5_2_3->n44_a_wilde_1_1888__1_2_5_2_3_1 n44_a_wilde_1_1888__1_2_5_2_4_1 VAG;_I_ n44_a_wilde_1_1888__1_2_5_2_4->n44_a_wilde_1_1888__1_2_5_2_4_1 n44_a_wilde_1_1888__1_2_5_2_4_1->n44_a_wilde_1_1888__1_2_5_2_4_1_1 n44_a_wilde_1_1888__1_3->n44_a_wilde_1_1888__1_3_1 
( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (EX there;{there})
                      (BEP;_ex_Vpr_ is;{be})
                      (NEG not;{not})
                      (NP-ESBJ (D a;{a})
                               (ADJP (ADJ single;{single}))
                               (N cloud;{cloud}))
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N sky;{sky}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (D the;{the})
                                     (NS stars;{star}))
                             (BEP;_La_ are;{be})
                             (ADJP-PRD (ADVP (ADV quite;{quite}))
                                       (AJLYR (AJLYR (ADJ clear;{clear}))
                                              (CONJP (CONJ and;{and})
                                                     (AJLYR (ADJ bright;{bright})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV yet;{yet}))
                             (NP-SBJ (PRO;_expletive_ it;{it}))
                             (BEP;_cat_Vg_ is;{be})
                             (IP-PPL-CAT (VAG;_I_ raining;{rain})))))
          (PUNC .))
  (ID 44_a_wilde_1_1888))