Context                Previous, Next                Top


249_a_dick_1952
The sun, cold and yellow, hung above them in the colorless sky.

%3 r_0249_0001__The_r_0249_0002__sun The sun r_0249_0005__and and r_0249_0001__The_r_0249_0002__sun->r_0249_0005__and [attrib] r_0249_0004__cold cold r_0249_0005__and->r_0249_0004__cold [conj1] r_0249_0006__yellow yellow r_0249_0005__and->r_0249_0006__yellow [conj2] r_0249_0008__hung hung r_0249_0008__hung->r_0249_0001__The_r_0249_0002__sun [arg0] r_0249_0010__them them r_0249_0008__hung->r_0249_0010__them above [clr] r_0249_0012__the_r_0249_0014__sky the sky r_0249_0008__hung->r_0249_0012__the_r_0249_0014__sky in [nim] r_0249_0013__colorless colorless r_0249_0012__the_r_0249_0014__sky->r_0249_0013__colorless [attrib] 
arc(r_0249_0001__The_r_0249_0002__sun, r_0249_0005__and, attrib9).
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_0001__The_r_0249_0002__sun, arg0).
arc(r_0249_0008__hung, r_0249_0010__them, r_0249_0009__above_clr27).
arc(r_0249_0008__hung, r_0249_0012__the_r_0249_0014__sky, r_0249_0011__in_nim33).
arc(r_0249_0012__the_r_0249_0014__sky, r_0249_0013__colorless, attrib36).


%3 r_0249_0012__the_r_0249_0014__sky the sky r_0249_0013__colorless colorless r_0249_0012__the_r_0249_0014__sky->r_0249_0013__colorless [attrib] r_0249_0008__hung hung r_0249_0008__hung->r_0249_0012__the_r_0249_0014__sky in [nim] r_0249_0010__them them r_0249_0008__hung->r_0249_0010__them above [clr] r_0249_0001__The_r_0249_0002__sun The sun r_0249_0008__hung->r_0249_0001__The_r_0249_0002__sun [arg0] r_0249_0005__and and r_0249_0001__The_r_0249_0002__sun->r_0249_0005__and [attrib] r_0249_0006__yellow yellow r_0249_0005__and->r_0249_0006__yellow [conj2] r_0249_0004__cold cold r_0249_0005__and->r_0249_0004__cold [conj1] 
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_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_0008__HUNG)
      & has_r_0249_0011__in_nim33(R_0249_0008__HUNG,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_attrib36(R_0249_0012__THE_R_0249_0014__SKY,R_0249_0013__COLORLESS)
      & has_r_0249_0009__above_clr27(R_0249_0008__HUNG,R_0249_0010__THEM)
      & has_arg0(R_0249_0008__HUNG,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_attrib9(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) ) ).


n249_a_dick_1952 n249_a_dick_1952__1_1_1_1 The n249_a_dick_1952__1_1_2_1 sun n249_a_dick_1952__1_1_3_1 , n249_a_dick_1952__1_1_4_1_1_1_1 cold n249_a_dick_1952__1_1_4_1_2_1_1 and n249_a_dick_1952__1_1_4_1_2_2_1_1 yellow n249_a_dick_1952__1_2_1 , n249_a_dick_1952__1_3_1 hung n249_a_dick_1952__1_4_1_1 above n249_a_dick_1952__1_4_2_1_1 them n249_a_dick_1952__1_5_1_1 in n249_a_dick_1952__1_5_2_1_1 the n249_a_dick_1952__1_5_2_2_1_1 colorless n249_a_dick_1952__1_5_2_3_1 sky n249_a_dick_1952__1_6_1 . n249_a_dick_1952__1 IP-MAT n249_a_dick_1952__1_1 NP-SBJ n249_a_dick_1952__1->n249_a_dick_1952__1_1 n249_a_dick_1952__1_2 PUNC n249_a_dick_1952__1->n249_a_dick_1952__1_2 n249_a_dick_1952__1_3 VBD;_Ipr_ n249_a_dick_1952__1->n249_a_dick_1952__1_3 n249_a_dick_1952__1_4 PP-CLR n249_a_dick_1952__1->n249_a_dick_1952__1_4 n249_a_dick_1952__1_5 PP-NIM n249_a_dick_1952__1->n249_a_dick_1952__1_5 n249_a_dick_1952__1_6 PUNC n249_a_dick_1952__1->n249_a_dick_1952__1_6 n249_a_dick_1952__1_1_1 D n249_a_dick_1952__1_1->n249_a_dick_1952__1_1_1 n249_a_dick_1952__1_1_2 N n249_a_dick_1952__1_1->n249_a_dick_1952__1_1_2 n249_a_dick_1952__1_1_3 PUNC n249_a_dick_1952__1_1->n249_a_dick_1952__1_1_3 n249_a_dick_1952__1_1_4 ADJP n249_a_dick_1952__1_1->n249_a_dick_1952__1_1_4 n249_a_dick_1952__1_1_1->n249_a_dick_1952__1_1_1_1 n249_a_dick_1952__1_1_2->n249_a_dick_1952__1_1_2_1 n249_a_dick_1952__1_1_3->n249_a_dick_1952__1_1_3_1 n249_a_dick_1952__1_1_4_1 AJLYR n249_a_dick_1952__1_1_4->n249_a_dick_1952__1_1_4_1 n249_a_dick_1952__1_1_4_1_1 AJLYR n249_a_dick_1952__1_1_4_1->n249_a_dick_1952__1_1_4_1_1 n249_a_dick_1952__1_1_4_1_2 CONJP n249_a_dick_1952__1_1_4_1->n249_a_dick_1952__1_1_4_1_2 n249_a_dick_1952__1_1_4_1_1_1 ADJ n249_a_dick_1952__1_1_4_1_1->n249_a_dick_1952__1_1_4_1_1_1 n249_a_dick_1952__1_1_4_1_1_1->n249_a_dick_1952__1_1_4_1_1_1_1 n249_a_dick_1952__1_1_4_1_2_1 CONJ n249_a_dick_1952__1_1_4_1_2->n249_a_dick_1952__1_1_4_1_2_1 n249_a_dick_1952__1_1_4_1_2_2 AJLYR n249_a_dick_1952__1_1_4_1_2->n249_a_dick_1952__1_1_4_1_2_2 n249_a_dick_1952__1_1_4_1_2_1->n249_a_dick_1952__1_1_4_1_2_1_1 n249_a_dick_1952__1_1_4_1_2_2_1 ADJ n249_a_dick_1952__1_1_4_1_2_2->n249_a_dick_1952__1_1_4_1_2_2_1 n249_a_dick_1952__1_1_4_1_2_2_1->n249_a_dick_1952__1_1_4_1_2_2_1_1 n249_a_dick_1952__1_2->n249_a_dick_1952__1_2_1 n249_a_dick_1952__1_3->n249_a_dick_1952__1_3_1 n249_a_dick_1952__1_4_1 P-ROLE n249_a_dick_1952__1_4->n249_a_dick_1952__1_4_1 n249_a_dick_1952__1_4_2 NP n249_a_dick_1952__1_4->n249_a_dick_1952__1_4_2 n249_a_dick_1952__1_4_1->n249_a_dick_1952__1_4_1_1 n249_a_dick_1952__1_4_2_1 PRO n249_a_dick_1952__1_4_2->n249_a_dick_1952__1_4_2_1 n249_a_dick_1952__1_4_2_1->n249_a_dick_1952__1_4_2_1_1 n249_a_dick_1952__1_5_1 P-ROLE n249_a_dick_1952__1_5->n249_a_dick_1952__1_5_1 n249_a_dick_1952__1_5_2 NP n249_a_dick_1952__1_5->n249_a_dick_1952__1_5_2 n249_a_dick_1952__1_5_1->n249_a_dick_1952__1_5_1_1 n249_a_dick_1952__1_5_2_1 D n249_a_dick_1952__1_5_2->n249_a_dick_1952__1_5_2_1 n249_a_dick_1952__1_5_2_2 ADJP n249_a_dick_1952__1_5_2->n249_a_dick_1952__1_5_2_2 n249_a_dick_1952__1_5_2_3 N n249_a_dick_1952__1_5_2->n249_a_dick_1952__1_5_2_3 n249_a_dick_1952__1_5_2_1->n249_a_dick_1952__1_5_2_1_1 n249_a_dick_1952__1_5_2_2_1 ADJ n249_a_dick_1952__1_5_2_2->n249_a_dick_1952__1_5_2_2_1 n249_a_dick_1952__1_5_2_2_1->n249_a_dick_1952__1_5_2_2_1_1 n249_a_dick_1952__1_5_2_3->n249_a_dick_1952__1_5_2_3_1 n249_a_dick_1952__1_6->n249_a_dick_1952__1_6_1 
( (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))