161_a_dick_1952
The sun came up chill and austere.
( (IP-MAT (NP-SBJ (D The;{the})
(N sun;{sun}))
(VBD;_Ip_ came;{come[up]})
(ADVP-CLR (RP up;{up}))
(ADJP-NIM (AJLYR (AJLYR (ADJ chill;{chill}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ austere;{austere})))))
(PUNC .))
(ID 161_a_dick_1952))
arc(r_0161_0003__came_r_0161_0004__up,r_0161_0001__The_r_0161_0002__sun,arg0).
arc(r_0161_0003__came_r_0161_0004__up,r_0161_0006__and,nim).
arc(r_0161_0006__and,r_0161_0005__chill,conj1).
arc(r_0161_0006__and,r_0161_0007__austere,conj2).
fof(formula,axiom,
? [R_0161_0001__THE_R_0161_0002__SUN,R_0161_0005__CHILL,R_0161_0007__AUSTERE,R_0161_0006__AND,R_0161_0003__CAME_R_0161_0004__UP] :
( r_0161_0001__The_r_0161_0002__sun(R_0161_0001__THE_R_0161_0002__SUN)
& r_0161_0005__chill(R_0161_0005__CHILL)
& r_0161_0007__austere(R_0161_0007__AUSTERE)
& r_0161_0003__came_r_0161_0004__up(R_0161_0003__CAME_R_0161_0004__UP)
& has_nim(R_0161_0003__CAME_R_0161_0004__UP,R_0161_0006__AND)
& r_0161_0006__and(R_0161_0006__AND)
& has_conj2(R_0161_0006__AND,R_0161_0007__AUSTERE)
& has_conj1(R_0161_0006__AND,R_0161_0005__CHILL)
& has_arg0(R_0161_0003__CAME_R_0161_0004__UP,R_0161_0001__THE_R_0161_0002__SUN) ) ).