TSPC 266_a_dick

266_a_dick_1952
They walked in silence, listening to the echo of their footsteps.

( (IP-MAT (NP-SBJ;{DORLE+NASHA+TANCE} (PRO They;{they}))
          (VBD;_I_ walked;{walk})
          (PP-NIM (P-ROLE in;{in})
                  (NP (N silence;{silence})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Ipr_ listening;{listen[to]})
                           (PP-CLR (P-ROLE to;{to})
                                   (NP (D the;{the})
                                       (N echo;{echo})
                                       (PP (P-ROLE of;{of})
                                           (NP (NP-GEN;{DORLE+NASHA+TANCE} (PRO;_genm_ their;{their}))
                                               (NS footsteps;{footstep})))))))
          (PUNC .))
  (ID 266_a_dick_1952))

arc(r_0266_0002__walked,r_0266_0001__They,arg0).
arc(r_0266_0002__walked,r_0266_0004__silence,r_0266_0003__in__nim).
arc(r_0266_0006__listening_r_0266_0007__to,r_0266_0001__They,arg0).
arc(r_0266_0006__listening_r_0266_0007__to,r_0266_0008__the_r_0266_0009__echo,arg1).
arc(r_0266_0008__the_r_0266_0009__echo,r_0266_0012__footsteps,r_0266_0010__of).
arc(r_0266_0012__footsteps,r_0266_0001__They,gen).
arc(z_0266_5001,r_0266_0002__walked,scope).
arc(z_0266_5001,r_0266_0006__listening_r_0266_0007__to,restriction).

fof(formula,axiom,
    ? [R_0266_0001__THEY,R_0266_0004__SILENCE,R_0266_0002__WALKED,R_0266_0012__FOOTSTEPS,R_0266_0008__THE_R_0266_0009__ECHO,R_0266_0006__LISTENING_R_0266_0007__TO,Z_0266_5001] :
      ( r_0266_0001__They(R_0266_0001__THEY)
      & r_0266_0004__silence(R_0266_0004__SILENCE)
      & z_0266_5001(Z_0266_5001)
      & has_conj1(Z_0266_5001,R_0266_0006__LISTENING_R_0266_0007__TO)
      & r_0266_0006__listening_r_0266_0007__to(R_0266_0006__LISTENING_R_0266_0007__TO)
      & has_arg1(R_0266_0006__LISTENING_R_0266_0007__TO,R_0266_0008__THE_R_0266_0009__ECHO)
      & r_0266_0008__the_r_0266_0009__echo(R_0266_0008__THE_R_0266_0009__ECHO)
      & has_r_0266_0010__of(R_0266_0008__THE_R_0266_0009__ECHO,R_0266_0012__FOOTSTEPS)
      & r_0266_0012__footsteps(R_0266_0012__FOOTSTEPS)
      & has_gen(R_0266_0012__FOOTSTEPS,R_0266_0001__THEY)
      & has_arg0(R_0266_0006__LISTENING_R_0266_0007__TO,R_0266_0001__THEY)
      & has_conj2(Z_0266_5001,R_0266_0002__WALKED)
      & r_0266_0002__walked(R_0266_0002__WALKED)
      & has_r_0266_0003__in__nim(R_0266_0002__WALKED,R_0266_0004__SILENCE)
      & has_arg0(R_0266_0002__WALKED,R_0266_0001__THEY) ) ).