TSPC 363_a_dick

363_a_dick_1952
It is hard to believe that they really bombed themselves, fired at themselves.”

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ hard;{hard}))
          (IP-INF-NSBJ (TO to;{to})
                       (VB;_Tf_ believe;{believe})
                       (CP-THT-OB1 (IP-SUB (C that;{that})
                                           (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                                           (ILYR (ILYR (ADVP-NIM (ADV really;{really}))
                                                       (VBD;_Tn_ bombed;{bomb})
                                                       (NP-OB1 (PNX themselves;{themselves})))
                                                 (PUNC ,)
                                                 (CONJP (ILYR (VBD;_Ipr_ fired;{fire[at]})
                                                              (PP-CLR (P-ROLE at;{at})
                                                                      (NP (PNX themselves;{themselves})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 363_a_dick_1952))

arc(r_0363_0002__is,r_0363_0003__hard,prd).
arc(r_0363_0002__is,r_0363_0005__believe,arg0).
arc(r_0363_0005__believe,z_0363_5001,arg0).
arc(r_0363_0005__believe,z_0363_5004,arg1).
arc(r_0363_0009__bombed,r_0363_0007__they,arg0).
arc(r_0363_0009__bombed,r_0363_0008__really,nim).
arc(r_0363_0009__bombed,r_0363_0010__themselves,arg1).
arc(r_0363_0012__fired_r_0363_0013__at,r_0363_0007__they,arg0).
arc(r_0363_0012__fired_r_0363_0013__at,r_0363_0014__themselves,arg1).
arc(z_0363_5004,r_0363_0009__bombed,conj1).
arc(z_0363_5004,r_0363_0012__fired_r_0363_0013__at,conj2).

fof(formula,axiom,
    ? [R_0363_0003__HARD,Z_0363_5001,R_0363_0007__THEY,R_0363_0008__REALLY,R_0363_0010__THEMSELVES,R_0363_0009__BOMBED,R_0363_0014__THEMSELVES,R_0363_0012__FIRED_R_0363_0013__AT,Z_0363_5004,R_0363_0005__BELIEVE,R_0363_0002__IS] :
      ( r_0363_0003__hard(R_0363_0003__HARD)
      & r_0363_0007__they(R_0363_0007__THEY)
      & r_0363_0008__really(R_0363_0008__REALLY)
      & r_0363_0010__themselves(R_0363_0010__THEMSELVES)
      & r_0363_0014__themselves(R_0363_0014__THEMSELVES)
      & z_0363_5001(Z_0363_5001)
      & r_0363_0002__is(R_0363_0002__IS)
      & has_arg0(R_0363_0002__IS,R_0363_0005__BELIEVE)
      & r_0363_0005__believe(R_0363_0005__BELIEVE)
      & has_arg1(R_0363_0005__BELIEVE,Z_0363_5004)
      & z_0363_5004(Z_0363_5004)
      & has_conj2(Z_0363_5004,R_0363_0012__FIRED_R_0363_0013__AT)
      & r_0363_0012__fired_r_0363_0013__at(R_0363_0012__FIRED_R_0363_0013__AT)
      & has_arg1(R_0363_0012__FIRED_R_0363_0013__AT,R_0363_0014__THEMSELVES)
      & has_arg0(R_0363_0012__FIRED_R_0363_0013__AT,R_0363_0007__THEY)
      & has_conj1(Z_0363_5004,R_0363_0009__BOMBED)
      & r_0363_0009__bombed(R_0363_0009__BOMBED)
      & has_arg1(R_0363_0009__BOMBED,R_0363_0010__THEMSELVES)
      & has_nim(R_0363_0009__BOMBED,R_0363_0008__REALLY)
      & has_arg0(R_0363_0009__BOMBED,R_0363_0007__THEY)
      & has_arg0(R_0363_0005__BELIEVE,Z_0363_5001)
      & has_prd(R_0363_0002__IS,R_0363_0003__HARD) ) ).