Context                Previous, Next                Top


316_a_dick_1952
A slim vane turned with the wind, a network of rods atop a high pole.

%3 r_0316_0001__A_r_0316_0003__vane A vane r_0316_0002__slim slim r_0316_0001__A_r_0316_0003__vane->r_0316_0002__slim [attrib] r_0316_0004__turned turned r_0316_0004__turned->r_0316_0001__A_r_0316_0003__vane [arg0] r_0316_0006__the_r_0316_0007__wind the wind r_0316_0004__turned->r_0316_0006__the_r_0316_0007__wind with [nim] r_0316_0009__a_r_0316_0010__network a network r_0316_0012__rods rods r_0316_0009__a_r_0316_0010__network->r_0316_0012__rods of r_0316_0014__a_r_0316_0016__pole a pole r_0316_0012__rods->r_0316_0014__a_r_0316_0016__pole atop r_0316_0015__high high r_0316_0014__a_r_0316_0016__pole->r_0316_0015__high [attrib] z_000_316_a_dick_1952_24 z_000_316_a_dick_1952_24->r_0316_0001__A_r_0316_0003__vane [arg0] z_000_316_a_dick_1952_24->r_0316_0009__a_r_0316_0010__network [prd] 
arc(r_0316_0001__A_r_0316_0003__vane, r_0316_0002__slim, attrib5).
arc(r_0316_0004__turned, r_0316_0001__A_r_0316_0003__vane, arg0).
arc(r_0316_0004__turned, r_0316_0006__the_r_0316_0007__wind, r_0316_0005__with_nim17).
arc(r_0316_0009__a_r_0316_0010__network, r_0316_0012__rods, r_0316_0011__of).
arc(r_0316_0012__rods, r_0316_0014__a_r_0316_0016__pole, r_0316_0013__atop).
arc(r_0316_0014__a_r_0316_0016__pole, r_0316_0015__high, attrib42).
arc(z_000_316_a_dick_1952_24, r_0316_0001__A_r_0316_0003__vane, arg0).
arc(z_000_316_a_dick_1952_24, r_0316_0009__a_r_0316_0010__network, prd).


%3 z_000_316_a_dick_1952_24 r_0316_0009__a_r_0316_0010__network a network z_000_316_a_dick_1952_24->r_0316_0009__a_r_0316_0010__network [prd] r_0316_0001__A_r_0316_0003__vane A vane z_000_316_a_dick_1952_24->r_0316_0001__A_r_0316_0003__vane [arg0] r_0316_0012__rods rods r_0316_0009__a_r_0316_0010__network->r_0316_0012__rods of r_0316_0002__slim slim r_0316_0001__A_r_0316_0003__vane->r_0316_0002__slim [attrib] r_0316_0014__a_r_0316_0016__pole a pole r_0316_0015__high high r_0316_0014__a_r_0316_0016__pole->r_0316_0015__high [attrib] r_0316_0012__rods->r_0316_0014__a_r_0316_0016__pole atop r_0316_0004__turned turned r_0316_0004__turned->r_0316_0001__A_r_0316_0003__vane [arg0] r_0316_0006__the_r_0316_0007__wind the wind r_0316_0004__turned->r_0316_0006__the_r_0316_0007__wind with [nim] 
fof(formula,axiom,
    ? [R_0316_0002__SLIM,R_0316_0001__A_R_0316_0003__VANE,R_0316_0006__THE_R_0316_0007__WIND,R_0316_0004__TURNED,R_0316_0015__HIGH,R_0316_0014__A_R_0316_0016__POLE,R_0316_0012__RODS,R_0316_0009__A_R_0316_0010__NETWORK,Z_000_316_A_DICK_1952_24] :
      ( r_0316_0002__slim(R_0316_0002__SLIM)
      & r_0316_0006__the_r_0316_0007__wind(R_0316_0006__THE_R_0316_0007__WIND)
      & r_0316_0015__high(R_0316_0015__HIGH)
      & z_000_316_a_dick_1952_24(Z_000_316_A_DICK_1952_24)
      & has_prd(Z_000_316_A_DICK_1952_24,R_0316_0009__A_R_0316_0010__NETWORK)
      & r_0316_0009__a_r_0316_0010__network(R_0316_0009__A_R_0316_0010__NETWORK)
      & has_r_0316_0011__of(R_0316_0009__A_R_0316_0010__NETWORK,R_0316_0012__RODS)
      & r_0316_0012__rods(R_0316_0012__RODS)
      & has_r_0316_0013__atop(R_0316_0012__RODS,R_0316_0014__A_R_0316_0016__POLE)
      & r_0316_0014__a_r_0316_0016__pole(R_0316_0014__A_R_0316_0016__POLE)
      & has_attrib42(R_0316_0014__A_R_0316_0016__POLE,R_0316_0015__HIGH)
      & has_arg0(Z_000_316_A_DICK_1952_24,R_0316_0001__A_R_0316_0003__VANE)
      & r_0316_0001__A_r_0316_0003__vane(R_0316_0001__A_R_0316_0003__VANE)
      & has_attrib5(R_0316_0001__A_R_0316_0003__VANE,R_0316_0002__SLIM)
      & r_0316_0004__turned(R_0316_0004__TURNED)
      & has_r_0316_0005__with_nim17(R_0316_0004__TURNED,R_0316_0006__THE_R_0316_0007__WIND)
      & has_arg0(R_0316_0004__TURNED,R_0316_0001__A_R_0316_0003__VANE) ) ).


n316_a_dick_1952 n316_a_dick_1952__1_1_1_1 A n316_a_dick_1952__1_1_2_1_1 slim n316_a_dick_1952__1_1_3_1 vane n316_a_dick_1952__1_1_4_1 *ICH*-193 n316_a_dick_1952__1_2_1 turned n316_a_dick_1952__1_3_1_1 with n316_a_dick_1952__1_3_2_1_1 the n316_a_dick_1952__1_3_2_2_1 wind n316_a_dick_1952__1_4_1 , n316_a_dick_1952__1_5_1_1_1 a n316_a_dick_1952__1_5_1_2_1 network n316_a_dick_1952__1_5_1_3_1_1 of n316_a_dick_1952__1_5_1_3_2_1_1 rods n316_a_dick_1952__1_5_1_3_2_2_1_1 atop n316_a_dick_1952__1_5_1_3_2_2_2_1_1 a n316_a_dick_1952__1_5_1_3_2_2_2_2_1_1 high n316_a_dick_1952__1_5_1_3_2_2_2_3_1 pole n316_a_dick_1952__1_6_1 . n316_a_dick_1952__1 IP-MAT n316_a_dick_1952__1_1 NP-SBJ n316_a_dick_1952__1->n316_a_dick_1952__1_1 n316_a_dick_1952__1_2 VBD;_I_ n316_a_dick_1952__1->n316_a_dick_1952__1_2 n316_a_dick_1952__1_3 PP-NIM n316_a_dick_1952__1->n316_a_dick_1952__1_3 n316_a_dick_1952__1_4 PUNC n316_a_dick_1952__1->n316_a_dick_1952__1_4 n316_a_dick_1952__1_5 IP-PPL-EPD-193 n316_a_dick_1952__1->n316_a_dick_1952__1_5 n316_a_dick_1952__1_6 PUNC n316_a_dick_1952__1->n316_a_dick_1952__1_6 n316_a_dick_1952__1_1_1 D n316_a_dick_1952__1_1->n316_a_dick_1952__1_1_1 n316_a_dick_1952__1_1_2 ADJP n316_a_dick_1952__1_1->n316_a_dick_1952__1_1_2 n316_a_dick_1952__1_1_3 N n316_a_dick_1952__1_1->n316_a_dick_1952__1_1_3 n316_a_dick_1952__1_1_4 IP-PPL n316_a_dick_1952__1_1->n316_a_dick_1952__1_1_4 n316_a_dick_1952__1_1_1->n316_a_dick_1952__1_1_1_1 n316_a_dick_1952__1_1_2_1 ADJ n316_a_dick_1952__1_1_2->n316_a_dick_1952__1_1_2_1 n316_a_dick_1952__1_1_2_1->n316_a_dick_1952__1_1_2_1_1 n316_a_dick_1952__1_1_3->n316_a_dick_1952__1_1_3_1 n316_a_dick_1952__1_1_4->n316_a_dick_1952__1_1_4_1 n316_a_dick_1952__1_2->n316_a_dick_1952__1_2_1 n316_a_dick_1952__1_3_1 P-ROLE n316_a_dick_1952__1_3->n316_a_dick_1952__1_3_1 n316_a_dick_1952__1_3_2 NP n316_a_dick_1952__1_3->n316_a_dick_1952__1_3_2 n316_a_dick_1952__1_3_1->n316_a_dick_1952__1_3_1_1 n316_a_dick_1952__1_3_2_1 D n316_a_dick_1952__1_3_2->n316_a_dick_1952__1_3_2_1 n316_a_dick_1952__1_3_2_2 N n316_a_dick_1952__1_3_2->n316_a_dick_1952__1_3_2_2 n316_a_dick_1952__1_3_2_1->n316_a_dick_1952__1_3_2_1_1 n316_a_dick_1952__1_3_2_2->n316_a_dick_1952__1_3_2_2_1 n316_a_dick_1952__1_4->n316_a_dick_1952__1_4_1 n316_a_dick_1952__1_5_1 NP-PRD n316_a_dick_1952__1_5->n316_a_dick_1952__1_5_1 n316_a_dick_1952__1_5_1_1 D n316_a_dick_1952__1_5_1->n316_a_dick_1952__1_5_1_1 n316_a_dick_1952__1_5_1_2 N n316_a_dick_1952__1_5_1->n316_a_dick_1952__1_5_1_2 n316_a_dick_1952__1_5_1_3 PP n316_a_dick_1952__1_5_1->n316_a_dick_1952__1_5_1_3 n316_a_dick_1952__1_5_1_1->n316_a_dick_1952__1_5_1_1_1 n316_a_dick_1952__1_5_1_2->n316_a_dick_1952__1_5_1_2_1 n316_a_dick_1952__1_5_1_3_1 P-ROLE n316_a_dick_1952__1_5_1_3->n316_a_dick_1952__1_5_1_3_1 n316_a_dick_1952__1_5_1_3_2 NP n316_a_dick_1952__1_5_1_3->n316_a_dick_1952__1_5_1_3_2 n316_a_dick_1952__1_5_1_3_1->n316_a_dick_1952__1_5_1_3_1_1 n316_a_dick_1952__1_5_1_3_2_1 NS n316_a_dick_1952__1_5_1_3_2->n316_a_dick_1952__1_5_1_3_2_1 n316_a_dick_1952__1_5_1_3_2_2 PP n316_a_dick_1952__1_5_1_3_2->n316_a_dick_1952__1_5_1_3_2_2 n316_a_dick_1952__1_5_1_3_2_1->n316_a_dick_1952__1_5_1_3_2_1_1 n316_a_dick_1952__1_5_1_3_2_2_1 P-ROLE n316_a_dick_1952__1_5_1_3_2_2->n316_a_dick_1952__1_5_1_3_2_2_1 n316_a_dick_1952__1_5_1_3_2_2_2 NP n316_a_dick_1952__1_5_1_3_2_2->n316_a_dick_1952__1_5_1_3_2_2_2 n316_a_dick_1952__1_5_1_3_2_2_1->n316_a_dick_1952__1_5_1_3_2_2_1_1 n316_a_dick_1952__1_5_1_3_2_2_2_1 D n316_a_dick_1952__1_5_1_3_2_2_2->n316_a_dick_1952__1_5_1_3_2_2_2_1 n316_a_dick_1952__1_5_1_3_2_2_2_2 ADJP n316_a_dick_1952__1_5_1_3_2_2_2->n316_a_dick_1952__1_5_1_3_2_2_2_2 n316_a_dick_1952__1_5_1_3_2_2_2_3 N n316_a_dick_1952__1_5_1_3_2_2_2->n316_a_dick_1952__1_5_1_3_2_2_2_3 n316_a_dick_1952__1_5_1_3_2_2_2_1->n316_a_dick_1952__1_5_1_3_2_2_2_1_1 n316_a_dick_1952__1_5_1_3_2_2_2_2_1 ADJ n316_a_dick_1952__1_5_1_3_2_2_2_2->n316_a_dick_1952__1_5_1_3_2_2_2_2_1 n316_a_dick_1952__1_5_1_3_2_2_2_2_1->n316_a_dick_1952__1_5_1_3_2_2_2_2_1_1 n316_a_dick_1952__1_5_1_3_2_2_2_3->n316_a_dick_1952__1_5_1_3_2_2_2_3_1 n316_a_dick_1952__1_6->n316_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ (D A;{a})
                  (ADJP (ADJ slim;{slim}))
                  (N vane;{vane})
                  (IP-PPL *ICH*-193))
          (VBD;_I_ turned;{turn})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N wind;{wind})))
          (PUNC ,)
          (IP-PPL-EPD-193 (NP-PRD (D a;{a})
                                  (N network;{network})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS rods;{rod})
                                          (PP (P-ROLE atop;{atop})
                                              (NP (D a;{a})
                                                  (ADJP (ADJ high;{high}))
                                                  (N pole;{pole})))))))
          (PUNC .))
  (ID 316_a_dick_1952))