TSPC 522_a_dick

522_a_dick_1952
They were so certain that everything was hostile, the enemy, coming to take their possessions away from them.

( (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADVP (ADV so;{so}))
                    (ADJ certain;{certain})
                    (CP-THT (IP-SUB (C that;{that})
                                    (NP-SBJ (Q;_nphd_ everything;{everything}))
                                    (BED;_La_ was;{be})
                                    (ADJP-PRD (ADJ hostile;{hostile})))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (N enemy;{enemy}))
                            (PUNC ,)
                            (VAG;_I_ coming;{come})
                            (PP-SCON (IP-INF (TO to;{to})
                                             (VB;_phr_Vn<=>p_ take;{take[away]})
                                             (NP-OB1;{POSSESSIONS} (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                                   (NS possessions;{possession}))
                                             (RP away;{away})
                                             (PP-NIM (P-ROLE from;{from})
                                                     (NP;{INHABITANTS} (PRO them;{they})))))))
          (PUNC .))
  (ID 522_a_dick_1952))

arc(r_0522_0002__were,r_0522_0001__They,arg0).
arc(r_0522_0002__were,r_0522_0004__certain,prd).
arc(r_0522_0004__certain,r_0522_0003__so,qual).
arc(r_0522_0004__certain,r_0522_0006__everything__quant,emb).
arc(r_0522_0006__everything__quant,r_0522_0007__was,scope).
arc(r_0522_0006__everything__quant,z_0522_5016,restriction).
arc(r_0522_0007__was,r_0522_0008__hostile,prd).
arc(r_0522_0007__was,z_0522_5016,arg0).
arc(r_0522_0013__coming,r_0522_0010__the_r_0522_0011__enemy,arg0).
arc(r_0522_0015__take_r_0522_0018__away,r_0522_0001__They,r_0522_0019__from__nim).
arc(r_0522_0015__take_r_0522_0018__away,r_0522_0010__the_r_0522_0011__enemy,arg0).
arc(r_0522_0015__take_r_0522_0018__away,r_0522_0017__possessions,arg1).
arc(r_0522_0017__possessions,r_0522_0001__They,gen).
arc(z_0522_5001,r_0522_0002__were,scope).
arc(z_0522_5001,z_0522_5004,restriction).
arc(z_0522_5004,r_0522_0013__coming,scope).
arc(z_0522_5004,r_0522_0015__take_r_0522_0018__away,restriction).

fof(formula,axiom,
    ? [R_0522_0001__THEY,R_0522_0003__SO,R_0522_0004__CERTAIN,R_0522_0002__WERE,R_0522_0010__THE_R_0522_0011__ENEMY,R_0522_0013__COMING,R_0522_0017__POSSESSIONS,R_0522_0015__TAKE_R_0522_0018__AWAY,Z_0522_5004,Z_0522_5001] :
      ( r_0522_0001__They(R_0522_0001__THEY)
      & r_0522_0003__so(R_0522_0003__SO)
      & r_0522_0010__the_r_0522_0011__enemy(R_0522_0010__THE_R_0522_0011__ENEMY)
      & z_0522_5001(Z_0522_5001)
      & has_conj1(Z_0522_5001,Z_0522_5004)
      & z_0522_5004(Z_0522_5004)
      & has_conj1(Z_0522_5004,R_0522_0015__TAKE_R_0522_0018__AWAY)
      & r_0522_0015__take_r_0522_0018__away(R_0522_0015__TAKE_R_0522_0018__AWAY)
      & has_arg1(R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0017__POSSESSIONS)
      & r_0522_0017__possessions(R_0522_0017__POSSESSIONS)
      & has_gen(R_0522_0017__POSSESSIONS,R_0522_0001__THEY)
      & has_arg0(R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0010__THE_R_0522_0011__ENEMY)
      & has_r_0522_0019__from__nim(R_0522_0015__TAKE_R_0522_0018__AWAY,R_0522_0001__THEY)
      & has_conj2(Z_0522_5004,R_0522_0013__COMING)
      & r_0522_0013__coming(R_0522_0013__COMING)
      & has_arg0(R_0522_0013__COMING,R_0522_0010__THE_R_0522_0011__ENEMY)
      & has_conj2(Z_0522_5001,R_0522_0002__WERE)
      & r_0522_0002__were(R_0522_0002__WERE)
      & has_prd(R_0522_0002__WERE,R_0522_0004__CERTAIN)
      & r_0522_0004__certain(R_0522_0004__CERTAIN)
      & ! [Z_0522_5016] :
          ( z_0522_5016(Z_0522_5016)
         => ? [R_0522_0008__HOSTILE,R_0522_0007__WAS] :
              ( r_0522_0008__hostile(R_0522_0008__HOSTILE)
              & r_0522_0007__was(R_0522_0007__WAS)
              & has_arg0(R_0522_0007__WAS,Z_0522_5016)
              & has_prd(R_0522_0007__WAS,R_0522_0008__HOSTILE) ) )
      & has_qual(R_0522_0004__CERTAIN,R_0522_0003__SO)
      & has_arg0(R_0522_0002__WERE,R_0522_0001__THEY) ) ).