( (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))

arc(r_0503_0002___apos_ll,z_0503_5002,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,nim).
arc(z_0503_5002,r_0503_0003__fix,conj1).
arc(z_0503_5002,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_0503_5002,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_0503_5002)
      & z_0503_5002(Z_0503_5002)
      & has_conj2(Z_0503_5002,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_nim(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_0503_5002,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) ) ).