TSPC 517_a_dick

517_a_dick_1952
Instead of being preserved it will lie here until it rots.

( (IP-MAT (PP-SCON (P-CONN Instead_of;{instead_of})
                   (IP-PPL2 (BAG;_cat_VePASS_ being;{be})
                            (IP-PPL-CAT (NP-LGS *)
                                        (VVN;_Tn_ preserved;{preserve}))))
          (NP-SBJ;{TREASURE} (PRO it;{it}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Ip_ lie;{lie[here]})
                      (ADVP-CLR (RP here;{here})))
          (PP-SCON (P-CONN until;{until})
                   (IP-ADV (NP-SBJ;{TREASURE} (PRO it;{it}))
                           (VBP;_I_ rots;{rot})))
          (PUNC .))
  (ID 517_a_dick_1952))

arc(r_0517_0001__Instead_of,r_0517_0002__being,restriction).
arc(r_0517_0001__Instead_of,r_0517_0008__until,scope).
arc(r_0517_0002__being,r_0517_0003__preserved,scope).
arc(r_0517_0003__preserved,r_0517_0004__it,arg1).
arc(r_0517_0003__preserved,z_0517_5003___star_,arg0).
arc(r_0517_0005__will,r_0517_0006__lie_r_0517_0007__here,scope).
arc(r_0517_0006__lie_r_0517_0007__here,r_0517_0004__it,arg0).
arc(r_0517_0008__until,r_0517_0005__will,scope).
arc(r_0517_0008__until,r_0517_0010__rots,restriction).
arc(r_0517_0010__rots,r_0517_0004__it,arg0).

fof(formula,axiom,
    ? [R_0517_0004__IT,Z_0517_5003___STAR_,R_0517_0002__BEING_R_0517_0003__PRESERVED,R_0517_0005__WILL_R_0517_0006__LIE_R_0517_0007__HERE,R_0517_0010__ROTS,R_0517_0008__UNTIL,R_0517_0001__INSTEAD_OF] :
      ( r_0517_0004__it(R_0517_0004__IT)
      & z_0517_5003___star_(Z_0517_5003___STAR_)
      & r_0517_0001__Instead_of(R_0517_0001__INSTEAD_OF)
      & has_conj2(R_0517_0001__INSTEAD_OF,R_0517_0008__UNTIL)
      & r_0517_0008__until(R_0517_0008__UNTIL)
      & has_conj1(R_0517_0008__UNTIL,R_0517_0010__ROTS)
      & r_0517_0010__rots(R_0517_0010__ROTS)
      & has_arg0(R_0517_0010__ROTS,R_0517_0004__IT)
      & has_conj2(R_0517_0008__UNTIL,R_0517_0005__WILL_R_0517_0006__LIE_R_0517_0007__HERE)
      & r_0517_0005__will_r_0517_0006__lie_r_0517_0007__here(R_0517_0005__WILL_R_0517_0006__LIE_R_0517_0007__HERE)
      & has_arg0(R_0517_0005__WILL_R_0517_0006__LIE_R_0517_0007__HERE,R_0517_0004__IT)
      & has_conj1(R_0517_0001__INSTEAD_OF,R_0517_0002__BEING_R_0517_0003__PRESERVED)
      & r_0517_0002__being_r_0517_0003__preserved(R_0517_0002__BEING_R_0517_0003__PRESERVED)
      & has_arg0(R_0517_0002__BEING_R_0517_0003__PRESERVED,Z_0517_5003___STAR_)
      & has_arg1(R_0517_0002__BEING_R_0517_0003__PRESERVED,R_0517_0004__IT) ) ).