TSPC 76_a_dick

76_a_dick_1952
The Captain fell to the floor, crashing into the control table.

( (IP-MAT (NP-SBJ;{CAPTAIN} (D The;{the})
                            (N Captain;{captain}))
          (VBD;_Ipr_ fell;{fall[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N floor;{floor})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Ipr_ crashing;{crash[into]})
                            (PP-CLR (P-ROLE into;{into})
                                    (NP (D the;{the})
                                        (N control;{control})
                                        (N table;{table})))))
          (PUNC .))
  (ID 76_a_dick_1952))

arc(r_0076_0003__fell_r_0076_0004__to,r_0076_0001__The_r_0076_0002__Captain,arg0).
arc(r_0076_0003__fell_r_0076_0004__to,r_0076_0005__the_r_0076_0006__floor,arg1).
arc(r_0076_0008__crashing_r_0076_0009__into,r_0076_0001__The_r_0076_0002__Captain,arg0).
arc(r_0076_0008__crashing_r_0076_0009__into,r_0076_0010__the_r_0076_0011__control_r_0076_0012__table,arg1).
arc(z_0076_5003,r_0076_0003__fell_r_0076_0004__to,scope).
arc(z_0076_5003,r_0076_0008__crashing_r_0076_0009__into,restriction).

fof(formula,axiom,
    ? [R_0076_0001__THE_R_0076_0002__CAPTAIN,R_0076_0005__THE_R_0076_0006__FLOOR,R_0076_0003__FELL_R_0076_0004__TO,R_0076_0010__THE_R_0076_0011__CONTROL_R_0076_0012__TABLE,R_0076_0008__CRASHING_R_0076_0009__INTO,Z_0076_5003] :
      ( r_0076_0001__The_r_0076_0002__Captain(R_0076_0001__THE_R_0076_0002__CAPTAIN)
      & r_0076_0005__the_r_0076_0006__floor(R_0076_0005__THE_R_0076_0006__FLOOR)
      & r_0076_0010__the_r_0076_0011__control_r_0076_0012__table(R_0076_0010__THE_R_0076_0011__CONTROL_R_0076_0012__TABLE)
      & z_0076_5003(Z_0076_5003)
      & has_conj1(Z_0076_5003,R_0076_0008__CRASHING_R_0076_0009__INTO)
      & r_0076_0008__crashing_r_0076_0009__into(R_0076_0008__CRASHING_R_0076_0009__INTO)
      & has_arg1(R_0076_0008__CRASHING_R_0076_0009__INTO,R_0076_0010__THE_R_0076_0011__CONTROL_R_0076_0012__TABLE)
      & has_arg0(R_0076_0008__CRASHING_R_0076_0009__INTO,R_0076_0001__THE_R_0076_0002__CAPTAIN)
      & has_conj2(Z_0076_5003,R_0076_0003__FELL_R_0076_0004__TO)
      & r_0076_0003__fell_r_0076_0004__to(R_0076_0003__FELL_R_0076_0004__TO)
      & has_arg1(R_0076_0003__FELL_R_0076_0004__TO,R_0076_0005__THE_R_0076_0006__FLOOR)
      & has_arg0(R_0076_0003__FELL_R_0076_0004__TO,R_0076_0001__THE_R_0076_0002__CAPTAIN) ) ).