TSPC 343_a_dick

343_a_dick_1952
Probably it detected us as soon as we entered the gravitational field of the planet.

( (IP-MAT (ADVP-NIM (ADV Probably;{probably}))
          (NP-SBJ;{GUN} (PRO it;{it}))
          (VBD;_Tn_ detected;{detect})
          (NP-OB1;{TRESPASSERS} (PRO us;{we}))
          (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBD;_Tn_ entered;{enter})
                           (NP-OB1 (D the;{the})
                                   (ADJP (ADJ gravitational;{gravitational}))
                                   (N field;{field})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (N planet;{planet}))))))
          (PUNC .))
  (ID 343_a_dick_1952))

arc(r_0343_0003__detected,r_0343_0001__Probably,nim).
arc(r_0343_0003__detected,r_0343_0002__it,arg0).
arc(r_0343_0003__detected,r_0343_0004__us,arg1).
arc(r_0343_0005__as_soon_as,r_0343_0003__detected,scope).
arc(r_0343_0005__as_soon_as,r_0343_0007__entered,restriction).
arc(r_0343_0007__entered,r_0343_0004__us,arg0).
arc(r_0343_0007__entered,r_0343_0008__the_r_0343_0010__field,arg1).
arc(r_0343_0008__the_r_0343_0010__field,r_0343_0009__gravitational,attrib).
arc(r_0343_0008__the_r_0343_0010__field,r_0343_0012__the_r_0343_0013__planet,r_0343_0011__of).

fof(formula,axiom,
    ? [R_0343_0001__PROBABLY,R_0343_0002__IT,R_0343_0004__US,R_0343_0003__DETECTED,R_0343_0009__GRAVITATIONAL,R_0343_0012__THE_R_0343_0013__PLANET,R_0343_0008__THE_R_0343_0010__FIELD,R_0343_0007__ENTERED,R_0343_0005__AS_SOON_AS] :
      ( r_0343_0001__Probably(R_0343_0001__PROBABLY)
      & r_0343_0002__it(R_0343_0002__IT)
      & r_0343_0004__us(R_0343_0004__US)
      & r_0343_0009__gravitational(R_0343_0009__GRAVITATIONAL)
      & r_0343_0012__the_r_0343_0013__planet(R_0343_0012__THE_R_0343_0013__PLANET)
      & r_0343_0005__as_soon_as(R_0343_0005__AS_SOON_AS)
      & has_conj1(R_0343_0005__AS_SOON_AS,R_0343_0007__ENTERED)
      & r_0343_0007__entered(R_0343_0007__ENTERED)
      & has_arg1(R_0343_0007__ENTERED,R_0343_0008__THE_R_0343_0010__FIELD)
      & r_0343_0008__the_r_0343_0010__field(R_0343_0008__THE_R_0343_0010__FIELD)
      & has_r_0343_0011__of(R_0343_0008__THE_R_0343_0010__FIELD,R_0343_0012__THE_R_0343_0013__PLANET)
      & has_attrib(R_0343_0008__THE_R_0343_0010__FIELD,R_0343_0009__GRAVITATIONAL)
      & has_arg0(R_0343_0007__ENTERED,R_0343_0004__US)
      & has_conj2(R_0343_0005__AS_SOON_AS,R_0343_0003__DETECTED)
      & r_0343_0003__detected(R_0343_0003__DETECTED)
      & has_arg1(R_0343_0003__DETECTED,R_0343_0004__US)
      & has_arg0(R_0343_0003__DETECTED,R_0343_0002__IT)
      & has_nim(R_0343_0003__DETECTED,R_0343_0001__PROBABLY) ) ).