TSPC 131_a_dick

131_a_dick_1952
“The gun that fired the projectiles survived,” Nasha said.

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (D The;{the})
                                         (N gun;{gun})
                                         (IP-REL (C that;{that})
                                                 (NP-SBJ *T*)
                                                 (VBD;_Tn_ fired;{fire})
                                                 (NP-OB1 (D the;{the})
                                                         (NS projectiles;{projectile}))))
                                 (VBD;_I_ survived;{survive})))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 131_a_dick_1952))

arc(r_0131_0005__fired,r_0131_0002__The_r_0131_0003__gun,inv_arg0).
arc(r_0131_0005__fired,r_0131_0006__the_r_0131_0007__projectiles,arg1).
arc(r_0131_0008__survived,r_0131_0002__The_r_0131_0003__gun,arg0).
arc(r_0131_0012__said,r_0131_0011__Nasha,arg0).
arc(r_0131_0012__said,z_0131_5002__utterance,arg1).
arc(z_0131_5002__utterance,r_0131_0008__survived,part1).

fof(formula,axiom,
    ? [R_0131_0011__NASHA,R_0131_0006__THE_R_0131_0007__PROJECTILES,R_0131_0005__FIRED,R_0131_0002__THE_R_0131_0003__GUN,R_0131_0008__SURVIVED,Z_0131_5002__UTTERANCE,R_0131_0012__SAID] :
      ( r_0131_0006__the_r_0131_0007__projectiles(R_0131_0006__THE_R_0131_0007__PROJECTILES)
      & r_0131_0011__Nasha(R_0131_0011__NASHA)
      & r_0131_0012__said(R_0131_0012__SAID)
      & has_arg1(R_0131_0012__SAID,Z_0131_5002__UTTERANCE)
      & z_0131_5002__utterance(Z_0131_5002__UTTERANCE)
      & has_part1(Z_0131_5002__UTTERANCE,R_0131_0008__SURVIVED)
      & r_0131_0008__survived(R_0131_0008__SURVIVED)
      & has_arg0(R_0131_0008__SURVIVED,R_0131_0002__THE_R_0131_0003__GUN)
      & r_0131_0002__The_r_0131_0003__gun(R_0131_0002__THE_R_0131_0003__GUN)
      & has_inv_arg0(R_0131_0002__THE_R_0131_0003__GUN,R_0131_0005__FIRED)
      & r_0131_0005__fired(R_0131_0005__FIRED)
      & has_arg1(R_0131_0005__FIRED,R_0131_0006__THE_R_0131_0007__PROJECTILES)
      & has_arg0(R_0131_0012__SAID,R_0131_0011__NASHA) ) ).