( (IP-MAT (EX There;{there})
          (BED;_ex_V_ was;{be})
          (ADVP-NIM (ADV still;{still}))
          (NP-ESBJ (ADJP (ADJ much;{much}))
                   (N work;{work})
                   (IP-INF-REL (NP-SBJ *T*)
                               (TO to;{to})
                               (BE;_cat_VePASS_ be;{be})
                               (IP-PPL-CAT (NP-LGS *)
                                           (DON;_Tn_ done;{do}))))
          (PUNC .))
  (ID 576_a_dick_1952))

arc(r_0576_0002__was,r_0576_0003__still,nim).
arc(r_0576_0002__was,r_0576_0005__work,arg0).
arc(r_0576_0005__work,r_0576_0004__much,attrib).
arc(r_0576_0007__be,r_0576_0008__done,scope).
arc(r_0576_0008__done,r_0576_0005__work,inv_arg1).
arc(r_0576_0008__done,z_0576_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0576_0003__STILL,R_0576_0004__MUCH,Z_0576_5006___STAR_,R_0576_0007__BE_R_0576_0008__DONE,R_0576_0005__WORK,R_0576_0002__WAS] :
      ( r_0576_0003__still(R_0576_0003__STILL)
      & r_0576_0004__much(R_0576_0004__MUCH)
      & z_0576_5006___star_(Z_0576_5006___STAR_)
      & r_0576_0002__was(R_0576_0002__WAS)
      & has_arg0(R_0576_0002__WAS,R_0576_0005__WORK)
      & r_0576_0005__work(R_0576_0005__WORK)
      & has_inv_arg1(R_0576_0005__WORK,R_0576_0007__BE_R_0576_0008__DONE)
      & r_0576_0007__be_r_0576_0008__done(R_0576_0007__BE_R_0576_0008__DONE)
      & has_arg0(R_0576_0007__BE_R_0576_0008__DONE,Z_0576_5006___STAR_)
      & has_attrib(R_0576_0005__WORK,R_0576_0004__MUCH)
      & has_nim(R_0576_0002__WAS,R_0576_0003__STILL) ) ).