( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_phr_Vn<=>p_ pick;{pick[up]})
                           (NP-OB1;{THING} (PRO it;{it}))
                           (RP up;{up})))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ likely;{likely}))
          (CP-THT-NSBJ (IP-SUB (NP-SBJ (PRO you;{you}))
                               (DOP do;{do})
                               (NEG;_clitic_ n<apos>t;{not})
                               (VB;_Tn_ need;{need})
                               (NP-OB1;{THING} (PRO it;{it}))
                               (ADVP-NIM (ADVP (ADV right;{right}))
                                         (ADV now;{now})))))
  (ID 17_a_freedoom))

arc(r_0017_0001__If,r_0017_0004__n_apos_t,restriction).
arc(r_0017_0001__If,r_0017_0010___apos_s,scope).
arc(r_0017_0003__do_r_0017_0005__pick_r_0017_0007__up,r_0017_0002__you,arg0).
arc(r_0017_0003__do_r_0017_0005__pick_r_0017_0007__up,r_0017_0006__it,arg1).
arc(r_0017_0004__n_apos_t,r_0017_0003__do_r_0017_0005__pick_r_0017_0007__up,keep_scope).
arc(r_0017_0010___apos_s,r_0017_0011__likely,prd).
arc(r_0017_0010___apos_s,r_0017_0014__n_apos_t,arg0).
arc(r_0017_0013__do_r_0017_0015__need,r_0017_0002__you,arg0).
arc(r_0017_0013__do_r_0017_0015__need,r_0017_0006__it,arg1).
arc(r_0017_0013__do_r_0017_0015__need,r_0017_0018__now,nim).
arc(r_0017_0014__n_apos_t,r_0017_0013__do_r_0017_0015__need,keep_scope).
arc(r_0017_0018__now,r_0017_0017__right,qual).

fof(formula,axiom,
    ! [R_0017_0004__N_APOS_T] :
      ( ~ ? [R_0017_0002__YOU,R_0017_0006__IT,R_0017_0003__DO_R_0017_0005__PICK_R_0017_0007__UP] :
            ( r_0017_0002__you(R_0017_0002__YOU)
            & r_0017_0006__it(R_0017_0006__IT)
            & r_0017_0003__do_r_0017_0005__pick_r_0017_0007__up(R_0017_0003__DO_R_0017_0005__PICK_R_0017_0007__UP)
            & has_arg1(R_0017_0003__DO_R_0017_0005__PICK_R_0017_0007__UP,R_0017_0006__IT)
            & has_arg0(R_0017_0003__DO_R_0017_0005__PICK_R_0017_0007__UP,R_0017_0002__YOU) )
     => ? [R_0017_0011__LIKELY,R_0017_0010___APOS_S] :
          ( r_0017_0011__likely(R_0017_0011__LIKELY)
          & r_0017_0010___apos_s(R_0017_0010___APOS_S)
          & has_arg0(R_0017_0010___APOS_S,R_0017_0014__N_APOS_T)
          & ~ ? [R_0017_0002__YOU,R_0017_0006__IT,R_0017_0017__RIGHT,R_0017_0018__NOW,R_0017_0013__DO_R_0017_0015__NEED] :
                ( r_0017_0002__you(R_0017_0002__YOU)
                & r_0017_0006__it(R_0017_0006__IT)
                & r_0017_0017__right(R_0017_0017__RIGHT)
                & r_0017_0013__do_r_0017_0015__need(R_0017_0013__DO_R_0017_0015__NEED)
                & has_nim(R_0017_0013__DO_R_0017_0015__NEED,R_0017_0018__NOW)
                & r_0017_0018__now(R_0017_0018__NOW)
                & has_qual(R_0017_0018__NOW,R_0017_0017__RIGHT)
                & has_arg1(R_0017_0013__DO_R_0017_0015__NEED,R_0017_0006__IT)
                & has_arg0(R_0017_0013__DO_R_0017_0015__NEED,R_0017_0002__YOU) )
          & has_prd(R_0017_0010___APOS_S,R_0017_0011__LIKELY) ) ) ).