249_a_dick_1952
The sun, cold and yellow, hung above them in the colorless sky.
( (IP-MAT (NP-SBJ (D The;{the})
(N sun;{sun})
(PUNC ,)
(ADJP (AJLYR (AJLYR (ADJ cold;{cold}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ yellow;{yellow}))))))
(PUNC ,)
(VBD;_Ipr_ hung;{hang[above]})
(PP-CLR (P-ROLE above;{above})
(NP;{DORLE+NASHA+TANCE} (PRO them;{they})))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(ADJP (ADJ colorless;{colorless}))
(N sky;{sky})))
(PUNC .))
(ID 249_a_dick_1952))
arc(r_0249_0001__The_r_0249_0002__sun,r_0249_0005__and,attrib).
arc(r_0249_0005__and,r_0249_0004__cold,conj1).
arc(r_0249_0005__and,r_0249_0006__yellow,conj2).
arc(r_0249_0008__hung_r_0249_0009__above,r_0249_0001__The_r_0249_0002__sun,arg0).
arc(r_0249_0008__hung_r_0249_0009__above,r_0249_0010__them,arg1).
arc(r_0249_0008__hung_r_0249_0009__above,r_0249_0012__the_r_0249_0014__sky,r_0249_0011__in__nim).
arc(r_0249_0012__the_r_0249_0014__sky,r_0249_0013__colorless,attrib).
fof(formula,axiom,
? [R_0249_0004__COLD,R_0249_0006__YELLOW,R_0249_0005__AND,R_0249_0001__THE_R_0249_0002__SUN,R_0249_0010__THEM,R_0249_0013__COLORLESS,R_0249_0012__THE_R_0249_0014__SKY,R_0249_0008__HUNG_R_0249_0009__ABOVE] :
( r_0249_0004__cold(R_0249_0004__COLD)
& r_0249_0006__yellow(R_0249_0006__YELLOW)
& r_0249_0010__them(R_0249_0010__THEM)
& r_0249_0013__colorless(R_0249_0013__COLORLESS)
& r_0249_0008__hung_r_0249_0009__above(R_0249_0008__HUNG_R_0249_0009__ABOVE)
& has_r_0249_0011__in__nim(R_0249_0008__HUNG_R_0249_0009__ABOVE,R_0249_0012__THE_R_0249_0014__SKY)
& r_0249_0012__the_r_0249_0014__sky(R_0249_0012__THE_R_0249_0014__SKY)
& has_attrib(R_0249_0012__THE_R_0249_0014__SKY,R_0249_0013__COLORLESS)
& has_arg1(R_0249_0008__HUNG_R_0249_0009__ABOVE,R_0249_0010__THEM)
& has_arg0(R_0249_0008__HUNG_R_0249_0009__ABOVE,R_0249_0001__THE_R_0249_0002__SUN)
& r_0249_0001__The_r_0249_0002__sun(R_0249_0001__THE_R_0249_0002__SUN)
& has_attrib(R_0249_0001__THE_R_0249_0002__SUN,R_0249_0005__AND)
& r_0249_0005__and(R_0249_0005__AND)
& has_conj2(R_0249_0005__AND,R_0249_0006__YELLOW)
& has_conj1(R_0249_0005__AND,R_0249_0004__COLD) ) ).