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_0016__it, arg1).
arc(r_0017_0013__do_r_0017_0015__need, r_0017_0018__now, nim44).
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, qual45).

fof(formula,axiom,
    ( ~ ? [R_17_3_DO_PICK_UP,R_17_2_YOU,R_17_6_IT] :
          ( you(R_17_2_YOU)
          & it(R_17_6_IT)
          & do_pick_up(R_17_3_DO_PICK_UP,R_17_2_YOU,R_17_6_IT) )
   => ? [R_17_10__APOS_S,R_17_11_LIKELY] :
        ( likely(R_17_11_LIKELY)
        & _apos_s(R_17_10__APOS_S,R_17_14_N_APOS_T,R_17_11_LIKELY)
        & ~ ? [R_17_13_DO_NEED,R_17_2_YOU,R_17_16_IT,R_17_18_NOW,R_17_17_RIGHT] :
              ( you(R_17_2_YOU)
              & it(R_17_16_IT)
              & right(R_17_17_RIGHT)
              & do_need(R_17_13_DO_NEED,R_17_2_YOU,R_17_16_IT)
              & nim44(R_17_13_DO_NEED,R_17_18_NOW)
              & now(R_17_18_NOW)
              & qual45(R_17_18_NOW,R_17_17_RIGHT) ) ) ) ).

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