TSPC 496_a_dick

496_a_dick_1952
After everything else was gone.”

( (FRAG (PP-SCON (P-CONN After;{after})
                 (IP-ADV (NP-SBJ (Q;_nphd_ everything;{everything})
                                 (ADVP (ADV else;{else})))
                         (BED;_La_ was;{be})
                         (ADJP-PRD (ADJ gone;{go}))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 496_a_dick_1952))

arc(r_0496_0001__After,r_0496_0002__everything__quant,restriction).
arc(r_0496_0001__After,z_0496_5008,scope).
arc(r_0496_0002__everything__quant,r_0496_0004__was,scope).
arc(r_0496_0002__everything__quant,z_0496_5005,restriction).
arc(r_0496_0004__was,r_0496_0005__gone,prd).
arc(r_0496_0004__was,z_0496_5005,arg0).
arc(z_0496_5005,r_0496_0003__else,qual).

fof(formula,axiom,
    ? [Z_0496_5008,R_0496_0001__AFTER] :
      ( z_0496_5008(Z_0496_5008)
      & r_0496_0001__After(R_0496_0001__AFTER)
      & has_conj2(R_0496_0001__AFTER,Z_0496_5008)
      & ! [Z_0496_5005,R_0496_0003__ELSE] :
          ( ( r_0496_0003__else(R_0496_0003__ELSE)
            & z_0496_5005(Z_0496_5005)
            & has_qual(Z_0496_5005,R_0496_0003__ELSE) )
         => ? [R_0496_0005__GONE,R_0496_0004__WAS] :
              ( r_0496_0005__gone(R_0496_0005__GONE)
              & r_0496_0004__was(R_0496_0004__WAS)
              & has_arg0(R_0496_0004__WAS,Z_0496_5005)
              & has_prd(R_0496_0004__WAS,R_0496_0005__GONE) ) ) ) ).