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.
( (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))
arc(r_0044_0003__is_r_0044_0008__in,r_0044_0005__a_r_0044_0007__cloud,arg0).
arc(r_0044_0003__is_r_0044_0008__in,r_0044_0009__the_r_0044_0010__sky,arg1).
arc(r_0044_0004__not,r_0044_0003__is_r_0044_0008__in,keep_scope).
arc(r_0044_0005__a_r_0044_0007__cloud,r_0044_0006__single,attrib).
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,qual).
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,nim).
arc(r_0044_0023__is,r_0044_0024__raining,scope).
fof(formula,axiom,
? [R_0044_0012__THE_R_0044_0013__STARS,R_0044_0015__QUITE,R_0044_0016__CLEAR,R_0044_0018__BRIGHT,R_0044_0017__AND,R_0044_0014__ARE,R_0044_0021__YET,R_0044_0023__IS_R_0044_0024__RAINING,R_0044_0020__AND] :
( r_0044_0012__the_r_0044_0013__stars(R_0044_0012__THE_R_0044_0013__STARS)
& r_0044_0015__quite(R_0044_0015__QUITE)
& r_0044_0016__clear(R_0044_0016__CLEAR)
& r_0044_0018__bright(R_0044_0018__BRIGHT)
& r_0044_0021__yet(R_0044_0021__YET)
& r_0044_0020__and(R_0044_0020__AND)
& has_conj3(R_0044_0020__AND,R_0044_0023__IS_R_0044_0024__RAINING)
& r_0044_0023__is_r_0044_0024__raining(R_0044_0023__IS_R_0044_0024__RAINING)
& has_nim(R_0044_0023__IS_R_0044_0024__RAINING,R_0044_0021__YET)
& has_conj2(R_0044_0020__AND,R_0044_0014__ARE)
& r_0044_0014__are(R_0044_0014__ARE)
& has_prd(R_0044_0014__ARE,R_0044_0017__AND)
& r_0044_0017__and(R_0044_0017__AND)
& has_conj2(R_0044_0017__AND,R_0044_0018__BRIGHT)
& has_conj1(R_0044_0017__AND,R_0044_0016__CLEAR)
& has_qual(R_0044_0017__AND,R_0044_0015__QUITE)
& has_arg0(R_0044_0014__ARE,R_0044_0012__THE_R_0044_0013__STARS)
& has_conj1(R_0044_0020__AND,R_0044_0004__NOT)
& ~ ? [R_0044_0006__SINGLE,R_0044_0005__A_R_0044_0007__CLOUD,R_0044_0009__THE_R_0044_0010__SKY,R_0044_0003__IS_R_0044_0008__IN] :
( r_0044_0006__single(R_0044_0006__SINGLE)
& r_0044_0009__the_r_0044_0010__sky(R_0044_0009__THE_R_0044_0010__SKY)
& r_0044_0003__is_r_0044_0008__in(R_0044_0003__IS_R_0044_0008__IN)
& has_arg1(R_0044_0003__IS_R_0044_0008__IN,R_0044_0009__THE_R_0044_0010__SKY)
& has_arg0(R_0044_0003__IS_R_0044_0008__IN,R_0044_0005__A_R_0044_0007__CLOUD)
& r_0044_0005__a_r_0044_0007__cloud(R_0044_0005__A_R_0044_0007__CLOUD)
& has_attrib(R_0044_0005__A_R_0044_0007__CLOUD,R_0044_0006__SINGLE) ) ) ).