TSPC 306_a_dick

306_a_dick_1952
Tance had stopped dead in his tracks, his mouth half open.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_La_ stopped;{stop})
                                  (ADJP-PRD (ADJ dead;{dead})
                                            (PP (P-ROLE in;{in})
                                                (NP (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                                                    (NS tracks;{track}))))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                                     (N mouth;{mouth}))
                             (ADJP-PRD (ADVP (ADV half;{half}))
                                       (ADJ open;{open})))))
          (PUNC .))
  (ID 306_a_dick_1952))

arc(r_0306_0002__had,r_0306_0003__stopped,scope).
arc(r_0306_0003__stopped,r_0306_0001__Tance,arg0).
arc(r_0306_0003__stopped,r_0306_0004__dead,prd).
arc(r_0306_0004__dead,r_0306_0007__tracks,r_0306_0005__in).
arc(r_0306_0007__tracks,r_0306_0001__Tance,gen).
arc(r_0306_0010__mouth,r_0306_0001__Tance,gen).
arc(r_0306_0012__open,r_0306_0011__half,qual).
arc(z_0306_5001,r_0306_0002__had,conj1).
arc(z_0306_5001,z_0306_5012,conj2).
arc(z_0306_5012,r_0306_0010__mouth,arg0).
arc(z_0306_5012,r_0306_0012__open,prd).

fof(formula,axiom,
    ? [R_0306_0001__TANCE,R_0306_0007__TRACKS,R_0306_0004__DEAD,R_0306_0002__HAD_R_0306_0003__STOPPED,R_0306_0010__MOUTH,R_0306_0011__HALF,R_0306_0012__OPEN,Z_0306_5012,Z_0306_5001] :
      ( r_0306_0001__Tance(R_0306_0001__TANCE)
      & r_0306_0011__half(R_0306_0011__HALF)
      & z_0306_5001(Z_0306_5001)
      & has_conj2(Z_0306_5001,Z_0306_5012)
      & z_0306_5012(Z_0306_5012)
      & has_prd(Z_0306_5012,R_0306_0012__OPEN)
      & r_0306_0012__open(R_0306_0012__OPEN)
      & has_qual(R_0306_0012__OPEN,R_0306_0011__HALF)
      & has_arg0(Z_0306_5012,R_0306_0010__MOUTH)
      & r_0306_0010__mouth(R_0306_0010__MOUTH)
      & has_gen(R_0306_0010__MOUTH,R_0306_0001__TANCE)
      & has_conj1(Z_0306_5001,R_0306_0002__HAD_R_0306_0003__STOPPED)
      & r_0306_0002__had_r_0306_0003__stopped(R_0306_0002__HAD_R_0306_0003__STOPPED)
      & has_prd(R_0306_0002__HAD_R_0306_0003__STOPPED,R_0306_0004__DEAD)
      & r_0306_0004__dead(R_0306_0004__DEAD)
      & has_r_0306_0005__in(R_0306_0004__DEAD,R_0306_0007__TRACKS)
      & r_0306_0007__tracks(R_0306_0007__TRACKS)
      & has_gen(R_0306_0007__TRACKS,R_0306_0001__TANCE)
      & has_arg0(R_0306_0002__HAD_R_0306_0003__STOPPED,R_0306_0001__TANCE) ) ).