Context                Previous, Next                Top


618_a_dick_1952
And a long way off, a hundred miles from the city, another warning light flashed on, far underground.

%3 r_0618_0001__And_r_0618_0017__flashed And flashed r_0618_0005__off off r_0618_0001__And_r_0618_0017__flashed->r_0618_0005__off [nim] r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles a hundred miles r_0618_0001__And_r_0618_0017__flashed->r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles [nim] r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light another warning light r_0618_0001__And_r_0618_0017__flashed->r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light [arg0] r_0618_0018__on on r_0618_0001__And_r_0618_0017__flashed->r_0618_0018__on [clr] r_0618_0021__underground underground r_0618_0001__And_r_0618_0017__flashed->r_0618_0021__underground [nim] r_0618_0002__a_r_0618_0004__way a way r_0618_0005__off->r_0618_0002__a_r_0618_0004__way [nim] r_0618_0011__the_r_0618_0012__city the city r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles->r_0618_0011__the_r_0618_0012__city from r_0618_0020__far far r_0618_0021__underground->r_0618_0020__far [qual] r_0618_0003__long long r_0618_0002__a_r_0618_0004__way->r_0618_0003__long [attrib] 
arc(r_0618_0001__And_r_0618_0017__flashed, r_0618_0005__off, nim4).
arc(r_0618_0001__And_r_0618_0017__flashed, r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles, nim17).
arc(r_0618_0001__And_r_0618_0017__flashed, r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light, arg0).
arc(r_0618_0001__And_r_0618_0017__flashed, r_0618_0018__on, clr43).
arc(r_0618_0001__And_r_0618_0017__flashed, r_0618_0021__underground, nim48).
arc(r_0618_0002__a_r_0618_0004__way, r_0618_0003__long, attrib8).
arc(r_0618_0005__off, r_0618_0002__a_r_0618_0004__way, nim5).
arc(r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles, r_0618_0011__the_r_0618_0012__city, r_0618_0010__from).
arc(r_0618_0021__underground, r_0618_0020__far, qual49).


%3 r_0618_0021__underground underground r_0618_0020__far far r_0618_0021__underground->r_0618_0020__far [qual] r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles a hundred miles r_0618_0011__the_r_0618_0012__city the city r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles->r_0618_0011__the_r_0618_0012__city from r_0618_0005__off off r_0618_0002__a_r_0618_0004__way a way r_0618_0005__off->r_0618_0002__a_r_0618_0004__way [nim] r_0618_0003__long long r_0618_0002__a_r_0618_0004__way->r_0618_0003__long [attrib] r_0618_0001__And_r_0618_0017__flashed And flashed r_0618_0001__And_r_0618_0017__flashed->r_0618_0021__underground [nim] r_0618_0001__And_r_0618_0017__flashed->r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles [nim] r_0618_0001__And_r_0618_0017__flashed->r_0618_0005__off [nim] r_0618_0018__on on r_0618_0001__And_r_0618_0017__flashed->r_0618_0018__on [clr] r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light another warning light r_0618_0001__And_r_0618_0017__flashed->r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light [arg0] 
fof(formula,axiom,
    ? [R_618_1_AND_FLASHED,R_618_14_ANOTHER_WARNING_LIGHT,R_618_18_ON,R_618_7_A_HUNDRED_MILES,R_618_11_THE_CITY,R_618_5_OFF,R_618_2_A_WAY,R_618_3_LONG,R_618_21_UNDERGROUND,R_618_20_FAR] :
      ( another_warning_light(R_618_14_ANOTHER_WARNING_LIGHT)
      & on(R_618_18_ON)
      & the_city(R_618_11_THE_CITY)
      & long(R_618_3_LONG)
      & far(R_618_20_FAR)
      & and_flashed(R_618_1_AND_FLASHED,R_618_14_ANOTHER_WARNING_LIGHT)
      & clr43(R_618_1_AND_FLASHED,R_618_18_ON)
      & nim17(R_618_1_AND_FLASHED,R_618_7_A_HUNDRED_MILES)
      & a_hundred_miles(R_618_7_A_HUNDRED_MILES)
      & from(R_618_7_A_HUNDRED_MILES,R_618_11_THE_CITY)
      & nim4(R_618_1_AND_FLASHED,R_618_5_OFF)
      & off(R_618_5_OFF)
      & nim5(R_618_5_OFF,R_618_2_A_WAY)
      & a_way(R_618_2_A_WAY)
      & attrib8(R_618_2_A_WAY,R_618_3_LONG)
      & nim48(R_618_1_AND_FLASHED,R_618_21_UNDERGROUND)
      & underground(R_618_21_UNDERGROUND)
      & qual49(R_618_21_UNDERGROUND,R_618_20_FAR) ) ).


n618_a_dick_1952 n618_a_dick_1952__1_1_1 And n618_a_dick_1952__1_2_1_1_1 a n618_a_dick_1952__1_2_1_2_1_1 long n618_a_dick_1952__1_2_1_3_1 way n618_a_dick_1952__1_2_2_1 off n618_a_dick_1952__1_3_1 , n618_a_dick_1952__1_4_1_1 a n618_a_dick_1952__1_4_2_1 hundred n618_a_dick_1952__1_4_3_1 miles n618_a_dick_1952__1_4_4_1_1 from n618_a_dick_1952__1_4_4_2_1_1 the n618_a_dick_1952__1_4_4_2_2_1 city n618_a_dick_1952__1_5_1 , n618_a_dick_1952__1_6_1_1 another n618_a_dick_1952__1_6_2_1 warning n618_a_dick_1952__1_6_3_1 light n618_a_dick_1952__1_7_1 flashed n618_a_dick_1952__1_8_1_1 on n618_a_dick_1952__1_9_1 , n618_a_dick_1952__1_10_1_1_1 far n618_a_dick_1952__1_10_2_1 underground n618_a_dick_1952__1_11_1 . n618_a_dick_1952__1 IP-MAT n618_a_dick_1952__1_1 CONJ;_cl_ n618_a_dick_1952__1->n618_a_dick_1952__1_1 n618_a_dick_1952__1_2 ADVP-NIM n618_a_dick_1952__1->n618_a_dick_1952__1_2 n618_a_dick_1952__1_3 PUNC n618_a_dick_1952__1->n618_a_dick_1952__1_3 n618_a_dick_1952__1_4 NP-NIM n618_a_dick_1952__1->n618_a_dick_1952__1_4 n618_a_dick_1952__1_5 PUNC n618_a_dick_1952__1->n618_a_dick_1952__1_5 n618_a_dick_1952__1_6 NP-SBJ n618_a_dick_1952__1->n618_a_dick_1952__1_6 n618_a_dick_1952__1_7 VBD;_Ip_ n618_a_dick_1952__1->n618_a_dick_1952__1_7 n618_a_dick_1952__1_8 ADVP-CLR n618_a_dick_1952__1->n618_a_dick_1952__1_8 n618_a_dick_1952__1_9 PUNC n618_a_dick_1952__1->n618_a_dick_1952__1_9 n618_a_dick_1952__1_10 ADVP-NIM n618_a_dick_1952__1->n618_a_dick_1952__1_10 n618_a_dick_1952__1_11 PUNC n618_a_dick_1952__1->n618_a_dick_1952__1_11 n618_a_dick_1952__1_1->n618_a_dick_1952__1_1_1 n618_a_dick_1952__1_2_1 NP n618_a_dick_1952__1_2->n618_a_dick_1952__1_2_1 n618_a_dick_1952__1_2_2 RP n618_a_dick_1952__1_2->n618_a_dick_1952__1_2_2 n618_a_dick_1952__1_2_1_1 D n618_a_dick_1952__1_2_1->n618_a_dick_1952__1_2_1_1 n618_a_dick_1952__1_2_1_2 ADJP n618_a_dick_1952__1_2_1->n618_a_dick_1952__1_2_1_2 n618_a_dick_1952__1_2_1_3 N n618_a_dick_1952__1_2_1->n618_a_dick_1952__1_2_1_3 n618_a_dick_1952__1_2_1_1->n618_a_dick_1952__1_2_1_1_1 n618_a_dick_1952__1_2_1_2_1 ADJ n618_a_dick_1952__1_2_1_2->n618_a_dick_1952__1_2_1_2_1 n618_a_dick_1952__1_2_1_2_1->n618_a_dick_1952__1_2_1_2_1_1 n618_a_dick_1952__1_2_1_3->n618_a_dick_1952__1_2_1_3_1 n618_a_dick_1952__1_2_2->n618_a_dick_1952__1_2_2_1 n618_a_dick_1952__1_3->n618_a_dick_1952__1_3_1 n618_a_dick_1952__1_4_1 D n618_a_dick_1952__1_4->n618_a_dick_1952__1_4_1 n618_a_dick_1952__1_4_2 N n618_a_dick_1952__1_4->n618_a_dick_1952__1_4_2 n618_a_dick_1952__1_4_3 NS n618_a_dick_1952__1_4->n618_a_dick_1952__1_4_3 n618_a_dick_1952__1_4_4 PP n618_a_dick_1952__1_4->n618_a_dick_1952__1_4_4 n618_a_dick_1952__1_4_1->n618_a_dick_1952__1_4_1_1 n618_a_dick_1952__1_4_2->n618_a_dick_1952__1_4_2_1 n618_a_dick_1952__1_4_3->n618_a_dick_1952__1_4_3_1 n618_a_dick_1952__1_4_4_1 P-ROLE n618_a_dick_1952__1_4_4->n618_a_dick_1952__1_4_4_1 n618_a_dick_1952__1_4_4_2 NP n618_a_dick_1952__1_4_4->n618_a_dick_1952__1_4_4_2 n618_a_dick_1952__1_4_4_1->n618_a_dick_1952__1_4_4_1_1 n618_a_dick_1952__1_4_4_2_1 D n618_a_dick_1952__1_4_4_2->n618_a_dick_1952__1_4_4_2_1 n618_a_dick_1952__1_4_4_2_2 N n618_a_dick_1952__1_4_4_2->n618_a_dick_1952__1_4_4_2_2 n618_a_dick_1952__1_4_4_2_1->n618_a_dick_1952__1_4_4_2_1_1 n618_a_dick_1952__1_4_4_2_2->n618_a_dick_1952__1_4_4_2_2_1 n618_a_dick_1952__1_5->n618_a_dick_1952__1_5_1 n618_a_dick_1952__1_6_1 D n618_a_dick_1952__1_6->n618_a_dick_1952__1_6_1 n618_a_dick_1952__1_6_2 N n618_a_dick_1952__1_6->n618_a_dick_1952__1_6_2 n618_a_dick_1952__1_6_3 N n618_a_dick_1952__1_6->n618_a_dick_1952__1_6_3 n618_a_dick_1952__1_6_1->n618_a_dick_1952__1_6_1_1 n618_a_dick_1952__1_6_2->n618_a_dick_1952__1_6_2_1 n618_a_dick_1952__1_6_3->n618_a_dick_1952__1_6_3_1 n618_a_dick_1952__1_7->n618_a_dick_1952__1_7_1 n618_a_dick_1952__1_8_1 RP n618_a_dick_1952__1_8->n618_a_dick_1952__1_8_1 n618_a_dick_1952__1_8_1->n618_a_dick_1952__1_8_1_1 n618_a_dick_1952__1_9->n618_a_dick_1952__1_9_1 n618_a_dick_1952__1_10_1 ADVP n618_a_dick_1952__1_10->n618_a_dick_1952__1_10_1 n618_a_dick_1952__1_10_2 ADV n618_a_dick_1952__1_10->n618_a_dick_1952__1_10_2 n618_a_dick_1952__1_10_1_1 ADV n618_a_dick_1952__1_10_1->n618_a_dick_1952__1_10_1_1 n618_a_dick_1952__1_10_1_1->n618_a_dick_1952__1_10_1_1_1 n618_a_dick_1952__1_10_2->n618_a_dick_1952__1_10_2_1 n618_a_dick_1952__1_11->n618_a_dick_1952__1_11_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (ADVP-NIM (NP (D a;{a})
                        (ADJP (ADJ long;{long}))
                        (N way;{way}))
                    (RP off;{off}))
          (PUNC ,)
          (NP-NIM (D a;{a})
                  (N hundred;{hundred})
                  (NS miles;{mile})
                  (PP (P-ROLE from;{from})
                      (NP (D the;{the})
                          (N city;{city}))))
          (PUNC ,)
          (NP-SBJ (D another;{another})
                  (N warning;{warning})
                  (N light;{light}))
          (VBD;_Ip_ flashed;{flash[on]})
          (ADVP-CLR (RP on;{on}))
          (PUNC ,)
          (ADVP-NIM (ADVP (ADV far;{far}))
                    (ADV underground;{underground}))
          (PUNC .))
  (ID 618_a_dick_1952))