161_a_dick_1952
The sun came up chill and austere.
arc(r_0161_0003__came, r_0161_0001__The_r_0161_0002__sun, arg0).
arc(r_0161_0003__came, r_0161_0004__up, clr9).
arc(r_0161_0003__came, r_0161_0006__and, attrib12).
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_0004__UP,R_0161_0005__CHILL,R_0161_0007__AUSTERE,R_0161_0006__AND,R_0161_0003__CAME] :
( r_0161_0001__The_r_0161_0002__sun(R_0161_0001__THE_R_0161_0002__SUN)
& r_0161_0004__up(R_0161_0004__UP)
& r_0161_0005__chill(R_0161_0005__CHILL)
& r_0161_0007__austere(R_0161_0007__AUSTERE)
& r_0161_0003__came(R_0161_0003__CAME)
& has_attrib12(R_0161_0003__CAME,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_clr9(R_0161_0003__CAME,R_0161_0004__UP)
& has_arg0(R_0161_0003__CAME,R_0161_0001__THE_R_0161_0002__SUN) ) ).
( (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))