TSPC 618_a_dick

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

( (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))

arc(r_0618_0002__a_r_0618_0004__way,r_0618_0003__long,attrib).
arc(r_0618_0005__off,r_0618_0002__a_r_0618_0004__way,nim).
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_0017__flashed_r_0618_0018__on,r_0618_0005__off,nim).
arc(r_0618_0017__flashed_r_0618_0018__on,r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles,nim).
arc(r_0618_0017__flashed_r_0618_0018__on,r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light,arg0).
arc(r_0618_0017__flashed_r_0618_0018__on,r_0618_0021__underground,nim).
arc(r_0618_0021__underground,r_0618_0020__far,qual).

fof(formula,axiom,
    ? [R_0618_0003__LONG,R_0618_0002__A_R_0618_0004__WAY,R_0618_0005__OFF,R_0618_0011__THE_R_0618_0012__CITY,R_0618_0007__A_R_0618_0008__HUNDRED_R_0618_0009__MILES,R_0618_0014__ANOTHER_R_0618_0015__WARNING_R_0618_0016__LIGHT,R_0618_0020__FAR,R_0618_0021__UNDERGROUND,R_0618_0017__FLASHED_R_0618_0018__ON] :
      ( r_0618_0003__long(R_0618_0003__LONG)
      & r_0618_0011__the_r_0618_0012__city(R_0618_0011__THE_R_0618_0012__CITY)
      & r_0618_0014__another_r_0618_0015__warning_r_0618_0016__light(R_0618_0014__ANOTHER_R_0618_0015__WARNING_R_0618_0016__LIGHT)
      & r_0618_0020__far(R_0618_0020__FAR)
      & r_0618_0017__flashed_r_0618_0018__on(R_0618_0017__FLASHED_R_0618_0018__ON)
      & has_nim(R_0618_0017__FLASHED_R_0618_0018__ON,R_0618_0021__UNDERGROUND)
      & r_0618_0021__underground(R_0618_0021__UNDERGROUND)
      & has_qual(R_0618_0021__UNDERGROUND,R_0618_0020__FAR)
      & has_arg0(R_0618_0017__FLASHED_R_0618_0018__ON,R_0618_0014__ANOTHER_R_0618_0015__WARNING_R_0618_0016__LIGHT)
      & has_nim(R_0618_0017__FLASHED_R_0618_0018__ON,R_0618_0007__A_R_0618_0008__HUNDRED_R_0618_0009__MILES)
      & r_0618_0007__a_r_0618_0008__hundred_r_0618_0009__miles(R_0618_0007__A_R_0618_0008__HUNDRED_R_0618_0009__MILES)
      & has_r_0618_0010__from(R_0618_0007__A_R_0618_0008__HUNDRED_R_0618_0009__MILES,R_0618_0011__THE_R_0618_0012__CITY)
      & has_nim(R_0618_0017__FLASHED_R_0618_0018__ON,R_0618_0005__OFF)
      & r_0618_0005__off(R_0618_0005__OFF)
      & has_nim(R_0618_0005__OFF,R_0618_0002__A_R_0618_0004__WAY)
      & r_0618_0002__a_r_0618_0004__way(R_0618_0002__A_R_0618_0004__WAY)
      & has_attrib(R_0618_0002__A_R_0618_0004__WAY,R_0618_0003__LONG) ) ).