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_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_r_0044_0024__raining is raining r_0044_0020__and->r_0044_0023__is_r_0044_0024__raining [conj3] r_0044_0021__yet yet r_0044_0023__is_r_0044_0024__raining->r_0044_0021__yet [nim] 
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_3 <ldquo> n44_a_wilde_1_1888_7 there n44_a_wilde_1_1888_9 is n44_a_wilde_1_1888_11 not n44_a_wilde_1_1888_14 a n44_a_wilde_1_1888_17 single n44_a_wilde_1_1888_19 cloud n44_a_wilde_1_1888_22 in n44_a_wilde_1_1888_25 the n44_a_wilde_1_1888_27 sky n44_a_wilde_1_1888_29 , n44_a_wilde_1_1888_34 the n44_a_wilde_1_1888_36 stars n44_a_wilde_1_1888_38 are n44_a_wilde_1_1888_42 quite n44_a_wilde_1_1888_46 clear n44_a_wilde_1_1888_49 and n44_a_wilde_1_1888_52 bright n44_a_wilde_1_1888_54 , n44_a_wilde_1_1888_57 and n44_a_wilde_1_1888_61 yet n44_a_wilde_1_1888_64 it n44_a_wilde_1_1888_66 is n44_a_wilde_1_1888_69 raining n44_a_wilde_1_1888_71 . n44_a_wilde_1_1888_1 IP-MAT n44_a_wilde_1_1888_2 PULQ n44_a_wilde_1_1888_1->n44_a_wilde_1_1888_2 n44_a_wilde_1_1888_4 ILYR n44_a_wilde_1_1888_1->n44_a_wilde_1_1888_4 n44_a_wilde_1_1888_70 PUNC n44_a_wilde_1_1888_1->n44_a_wilde_1_1888_70 n44_a_wilde_1_1888_2->n44_a_wilde_1_1888_3 n44_a_wilde_1_1888_5 ILYR n44_a_wilde_1_1888_4->n44_a_wilde_1_1888_5 n44_a_wilde_1_1888_28 PUNC n44_a_wilde_1_1888_4->n44_a_wilde_1_1888_28 n44_a_wilde_1_1888_30 CONJP n44_a_wilde_1_1888_4->n44_a_wilde_1_1888_30 n44_a_wilde_1_1888_53 PUNC n44_a_wilde_1_1888_4->n44_a_wilde_1_1888_53 n44_a_wilde_1_1888_55 CONJP n44_a_wilde_1_1888_4->n44_a_wilde_1_1888_55 n44_a_wilde_1_1888_6 EX n44_a_wilde_1_1888_5->n44_a_wilde_1_1888_6 n44_a_wilde_1_1888_8 BEP;_ex_Vpr_ n44_a_wilde_1_1888_5->n44_a_wilde_1_1888_8 n44_a_wilde_1_1888_10 NEG n44_a_wilde_1_1888_5->n44_a_wilde_1_1888_10 n44_a_wilde_1_1888_12 NP-ESBJ n44_a_wilde_1_1888_5->n44_a_wilde_1_1888_12 n44_a_wilde_1_1888_20 PP-CLR n44_a_wilde_1_1888_5->n44_a_wilde_1_1888_20 n44_a_wilde_1_1888_6->n44_a_wilde_1_1888_7 n44_a_wilde_1_1888_8->n44_a_wilde_1_1888_9 n44_a_wilde_1_1888_10->n44_a_wilde_1_1888_11 n44_a_wilde_1_1888_13 D n44_a_wilde_1_1888_12->n44_a_wilde_1_1888_13 n44_a_wilde_1_1888_15 ADJP n44_a_wilde_1_1888_12->n44_a_wilde_1_1888_15 n44_a_wilde_1_1888_18 N n44_a_wilde_1_1888_12->n44_a_wilde_1_1888_18 n44_a_wilde_1_1888_13->n44_a_wilde_1_1888_14 n44_a_wilde_1_1888_16 ADJ n44_a_wilde_1_1888_15->n44_a_wilde_1_1888_16 n44_a_wilde_1_1888_16->n44_a_wilde_1_1888_17 n44_a_wilde_1_1888_18->n44_a_wilde_1_1888_19 n44_a_wilde_1_1888_21 P-ROLE n44_a_wilde_1_1888_20->n44_a_wilde_1_1888_21 n44_a_wilde_1_1888_23 NP n44_a_wilde_1_1888_20->n44_a_wilde_1_1888_23 n44_a_wilde_1_1888_21->n44_a_wilde_1_1888_22 n44_a_wilde_1_1888_24 D n44_a_wilde_1_1888_23->n44_a_wilde_1_1888_24 n44_a_wilde_1_1888_26 N n44_a_wilde_1_1888_23->n44_a_wilde_1_1888_26 n44_a_wilde_1_1888_24->n44_a_wilde_1_1888_25 n44_a_wilde_1_1888_26->n44_a_wilde_1_1888_27 n44_a_wilde_1_1888_28->n44_a_wilde_1_1888_29 n44_a_wilde_1_1888_31 ILYR n44_a_wilde_1_1888_30->n44_a_wilde_1_1888_31 n44_a_wilde_1_1888_32 NP-SBJ n44_a_wilde_1_1888_31->n44_a_wilde_1_1888_32 n44_a_wilde_1_1888_37 BEP;_La_ n44_a_wilde_1_1888_31->n44_a_wilde_1_1888_37 n44_a_wilde_1_1888_39 ADJP-PRD n44_a_wilde_1_1888_31->n44_a_wilde_1_1888_39 n44_a_wilde_1_1888_33 D n44_a_wilde_1_1888_32->n44_a_wilde_1_1888_33 n44_a_wilde_1_1888_35 NS n44_a_wilde_1_1888_32->n44_a_wilde_1_1888_35 n44_a_wilde_1_1888_33->n44_a_wilde_1_1888_34 n44_a_wilde_1_1888_35->n44_a_wilde_1_1888_36 n44_a_wilde_1_1888_37->n44_a_wilde_1_1888_38 n44_a_wilde_1_1888_40 ADVP n44_a_wilde_1_1888_39->n44_a_wilde_1_1888_40 n44_a_wilde_1_1888_43 AJLYR n44_a_wilde_1_1888_39->n44_a_wilde_1_1888_43 n44_a_wilde_1_1888_41 ADV n44_a_wilde_1_1888_40->n44_a_wilde_1_1888_41 n44_a_wilde_1_1888_41->n44_a_wilde_1_1888_42 n44_a_wilde_1_1888_44 AJLYR n44_a_wilde_1_1888_43->n44_a_wilde_1_1888_44 n44_a_wilde_1_1888_47 CONJP n44_a_wilde_1_1888_43->n44_a_wilde_1_1888_47 n44_a_wilde_1_1888_45 ADJ n44_a_wilde_1_1888_44->n44_a_wilde_1_1888_45 n44_a_wilde_1_1888_45->n44_a_wilde_1_1888_46 n44_a_wilde_1_1888_48 CONJ n44_a_wilde_1_1888_47->n44_a_wilde_1_1888_48 n44_a_wilde_1_1888_50 AJLYR n44_a_wilde_1_1888_47->n44_a_wilde_1_1888_50 n44_a_wilde_1_1888_48->n44_a_wilde_1_1888_49 n44_a_wilde_1_1888_51 ADJ n44_a_wilde_1_1888_50->n44_a_wilde_1_1888_51 n44_a_wilde_1_1888_51->n44_a_wilde_1_1888_52 n44_a_wilde_1_1888_53->n44_a_wilde_1_1888_54 n44_a_wilde_1_1888_56 CONJ n44_a_wilde_1_1888_55->n44_a_wilde_1_1888_56 n44_a_wilde_1_1888_58 ILYR n44_a_wilde_1_1888_55->n44_a_wilde_1_1888_58 n44_a_wilde_1_1888_56->n44_a_wilde_1_1888_57 n44_a_wilde_1_1888_59 ADVP-NIM n44_a_wilde_1_1888_58->n44_a_wilde_1_1888_59 n44_a_wilde_1_1888_62 NP-SBJ n44_a_wilde_1_1888_58->n44_a_wilde_1_1888_62 n44_a_wilde_1_1888_65 BEP;_cat_Vg_ n44_a_wilde_1_1888_58->n44_a_wilde_1_1888_65 n44_a_wilde_1_1888_67 IP-PPL-CAT n44_a_wilde_1_1888_58->n44_a_wilde_1_1888_67 n44_a_wilde_1_1888_60 ADV n44_a_wilde_1_1888_59->n44_a_wilde_1_1888_60 n44_a_wilde_1_1888_60->n44_a_wilde_1_1888_61 n44_a_wilde_1_1888_63 PRO;_expletive_ n44_a_wilde_1_1888_62->n44_a_wilde_1_1888_63 n44_a_wilde_1_1888_63->n44_a_wilde_1_1888_64 n44_a_wilde_1_1888_65->n44_a_wilde_1_1888_66 n44_a_wilde_1_1888_68 VAG;_I_ n44_a_wilde_1_1888_67->n44_a_wilde_1_1888_68 n44_a_wilde_1_1888_68->n44_a_wilde_1_1888_69 n44_a_wilde_1_1888_70->n44_a_wilde_1_1888_71 
( (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))