Context                Previous, Next                Top


17_a_freedoom
If you don't pick it up, it's likely you don't need it right now

%3 r_0017_0001__If If r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up do n't pick up r_0017_0001__If->r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up [restriction] r_0017_0010___apos_s 's r_0017_0001__If->r_0017_0010___apos_s [scope] r_0017_0002__you you r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up->r_0017_0002__you [arg0] r_0017_0006__it it r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up->r_0017_0006__it [arg1] r_0017_0011__likely likely r_0017_0010___apos_s->r_0017_0011__likely [prd] r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need do n't need r_0017_0010___apos_s->r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need [arg0] r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0002__you [arg0] r_0017_0016__it it r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0016__it [arg1] r_0017_0018__now now r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0018__now [nim] r_0017_0017__right right r_0017_0018__now->r_0017_0017__right [qual] 
arc(r_0017_0001__If, r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up, restriction).
arc(r_0017_0001__If, r_0017_0010___apos_s, scope).
arc(r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up, r_0017_0002__you, arg0).
arc(r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up, r_0017_0006__it, arg1).
arc(r_0017_0010___apos_s, r_0017_0011__likely, prd).
arc(r_0017_0010___apos_s, r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need, arg0).
arc(r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need, r_0017_0002__you, arg0).
arc(r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need, r_0017_0016__it, arg1).
arc(r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need, r_0017_0018__now, nim44).
arc(r_0017_0018__now, r_0017_0017__right, qual45).


%3 r_0017_0018__now now r_0017_0017__right right r_0017_0018__now->r_0017_0017__right [qual] r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need do n't need r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0018__now [nim] r_0017_0016__it it r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0016__it [arg1] r_0017_0002__you you r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need->r_0017_0002__you [arg0] r_0017_0010___apos_s 's r_0017_0010___apos_s->r_0017_0013__do_r_0017_0014__n_apos_t_r_0017_0015__need [arg0] r_0017_0011__likely likely r_0017_0010___apos_s->r_0017_0011__likely [prd] r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up do n't pick up r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up->r_0017_0002__you [arg0] r_0017_0006__it it r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up->r_0017_0006__it [arg1] r_0017_0001__If If r_0017_0001__If->r_0017_0010___apos_s [scope] r_0017_0001__If->r_0017_0003__do_r_0017_0004__n_apos_t_r_0017_0005__pick_r_0017_0007__up [restriction] 
fof(formula,axiom,
    ! [R_0017_0003__DO_R_0017_0004__N_APOS_T_R_0017_0005__PICK_R_0017_0007__UP,R_0017_0002__YOU,R_0017_0006__IT] :
      ( ( r_0017_0002__you(R_0017_0002__YOU)
        & r_0017_0006__it(R_0017_0006__IT)
        & ~ ( has_arg1(R_0017_0003__DO_R_0017_0004__N_APOS_T_R_0017_0005__PICK_R_0017_0007__UP,R_0017_0006__IT)
            & has_arg0(R_0017_0003__DO_R_0017_0004__N_APOS_T_R_0017_0005__PICK_R_0017_0007__UP,R_0017_0002__YOU) ) )
     => ? [R_0017_0011__LIKELY,R_0017_0016__IT,R_0017_0017__RIGHT,R_0017_0018__NOW,R_0017_0013__DO_R_0017_0014__N_APOS_T_R_0017_0015__NEED,R_0017_0010___APOS_S] :
          ( r_0017_0011__likely(R_0017_0011__LIKELY)
          & r_0017_0016__it(R_0017_0016__IT)
          & r_0017_0017__right(R_0017_0017__RIGHT)
          & r_0017_0010___apos_s(R_0017_0010___APOS_S)
          & has_arg0(R_0017_0010___APOS_S,R_0017_0013__DO_R_0017_0014__N_APOS_T_R_0017_0015__NEED)
          & ~ ( has_nim44(R_0017_0013__DO_R_0017_0014__N_APOS_T_R_0017_0015__NEED,R_0017_0018__NOW)
              & r_0017_0018__now(R_0017_0018__NOW)
              & has_qual45(R_0017_0018__NOW,R_0017_0017__RIGHT)
              & has_arg1(R_0017_0013__DO_R_0017_0014__N_APOS_T_R_0017_0015__NEED,R_0017_0016__IT)
              & has_arg0(R_0017_0013__DO_R_0017_0014__N_APOS_T_R_0017_0015__NEED,R_0017_0002__YOU) )
          & has_prd(R_0017_0010___APOS_S,R_0017_0011__LIKELY) ) ) ).


n17_a_freedoom n17_a_freedoom__1_1_1_1 If n17_a_freedoom__1_1_2_1_1_1 you n17_a_freedoom__1_1_2_2_1 do n17_a_freedoom__1_1_2_3_1 n't n17_a_freedoom__1_1_2_4_1 pick n17_a_freedoom__1_1_2_5_1_1 it n17_a_freedoom__1_1_2_6_1 up n17_a_freedoom__1_2_1 , n17_a_freedoom__1_3_1_1 it n17_a_freedoom__1_4_1 's n17_a_freedoom__1_5_1_1 likely n17_a_freedoom__1_6_1_1_1_1 you n17_a_freedoom__1_6_1_2_1 do n17_a_freedoom__1_6_1_3_1 n't n17_a_freedoom__1_6_1_4_1 need n17_a_freedoom__1_6_1_5_1_1 it n17_a_freedoom__1_6_1_6_1_1_1 right n17_a_freedoom__1_6_1_6_2_1 now n17_a_freedoom__1 IP-MAT n17_a_freedoom__1_1 PP-SCON n17_a_freedoom__1->n17_a_freedoom__1_1 n17_a_freedoom__1_2 PUNC n17_a_freedoom__1->n17_a_freedoom__1_2 n17_a_freedoom__1_3 NP-SBJ n17_a_freedoom__1->n17_a_freedoom__1_3 n17_a_freedoom__1_4 BEP;_La_ n17_a_freedoom__1->n17_a_freedoom__1_4 n17_a_freedoom__1_5 ADJP-PRD n17_a_freedoom__1->n17_a_freedoom__1_5 n17_a_freedoom__1_6 CP-THT-NSBJ n17_a_freedoom__1->n17_a_freedoom__1_6 n17_a_freedoom__1_1_1 P-CONN n17_a_freedoom__1_1->n17_a_freedoom__1_1_1 n17_a_freedoom__1_1_2 IP-ADV n17_a_freedoom__1_1->n17_a_freedoom__1_1_2 n17_a_freedoom__1_1_1->n17_a_freedoom__1_1_1_1 n17_a_freedoom__1_1_2_1 NP-SBJ n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_1 n17_a_freedoom__1_1_2_2 DOP n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_2 n17_a_freedoom__1_1_2_3 NEG;_clitic_ n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_3 n17_a_freedoom__1_1_2_4 VB;_phr_Vn<=>p_ n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_4 n17_a_freedoom__1_1_2_5 NP-OB1 n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_5 n17_a_freedoom__1_1_2_6 RP n17_a_freedoom__1_1_2->n17_a_freedoom__1_1_2_6 n17_a_freedoom__1_1_2_1_1 PRO n17_a_freedoom__1_1_2_1->n17_a_freedoom__1_1_2_1_1 n17_a_freedoom__1_1_2_1_1->n17_a_freedoom__1_1_2_1_1_1 n17_a_freedoom__1_1_2_2->n17_a_freedoom__1_1_2_2_1 n17_a_freedoom__1_1_2_3->n17_a_freedoom__1_1_2_3_1 n17_a_freedoom__1_1_2_4->n17_a_freedoom__1_1_2_4_1 n17_a_freedoom__1_1_2_5_1 PRO n17_a_freedoom__1_1_2_5->n17_a_freedoom__1_1_2_5_1 n17_a_freedoom__1_1_2_5_1->n17_a_freedoom__1_1_2_5_1_1 n17_a_freedoom__1_1_2_6->n17_a_freedoom__1_1_2_6_1 n17_a_freedoom__1_2->n17_a_freedoom__1_2_1 n17_a_freedoom__1_3_1 PRO;_provisional_ n17_a_freedoom__1_3->n17_a_freedoom__1_3_1 n17_a_freedoom__1_3_1->n17_a_freedoom__1_3_1_1 n17_a_freedoom__1_4->n17_a_freedoom__1_4_1 n17_a_freedoom__1_5_1 ADJ n17_a_freedoom__1_5->n17_a_freedoom__1_5_1 n17_a_freedoom__1_5_1->n17_a_freedoom__1_5_1_1 n17_a_freedoom__1_6_1 IP-SUB n17_a_freedoom__1_6->n17_a_freedoom__1_6_1 n17_a_freedoom__1_6_1_1 NP-SBJ n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_1 n17_a_freedoom__1_6_1_2 DOP n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_2 n17_a_freedoom__1_6_1_3 NEG;_clitic_ n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_3 n17_a_freedoom__1_6_1_4 VB;_Tn_ n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_4 n17_a_freedoom__1_6_1_5 NP-OB1 n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_5 n17_a_freedoom__1_6_1_6 ADVP-NIM n17_a_freedoom__1_6_1->n17_a_freedoom__1_6_1_6 n17_a_freedoom__1_6_1_1_1 PRO n17_a_freedoom__1_6_1_1->n17_a_freedoom__1_6_1_1_1 n17_a_freedoom__1_6_1_1_1->n17_a_freedoom__1_6_1_1_1_1 n17_a_freedoom__1_6_1_2->n17_a_freedoom__1_6_1_2_1 n17_a_freedoom__1_6_1_3->n17_a_freedoom__1_6_1_3_1 n17_a_freedoom__1_6_1_4->n17_a_freedoom__1_6_1_4_1 n17_a_freedoom__1_6_1_5_1 PRO n17_a_freedoom__1_6_1_5->n17_a_freedoom__1_6_1_5_1 n17_a_freedoom__1_6_1_5_1->n17_a_freedoom__1_6_1_5_1_1 n17_a_freedoom__1_6_1_6_1 ADVP n17_a_freedoom__1_6_1_6->n17_a_freedoom__1_6_1_6_1 n17_a_freedoom__1_6_1_6_2 ADV n17_a_freedoom__1_6_1_6->n17_a_freedoom__1_6_1_6_2 n17_a_freedoom__1_6_1_6_1_1 ADV n17_a_freedoom__1_6_1_6_1->n17_a_freedoom__1_6_1_6_1_1 n17_a_freedoom__1_6_1_6_1_1->n17_a_freedoom__1_6_1_6_1_1_1 n17_a_freedoom__1_6_1_6_2->n17_a_freedoom__1_6_1_6_2_1 
( (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))