arc(r_0557_0002__have, r_0557_0001__We, arg0).
arc(r_0557_0002__have, r_0557_0003__work, arg1).
arc(r_0557_0004__to_r_0557_0005__do, r_0557_0003__work, arg1).
arc(r_0557_0004__to_r_0557_0005__do, r_0557_0006__here, nim17).
arc(r_0557_0004__to_r_0557_0005__do, z_000_557_a_dick_1952_10, arg0).

fof(formula,axiom,
    ? [R_0557_0001__WE,R_0557_0003__WORK,R_0557_0002__HAVE,R_0557_0006__HERE,Z_000_557_A_DICK_1952_10,R_0557_0004__TO_R_0557_0005__DO] :
      ( r_0557_0001__We(R_0557_0001__WE)
      & r_0557_0003__work(R_0557_0003__WORK)
      & r_0557_0006__here(R_0557_0006__HERE)
      & z_000_557_a_dick_1952_10(Z_000_557_A_DICK_1952_10)
      & r_0557_0004__to_r_0557_0005__do(R_0557_0004__TO_R_0557_0005__DO)
      & has_arg0(R_0557_0004__TO_R_0557_0005__DO,Z_000_557_A_DICK_1952_10)
      & has_nim17(R_0557_0004__TO_R_0557_0005__DO,R_0557_0006__HERE)
      & has_arg1(R_0557_0004__TO_R_0557_0005__DO,R_0557_0003__WORK)
      & r_0557_0002__have(R_0557_0002__HAVE)
      & has_arg1(R_0557_0002__HAVE,R_0557_0003__WORK)
      & has_arg0(R_0557_0002__HAVE,R_0557_0001__WE) ) ).

( (IP-MAT (NP-SBJ;{DORLE_NASHA_TANCE} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (N work;{work})
                  (IP-INF-REL (NP-OB1 *T*)
                              (TO to;{to})
                              (DO;_Tn_ do;{do})
                              (ADVP-NIM (ADV here;{here}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 557_a_dick_1952))