TSPC 363_a_dick

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

arc(r_0363_0002__is, r_0363_0003__hard, prd).
arc(r_0363_0002__is, r_0363_0004__to_r_0363_0005__believe, arg0).
arc(r_0363_0004__to_r_0363_0005__believe, z_000_363_a_dick_1952_2, arg0).
arc(r_0363_0004__to_r_0363_0005__believe, z_000_363_a_dick_1952_22, arg1).
arc(r_0363_0009__bombed, r_0363_0007__they, arg0).
arc(r_0363_0009__bombed, r_0363_0008__really, nim24).
arc(r_0363_0009__bombed, r_0363_0010__themselves, arg1).
arc(r_0363_0012__fired, r_0363_0007__they, arg0).
arc(r_0363_0012__fired, r_0363_0014__themselves, r_0363_0013__at_clr41).
arc(z_000_363_a_dick_1952_22, r_0363_0009__bombed, conj1).
arc(z_000_363_a_dick_1952_22, r_0363_0012__fired, conj2).

fof(formula,axiom,
    ? [R_0363_0003__HARD,Z_000_363_A_DICK_1952_2,R_0363_0007__THEY,R_0363_0008__REALLY,R_0363_0010__THEMSELVES,R_0363_0009__BOMBED,R_0363_0014__THEMSELVES,R_0363_0012__FIRED,Z_000_363_A_DICK_1952_22,R_0363_0004__TO_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_000_363_a_dick_1952_2(Z_000_363_A_DICK_1952_2)
      & r_0363_0002__is(R_0363_0002__IS)
      & has_arg0(R_0363_0002__IS,R_0363_0004__TO_R_0363_0005__BELIEVE)
      & r_0363_0004__to_r_0363_0005__believe(R_0363_0004__TO_R_0363_0005__BELIEVE)
      & has_arg1(R_0363_0004__TO_R_0363_0005__BELIEVE,Z_000_363_A_DICK_1952_22)
      & z_000_363_a_dick_1952_22(Z_000_363_A_DICK_1952_22)
      & has_conj2(Z_000_363_A_DICK_1952_22,R_0363_0012__FIRED)
      & r_0363_0012__fired(R_0363_0012__FIRED)
      & has_r_0363_0013__at_clr41(R_0363_0012__FIRED,R_0363_0014__THEMSELVES)
      & has_arg0(R_0363_0012__FIRED,R_0363_0007__THEY)
      & has_conj1(Z_000_363_A_DICK_1952_22,R_0363_0009__BOMBED)
      & r_0363_0009__bombed(R_0363_0009__BOMBED)
      & has_arg1(R_0363_0009__BOMBED,R_0363_0010__THEMSELVES)
      & has_nim24(R_0363_0009__BOMBED,R_0363_0008__REALLY)
      & has_arg0(R_0363_0009__BOMBED,R_0363_0007__THEY)
      & has_arg0(R_0363_0004__TO_R_0363_0005__BELIEVE,Z_000_363_A_DICK_1952_2)
      & has_prd(R_0363_0002__IS,R_0363_0003__HARD) ) ).

( (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))