TSPC 249_a_dick

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) ) ).