Context                Previous, Next                Top


314_a_dick_1952
Stark and immense it pointed up at the sky, a mass of steel and glass, set in a huge slab of concrete.

%3 r_0314_0002__and and r_0314_0001__Stark Stark r_0314_0002__and->r_0314_0001__Stark [conj1] r_0314_0003__immense immense r_0314_0002__and->r_0314_0003__immense [conj2] r_0314_0005__pointed_r_0314_0006__up pointed up r_0314_0005__pointed_r_0314_0006__up->r_0314_0002__and [attrib] r_0314_0004__it it r_0314_0005__pointed_r_0314_0006__up->r_0314_0004__it [arg0] r_0314_0008__the_r_0314_0009__sky the sky r_0314_0005__pointed_r_0314_0006__up->r_0314_0008__the_r_0314_0009__sky at [nim] r_0314_0011__a_r_0314_0012__mass a mass r_0314_0005__pointed_r_0314_0006__up->r_0314_0011__a_r_0314_0012__mass [nim] r_0314_0015__and and r_0314_0011__a_r_0314_0012__mass->r_0314_0015__and of r_0314_0014__steel steel r_0314_0015__and->r_0314_0014__steel [conj1] r_0314_0016__glass glass r_0314_0015__and->r_0314_0016__glass [conj2] r_0314_0018__set set r_0314_0018__set->r_0314_0011__a_r_0314_0012__mass [arg1] r_0314_0020__a_r_0314_0022__slab a slab r_0314_0018__set->r_0314_0020__a_r_0314_0022__slab in [nim] z_000_314_a_dick_1952_52 r_0314_0018__set->z_000_314_a_dick_1952_52 [arg0] r_0314_0021__huge huge r_0314_0020__a_r_0314_0022__slab->r_0314_0021__huge [attrib] r_0314_0024__concrete concrete r_0314_0020__a_r_0314_0022__slab->r_0314_0024__concrete of 
arc(r_0314_0002__and, r_0314_0001__Stark, conj1).
arc(r_0314_0002__and, r_0314_0003__immense, conj2).
arc(r_0314_0005__pointed_r_0314_0006__up, r_0314_0002__and, attrib2).
arc(r_0314_0005__pointed_r_0314_0006__up, r_0314_0004__it, arg0).
arc(r_0314_0005__pointed_r_0314_0006__up, r_0314_0008__the_r_0314_0009__sky, r_0314_0007__at_nim23).
arc(r_0314_0005__pointed_r_0314_0006__up, r_0314_0011__a_r_0314_0012__mass, nim30).
arc(r_0314_0011__a_r_0314_0012__mass, r_0314_0015__and, r_0314_0013__of).
arc(r_0314_0015__and, r_0314_0014__steel, conj1).
arc(r_0314_0015__and, r_0314_0016__glass, conj2).
arc(r_0314_0018__set, r_0314_0011__a_r_0314_0012__mass, arg1).
arc(r_0314_0018__set, r_0314_0020__a_r_0314_0022__slab, r_0314_0019__in_nim59).
arc(r_0314_0018__set, z_000_314_a_dick_1952_52, arg0).
arc(r_0314_0020__a_r_0314_0022__slab, r_0314_0021__huge, attrib62).
arc(r_0314_0020__a_r_0314_0022__slab, r_0314_0024__concrete, r_0314_0023__of).


%3 r_0314_0020__a_r_0314_0022__slab a slab r_0314_0024__concrete concrete r_0314_0020__a_r_0314_0022__slab->r_0314_0024__concrete of r_0314_0021__huge huge r_0314_0020__a_r_0314_0022__slab->r_0314_0021__huge [attrib] r_0314_0018__set set r_0314_0018__set->r_0314_0020__a_r_0314_0022__slab in [nim] z_000_314_a_dick_1952_52 r_0314_0018__set->z_000_314_a_dick_1952_52 [arg0] r_0314_0011__a_r_0314_0012__mass a mass r_0314_0018__set->r_0314_0011__a_r_0314_0012__mass [arg1] r_0314_0015__and and r_0314_0011__a_r_0314_0012__mass->r_0314_0015__and of r_0314_0016__glass glass r_0314_0015__and->r_0314_0016__glass [conj2] r_0314_0014__steel steel r_0314_0015__and->r_0314_0014__steel [conj1] r_0314_0005__pointed_r_0314_0006__up pointed up r_0314_0005__pointed_r_0314_0006__up->r_0314_0011__a_r_0314_0012__mass [nim] r_0314_0008__the_r_0314_0009__sky the sky r_0314_0005__pointed_r_0314_0006__up->r_0314_0008__the_r_0314_0009__sky at [nim] r_0314_0004__it it r_0314_0005__pointed_r_0314_0006__up->r_0314_0004__it [arg0] r_0314_0002__and and r_0314_0005__pointed_r_0314_0006__up->r_0314_0002__and [attrib] r_0314_0003__immense immense r_0314_0002__and->r_0314_0003__immense [conj2] r_0314_0001__Stark Stark r_0314_0002__and->r_0314_0001__Stark [conj1] 
fof(formula,axiom,
    ? [R_314_5_POINTED_UP,R_314_4_IT,R_314_2_AND,R_314_1_STARK,R_314_3_IMMENSE,R_314_8_THE_SKY,R_314_18_SET,Z_314_A_DICK_1952_52,R_314_11_A_MASS,R_314_15_AND,R_314_14_STEEL,R_314_16_GLASS,R_314_20_A_SLAB,R_314_21_HUGE,R_314_24_CONCRETE] :
      ( it(R_314_4_IT)
      & stark(R_314_1_STARK)
      & immense(R_314_3_IMMENSE)
      & the_sky(R_314_8_THE_SKY)
      & steel(R_314_14_STEEL)
      & glass(R_314_16_GLASS)
      & huge(R_314_21_HUGE)
      & concrete(R_314_24_CONCRETE)
      & pointed_up(R_314_5_POINTED_UP,R_314_4_IT)
      & attrib2(R_314_5_POINTED_UP,R_314_2_AND)
      & and(R_314_2_AND)
      & conj1(R_314_2_AND,R_314_1_STARK)
      & conj2(R_314_2_AND,R_314_3_IMMENSE)
      & nim30(R_314_5_POINTED_UP,R_314_11_A_MASS)
      & a_mass(R_314_11_A_MASS)
      & of(R_314_11_A_MASS,R_314_15_AND)
      & and(R_314_15_AND)
      & conj1(R_314_15_AND,R_314_14_STEEL)
      & conj2(R_314_15_AND,R_314_16_GLASS)
      & at_nim23(R_314_5_POINTED_UP,R_314_8_THE_SKY)
      & set(R_314_18_SET,Z_314_A_DICK_1952_52,R_314_11_A_MASS)
      & in_nim59(R_314_18_SET,R_314_20_A_SLAB)
      & a_slab(R_314_20_A_SLAB)
      & attrib62(R_314_20_A_SLAB,R_314_21_HUGE)
      & of(R_314_20_A_SLAB,R_314_24_CONCRETE) ) ).


n314_a_dick_1952 n314_a_dick_1952__1_1_1_1_1_1 Stark n314_a_dick_1952__1_1_1_2_1_1 and n314_a_dick_1952__1_1_1_2_2_1_1 immense n314_a_dick_1952__1_2_1_1 it n314_a_dick_1952__1_3_1 pointed n314_a_dick_1952__1_4_1 up n314_a_dick_1952__1_5_1_1 at n314_a_dick_1952__1_5_2_1_1 the n314_a_dick_1952__1_5_2_2_1 sky n314_a_dick_1952__1_6_1 , n314_a_dick_1952__1_7_1_1 a n314_a_dick_1952__1_7_2_1 mass n314_a_dick_1952__1_7_3_1_1 of n314_a_dick_1952__1_7_3_2_1_1_1_1 steel n314_a_dick_1952__1_7_3_2_1_2_1_1 and n314_a_dick_1952__1_7_3_2_1_2_2_1_1 glass n314_a_dick_1952__1_7_4_1 , n314_a_dick_1952__1_7_5_1_1 * n314_a_dick_1952__1_7_5_2_1 set n314_a_dick_1952__1_7_5_3_1_1 in n314_a_dick_1952__1_7_5_3_2_1_1 a n314_a_dick_1952__1_7_5_3_2_2_1_1 huge n314_a_dick_1952__1_7_5_3_2_3_1 slab n314_a_dick_1952__1_7_5_3_2_4_1_1 of n314_a_dick_1952__1_7_5_3_2_4_2_1_1 concrete n314_a_dick_1952__1_8_1 . n314_a_dick_1952__1 IP-MAT n314_a_dick_1952__1_1 ADJP-NIM n314_a_dick_1952__1->n314_a_dick_1952__1_1 n314_a_dick_1952__1_2 NP-SBJ n314_a_dick_1952__1->n314_a_dick_1952__1_2 n314_a_dick_1952__1_3 VBD;_phr_Vp_ n314_a_dick_1952__1->n314_a_dick_1952__1_3 n314_a_dick_1952__1_4 RP n314_a_dick_1952__1->n314_a_dick_1952__1_4 n314_a_dick_1952__1_5 PP-NIM n314_a_dick_1952__1->n314_a_dick_1952__1_5 n314_a_dick_1952__1_6 PUNC n314_a_dick_1952__1->n314_a_dick_1952__1_6 n314_a_dick_1952__1_7 NP-NIM n314_a_dick_1952__1->n314_a_dick_1952__1_7 n314_a_dick_1952__1_8 PUNC n314_a_dick_1952__1->n314_a_dick_1952__1_8 n314_a_dick_1952__1_1_1 AJLYR n314_a_dick_1952__1_1->n314_a_dick_1952__1_1_1 n314_a_dick_1952__1_1_1_1 AJLYR n314_a_dick_1952__1_1_1->n314_a_dick_1952__1_1_1_1 n314_a_dick_1952__1_1_1_2 CONJP n314_a_dick_1952__1_1_1->n314_a_dick_1952__1_1_1_2 n314_a_dick_1952__1_1_1_1_1 ADJ n314_a_dick_1952__1_1_1_1->n314_a_dick_1952__1_1_1_1_1 n314_a_dick_1952__1_1_1_1_1->n314_a_dick_1952__1_1_1_1_1_1 n314_a_dick_1952__1_1_1_2_1 CONJ n314_a_dick_1952__1_1_1_2->n314_a_dick_1952__1_1_1_2_1 n314_a_dick_1952__1_1_1_2_2 AJLYR n314_a_dick_1952__1_1_1_2->n314_a_dick_1952__1_1_1_2_2 n314_a_dick_1952__1_1_1_2_1->n314_a_dick_1952__1_1_1_2_1_1 n314_a_dick_1952__1_1_1_2_2_1 ADJ n314_a_dick_1952__1_1_1_2_2->n314_a_dick_1952__1_1_1_2_2_1 n314_a_dick_1952__1_1_1_2_2_1->n314_a_dick_1952__1_1_1_2_2_1_1 n314_a_dick_1952__1_2_1 PRO n314_a_dick_1952__1_2->n314_a_dick_1952__1_2_1 n314_a_dick_1952__1_2_1->n314_a_dick_1952__1_2_1_1 n314_a_dick_1952__1_3->n314_a_dick_1952__1_3_1 n314_a_dick_1952__1_4->n314_a_dick_1952__1_4_1 n314_a_dick_1952__1_5_1 P-ROLE n314_a_dick_1952__1_5->n314_a_dick_1952__1_5_1 n314_a_dick_1952__1_5_2 NP n314_a_dick_1952__1_5->n314_a_dick_1952__1_5_2 n314_a_dick_1952__1_5_1->n314_a_dick_1952__1_5_1_1 n314_a_dick_1952__1_5_2_1 D n314_a_dick_1952__1_5_2->n314_a_dick_1952__1_5_2_1 n314_a_dick_1952__1_5_2_2 N n314_a_dick_1952__1_5_2->n314_a_dick_1952__1_5_2_2 n314_a_dick_1952__1_5_2_1->n314_a_dick_1952__1_5_2_1_1 n314_a_dick_1952__1_5_2_2->n314_a_dick_1952__1_5_2_2_1 n314_a_dick_1952__1_6->n314_a_dick_1952__1_6_1 n314_a_dick_1952__1_7_1 D n314_a_dick_1952__1_7->n314_a_dick_1952__1_7_1 n314_a_dick_1952__1_7_2 N n314_a_dick_1952__1_7->n314_a_dick_1952__1_7_2 n314_a_dick_1952__1_7_3 PP n314_a_dick_1952__1_7->n314_a_dick_1952__1_7_3 n314_a_dick_1952__1_7_4 PUNC n314_a_dick_1952__1_7->n314_a_dick_1952__1_7_4 n314_a_dick_1952__1_7_5 IP-PPL n314_a_dick_1952__1_7->n314_a_dick_1952__1_7_5 n314_a_dick_1952__1_7_1->n314_a_dick_1952__1_7_1_1 n314_a_dick_1952__1_7_2->n314_a_dick_1952__1_7_2_1 n314_a_dick_1952__1_7_3_1 P-ROLE n314_a_dick_1952__1_7_3->n314_a_dick_1952__1_7_3_1 n314_a_dick_1952__1_7_3_2 NP n314_a_dick_1952__1_7_3->n314_a_dick_1952__1_7_3_2 n314_a_dick_1952__1_7_3_1->n314_a_dick_1952__1_7_3_1_1 n314_a_dick_1952__1_7_3_2_1 NLYR n314_a_dick_1952__1_7_3_2->n314_a_dick_1952__1_7_3_2_1 n314_a_dick_1952__1_7_3_2_1_1 NLYR n314_a_dick_1952__1_7_3_2_1->n314_a_dick_1952__1_7_3_2_1_1 n314_a_dick_1952__1_7_3_2_1_2 CONJP n314_a_dick_1952__1_7_3_2_1->n314_a_dick_1952__1_7_3_2_1_2 n314_a_dick_1952__1_7_3_2_1_1_1 N n314_a_dick_1952__1_7_3_2_1_1->n314_a_dick_1952__1_7_3_2_1_1_1 n314_a_dick_1952__1_7_3_2_1_1_1->n314_a_dick_1952__1_7_3_2_1_1_1_1 n314_a_dick_1952__1_7_3_2_1_2_1 CONJ n314_a_dick_1952__1_7_3_2_1_2->n314_a_dick_1952__1_7_3_2_1_2_1 n314_a_dick_1952__1_7_3_2_1_2_2 NLYR n314_a_dick_1952__1_7_3_2_1_2->n314_a_dick_1952__1_7_3_2_1_2_2 n314_a_dick_1952__1_7_3_2_1_2_1->n314_a_dick_1952__1_7_3_2_1_2_1_1 n314_a_dick_1952__1_7_3_2_1_2_2_1 N n314_a_dick_1952__1_7_3_2_1_2_2->n314_a_dick_1952__1_7_3_2_1_2_2_1 n314_a_dick_1952__1_7_3_2_1_2_2_1->n314_a_dick_1952__1_7_3_2_1_2_2_1_1 n314_a_dick_1952__1_7_4->n314_a_dick_1952__1_7_4_1 n314_a_dick_1952__1_7_5_1 NP-LGS n314_a_dick_1952__1_7_5->n314_a_dick_1952__1_7_5_1 n314_a_dick_1952__1_7_5_2 VVN;_Tn_ n314_a_dick_1952__1_7_5->n314_a_dick_1952__1_7_5_2 n314_a_dick_1952__1_7_5_3 PP-NIM n314_a_dick_1952__1_7_5->n314_a_dick_1952__1_7_5_3 n314_a_dick_1952__1_7_5_1->n314_a_dick_1952__1_7_5_1_1 n314_a_dick_1952__1_7_5_2->n314_a_dick_1952__1_7_5_2_1 n314_a_dick_1952__1_7_5_3_1 P-ROLE n314_a_dick_1952__1_7_5_3->n314_a_dick_1952__1_7_5_3_1 n314_a_dick_1952__1_7_5_3_2 NP n314_a_dick_1952__1_7_5_3->n314_a_dick_1952__1_7_5_3_2 n314_a_dick_1952__1_7_5_3_1->n314_a_dick_1952__1_7_5_3_1_1 n314_a_dick_1952__1_7_5_3_2_1 D n314_a_dick_1952__1_7_5_3_2->n314_a_dick_1952__1_7_5_3_2_1 n314_a_dick_1952__1_7_5_3_2_2 ADJP n314_a_dick_1952__1_7_5_3_2->n314_a_dick_1952__1_7_5_3_2_2 n314_a_dick_1952__1_7_5_3_2_3 N n314_a_dick_1952__1_7_5_3_2->n314_a_dick_1952__1_7_5_3_2_3 n314_a_dick_1952__1_7_5_3_2_4 PP n314_a_dick_1952__1_7_5_3_2->n314_a_dick_1952__1_7_5_3_2_4 n314_a_dick_1952__1_7_5_3_2_1->n314_a_dick_1952__1_7_5_3_2_1_1 n314_a_dick_1952__1_7_5_3_2_2_1 ADJ n314_a_dick_1952__1_7_5_3_2_2->n314_a_dick_1952__1_7_5_3_2_2_1 n314_a_dick_1952__1_7_5_3_2_2_1->n314_a_dick_1952__1_7_5_3_2_2_1_1 n314_a_dick_1952__1_7_5_3_2_3->n314_a_dick_1952__1_7_5_3_2_3_1 n314_a_dick_1952__1_7_5_3_2_4_1 P-ROLE n314_a_dick_1952__1_7_5_3_2_4->n314_a_dick_1952__1_7_5_3_2_4_1 n314_a_dick_1952__1_7_5_3_2_4_2 NP n314_a_dick_1952__1_7_5_3_2_4->n314_a_dick_1952__1_7_5_3_2_4_2 n314_a_dick_1952__1_7_5_3_2_4_1->n314_a_dick_1952__1_7_5_3_2_4_1_1 n314_a_dick_1952__1_7_5_3_2_4_2_1 N n314_a_dick_1952__1_7_5_3_2_4_2->n314_a_dick_1952__1_7_5_3_2_4_2_1 n314_a_dick_1952__1_7_5_3_2_4_2_1->n314_a_dick_1952__1_7_5_3_2_4_2_1_1 n314_a_dick_1952__1_8->n314_a_dick_1952__1_8_1 
( (IP-MAT (ADJP-NIM (AJLYR (AJLYR (ADJ Stark;{stark}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ immense;{immense})))))
          (NP-SBJ;{GUN} (PRO it;{it}))
          (VBD;_phr_Vp_ pointed;{point[up]})
          (RP up;{up})
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N sky;{sky})))
          (PUNC ,)
          (NP-NIM (D a;{a})
                  (N mass;{mass})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (N steel;{steel}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N glass;{glass}))))))
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ set;{set})
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (D a;{a})
                                      (ADJP (ADJ huge;{huge}))
                                      (N slab;{slab})
                                      (PP (P-ROLE of;{of})
                                          (NP (N concrete;{concrete})))))))
          (PUNC .))
  (ID 314_a_dick_1952))