TSPC 429_a_dick

429_a_dick_1952
Nasha clicked on her hand lamp, shining the beam down the stairs.

( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Ipr_ clicked;{click[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                      (N hand;{hand})
                      (N lamp;{lamp})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn.pr_ shining;{shine[down]})
                           (NP-OB1 (D the;{the})
                                   (N beam;{beam}))
                           (PP-CLR (P-ROLE down;{down})
                                   (NP (D the;{the})
                                       (NS stairs;{stair})))))
          (PUNC .))
  (ID 429_a_dick_1952))

arc(r_0429_0002__clicked_r_0429_0003__on,r_0429_0001__Nasha,arg0).
arc(r_0429_0002__clicked_r_0429_0003__on,r_0429_0005__hand_r_0429_0006__lamp,arg1).
arc(r_0429_0005__hand_r_0429_0006__lamp,r_0429_0001__Nasha,gen).
arc(r_0429_0008__shining_r_0429_0011__down,r_0429_0005__hand_r_0429_0006__lamp,arg0).
arc(r_0429_0008__shining_r_0429_0011__down,r_0429_0009__the_r_0429_0010__beam,arg1).
arc(r_0429_0008__shining_r_0429_0011__down,r_0429_0012__the_r_0429_0013__stairs,arg2).
arc(z_0429_5003,r_0429_0002__clicked_r_0429_0003__on,scope).
arc(z_0429_5003,r_0429_0008__shining_r_0429_0011__down,restriction).

fof(formula,axiom,
    ? [R_0429_0001__NASHA,R_0429_0005__HAND_R_0429_0006__LAMP,R_0429_0002__CLICKED_R_0429_0003__ON,R_0429_0009__THE_R_0429_0010__BEAM,R_0429_0012__THE_R_0429_0013__STAIRS,R_0429_0008__SHINING_R_0429_0011__DOWN,Z_0429_5003] :
      ( r_0429_0001__Nasha(R_0429_0001__NASHA)
      & r_0429_0009__the_r_0429_0010__beam(R_0429_0009__THE_R_0429_0010__BEAM)
      & r_0429_0012__the_r_0429_0013__stairs(R_0429_0012__THE_R_0429_0013__STAIRS)
      & z_0429_5003(Z_0429_5003)
      & has_conj1(Z_0429_5003,R_0429_0008__SHINING_R_0429_0011__DOWN)
      & r_0429_0008__shining_r_0429_0011__down(R_0429_0008__SHINING_R_0429_0011__DOWN)
      & has_arg2(R_0429_0008__SHINING_R_0429_0011__DOWN,R_0429_0012__THE_R_0429_0013__STAIRS)
      & has_arg1(R_0429_0008__SHINING_R_0429_0011__DOWN,R_0429_0009__THE_R_0429_0010__BEAM)
      & has_arg0(R_0429_0008__SHINING_R_0429_0011__DOWN,R_0429_0005__HAND_R_0429_0006__LAMP)
      & r_0429_0005__hand_r_0429_0006__lamp(R_0429_0005__HAND_R_0429_0006__LAMP)
      & has_gen(R_0429_0005__HAND_R_0429_0006__LAMP,R_0429_0001__NASHA)
      & has_conj2(Z_0429_5003,R_0429_0002__CLICKED_R_0429_0003__ON)
      & r_0429_0002__clicked_r_0429_0003__on(R_0429_0002__CLICKED_R_0429_0003__ON)
      & has_arg1(R_0429_0002__CLICKED_R_0429_0003__ON,R_0429_0005__HAND_R_0429_0006__LAMP)
      & has_arg0(R_0429_0002__CLICKED_R_0429_0003__ON,R_0429_0001__NASHA) ) ).