arc(r_0503_0002___apos_ll, z_000_503_a_dick_1952_8, scope).
arc(r_0503_0003__fix, r_0503_0001__We, arg0).
arc(r_0503_0003__fix, r_0503_0004__the_r_0503_0005__ship, arg1).
arc(r_0503_0008__take_r_0503_0009__off, r_0503_0001__We, arg0).
arc(r_0503_0008__take_r_0503_0009__off, r_0503_0007__then, nim21).
arc(z_000_503_a_dick_1952_8, r_0503_0003__fix, conj1).
arc(z_000_503_a_dick_1952_8, r_0503_0008__take_r_0503_0009__off, conj2).

fof(formula,axiom,
    ? [R_0503_0001__WE,R_0503_0004__THE_R_0503_0005__SHIP,R_0503_0003__FIX,R_0503_0007__THEN,R_0503_0008__TAKE_R_0503_0009__OFF,Z_000_503_A_DICK_1952_8,R_0503_0002___APOS_LL] :
      ( r_0503_0001__We(R_0503_0001__WE)
      & r_0503_0004__the_r_0503_0005__ship(R_0503_0004__THE_R_0503_0005__SHIP)
      & r_0503_0007__then(R_0503_0007__THEN)
      & r_0503_0002___apos_ll(R_0503_0002___APOS_LL)
      & has_keep_scope(R_0503_0002___APOS_LL,Z_000_503_A_DICK_1952_8)
      & z_000_503_a_dick_1952_8(Z_000_503_A_DICK_1952_8)
      & has_conj2(Z_000_503_A_DICK_1952_8,R_0503_0008__TAKE_R_0503_0009__OFF)
      & r_0503_0008__take_r_0503_0009__off(R_0503_0008__TAKE_R_0503_0009__OFF)
      & has_nim21(R_0503_0008__TAKE_R_0503_0009__OFF,R_0503_0007__THEN)
      & has_arg0(R_0503_0008__TAKE_R_0503_0009__OFF,R_0503_0001__WE)
      & has_conj1(Z_000_503_A_DICK_1952_8,R_0503_0003__FIX)
      & r_0503_0003__fix(R_0503_0003__FIX)
      & has_arg1(R_0503_0003__FIX,R_0503_0004__THE_R_0503_0005__SHIP)
      & has_arg0(R_0503_0003__FIX,R_0503_0001__WE) ) ).

( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ fix;{fix})
                                  (NP-OB1 (D the;{the})
                                          (N ship;{ship})))
                            (PUNC ,)
                            (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                                         (VB;_phr_Vp_ take;{take})
                                         (RP off;{off})))))
          (PUNC .))
  (ID 503_a_dick_1952))