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_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] 
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_3 And n618_a_dick_1952_7 a n618_a_dick_1952_10 long n618_a_dick_1952_12 way n618_a_dick_1952_14 off n618_a_dick_1952_16 , n618_a_dick_1952_19 a n618_a_dick_1952_21 hundred n618_a_dick_1952_23 miles n618_a_dick_1952_26 from n618_a_dick_1952_29 the n618_a_dick_1952_31 city n618_a_dick_1952_33 , n618_a_dick_1952_36 another n618_a_dick_1952_38 warning n618_a_dick_1952_40 light n618_a_dick_1952_42 flashed n618_a_dick_1952_45 on n618_a_dick_1952_47 , n618_a_dick_1952_51 far n618_a_dick_1952_53 underground n618_a_dick_1952_55 . n618_a_dick_1952_1 IP-MAT n618_a_dick_1952_2 CONJ;_cl_ n618_a_dick_1952_1->n618_a_dick_1952_2 n618_a_dick_1952_4 ADVP-NIM n618_a_dick_1952_1->n618_a_dick_1952_4 n618_a_dick_1952_15 PUNC n618_a_dick_1952_1->n618_a_dick_1952_15 n618_a_dick_1952_17 NP-NIM n618_a_dick_1952_1->n618_a_dick_1952_17 n618_a_dick_1952_32 PUNC n618_a_dick_1952_1->n618_a_dick_1952_32 n618_a_dick_1952_34 NP-SBJ n618_a_dick_1952_1->n618_a_dick_1952_34 n618_a_dick_1952_41 VBD;_Ip_ n618_a_dick_1952_1->n618_a_dick_1952_41 n618_a_dick_1952_43 ADVP-CLR n618_a_dick_1952_1->n618_a_dick_1952_43 n618_a_dick_1952_46 PUNC n618_a_dick_1952_1->n618_a_dick_1952_46 n618_a_dick_1952_48 ADVP-NIM n618_a_dick_1952_1->n618_a_dick_1952_48 n618_a_dick_1952_54 PUNC n618_a_dick_1952_1->n618_a_dick_1952_54 n618_a_dick_1952_2->n618_a_dick_1952_3 n618_a_dick_1952_5 NP n618_a_dick_1952_4->n618_a_dick_1952_5 n618_a_dick_1952_13 RP n618_a_dick_1952_4->n618_a_dick_1952_13 n618_a_dick_1952_6 D n618_a_dick_1952_5->n618_a_dick_1952_6 n618_a_dick_1952_8 ADJP n618_a_dick_1952_5->n618_a_dick_1952_8 n618_a_dick_1952_11 N n618_a_dick_1952_5->n618_a_dick_1952_11 n618_a_dick_1952_6->n618_a_dick_1952_7 n618_a_dick_1952_9 ADJ n618_a_dick_1952_8->n618_a_dick_1952_9 n618_a_dick_1952_9->n618_a_dick_1952_10 n618_a_dick_1952_11->n618_a_dick_1952_12 n618_a_dick_1952_13->n618_a_dick_1952_14 n618_a_dick_1952_15->n618_a_dick_1952_16 n618_a_dick_1952_18 D n618_a_dick_1952_17->n618_a_dick_1952_18 n618_a_dick_1952_20 N n618_a_dick_1952_17->n618_a_dick_1952_20 n618_a_dick_1952_22 NS n618_a_dick_1952_17->n618_a_dick_1952_22 n618_a_dick_1952_24 PP n618_a_dick_1952_17->n618_a_dick_1952_24 n618_a_dick_1952_18->n618_a_dick_1952_19 n618_a_dick_1952_20->n618_a_dick_1952_21 n618_a_dick_1952_22->n618_a_dick_1952_23 n618_a_dick_1952_25 P-ROLE n618_a_dick_1952_24->n618_a_dick_1952_25 n618_a_dick_1952_27 NP n618_a_dick_1952_24->n618_a_dick_1952_27 n618_a_dick_1952_25->n618_a_dick_1952_26 n618_a_dick_1952_28 D n618_a_dick_1952_27->n618_a_dick_1952_28 n618_a_dick_1952_30 N n618_a_dick_1952_27->n618_a_dick_1952_30 n618_a_dick_1952_28->n618_a_dick_1952_29 n618_a_dick_1952_30->n618_a_dick_1952_31 n618_a_dick_1952_32->n618_a_dick_1952_33 n618_a_dick_1952_35 D n618_a_dick_1952_34->n618_a_dick_1952_35 n618_a_dick_1952_37 N n618_a_dick_1952_34->n618_a_dick_1952_37 n618_a_dick_1952_39 N n618_a_dick_1952_34->n618_a_dick_1952_39 n618_a_dick_1952_35->n618_a_dick_1952_36 n618_a_dick_1952_37->n618_a_dick_1952_38 n618_a_dick_1952_39->n618_a_dick_1952_40 n618_a_dick_1952_41->n618_a_dick_1952_42 n618_a_dick_1952_44 RP n618_a_dick_1952_43->n618_a_dick_1952_44 n618_a_dick_1952_44->n618_a_dick_1952_45 n618_a_dick_1952_46->n618_a_dick_1952_47 n618_a_dick_1952_49 ADVP n618_a_dick_1952_48->n618_a_dick_1952_49 n618_a_dick_1952_52 ADV n618_a_dick_1952_48->n618_a_dick_1952_52 n618_a_dick_1952_50 ADV n618_a_dick_1952_49->n618_a_dick_1952_50 n618_a_dick_1952_50->n618_a_dick_1952_51 n618_a_dick_1952_52->n618_a_dick_1952_53 n618_a_dick_1952_54->n618_a_dick_1952_55 
( (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))