Context                Previous, Next                Top


16_a_opencities
Now I don't need to travel.

n16_a_opencities n16_a_opencities__1_1_1_1 Now n16_a_opencities__1_2_1_1 I n16_a_opencities__1_3_1 do n16_a_opencities__1_4_1 n't n16_a_opencities__1_5_1 need n16_a_opencities__1_6_1_1 to n16_a_opencities__1_6_2_1 travel n16_a_opencities__1_7_1 . n16_a_opencities__1 IP-MAT n16_a_opencities__1_1 ADVP-NIM n16_a_opencities__1->n16_a_opencities__1_1 n16_a_opencities__1_2 NP-SBJ n16_a_opencities__1->n16_a_opencities__1_2 n16_a_opencities__1_3 DOP n16_a_opencities__1->n16_a_opencities__1_3 n16_a_opencities__1_4 NEG;_clitic_ n16_a_opencities__1->n16_a_opencities__1_4 n16_a_opencities__1_5 VB;_Tt_ n16_a_opencities__1->n16_a_opencities__1_5 n16_a_opencities__1_6 IP-INF-OB1 n16_a_opencities__1->n16_a_opencities__1_6 n16_a_opencities__1_7 PUNC n16_a_opencities__1->n16_a_opencities__1_7 n16_a_opencities__1_1_1 ADV n16_a_opencities__1_1->n16_a_opencities__1_1_1 n16_a_opencities__1_1_1->n16_a_opencities__1_1_1_1 n16_a_opencities__1_2_1 PRO n16_a_opencities__1_2->n16_a_opencities__1_2_1 n16_a_opencities__1_2_1->n16_a_opencities__1_2_1_1 n16_a_opencities__1_3->n16_a_opencities__1_3_1 n16_a_opencities__1_4->n16_a_opencities__1_4_1 n16_a_opencities__1_5->n16_a_opencities__1_5_1 n16_a_opencities__1_6_1 TO n16_a_opencities__1_6->n16_a_opencities__1_6_1 n16_a_opencities__1_6_2 VB;_I_ n16_a_opencities__1_6->n16_a_opencities__1_6_2 n16_a_opencities__1_6_1->n16_a_opencities__1_6_1_1 n16_a_opencities__1_6_2->n16_a_opencities__1_6_2_1 n16_a_opencities__1_7->n16_a_opencities__1_7_1 
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tt_ need;{need})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_I_ travel;{travel}))
          (PUNC .))
  (ID 16_a_opencities))


%3 r_0016_0007__travel travel r_0016_0002__I I r_0016_0007__travel->r_0016_0002__I [arg0] r_0016_0004__n_apos_t n't r_0016_0003__do_r_0016_0005__need do need r_0016_0004__n_apos_t->r_0016_0003__do_r_0016_0005__need [keep_scope] r_0016_0003__do_r_0016_0005__need->r_0016_0007__travel [arg1] r_0016_0003__do_r_0016_0005__need->r_0016_0002__I [arg0] r_0016_0001__Now Now r_0016_0003__do_r_0016_0005__need->r_0016_0001__Now [nim] 
arc(r_0016_0003__do_r_0016_0005__need,r_0016_0001__Now,nim).
arc(r_0016_0003__do_r_0016_0005__need,r_0016_0002__I,arg0).
arc(r_0016_0003__do_r_0016_0005__need,r_0016_0007__travel,arg1).
arc(r_0016_0004__n_apos_t,r_0016_0003__do_r_0016_0005__need,keep_scope).
arc(r_0016_0007__travel,r_0016_0002__I,arg0).


%3 r_0016_0003__do_r_0016_0005__need do need r_0016_0001__Now Now r_0016_0003__do_r_0016_0005__need->r_0016_0001__Now [nim] r_0016_0002__I I r_0016_0003__do_r_0016_0005__need->r_0016_0002__I [arg0] r_0016_0007__travel travel r_0016_0003__do_r_0016_0005__need->r_0016_0007__travel [arg1] r_0016_0007__travel->r_0016_0002__I [arg0] r_0016_0004__n_apos_t n't r_0016_0004__n_apos_t->r_0016_0003__do_r_0016_0005__need [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0016_0001__NOW,R_0016_0002__I,R_0016_0007__TRAVEL,R_0016_0003__DO_R_0016_0005__NEED] :
        ( r_0016_0001__Now(R_0016_0001__NOW)
        & r_0016_0002__I(R_0016_0002__I)
        & r_0016_0003__do_r_0016_0005__need(R_0016_0003__DO_R_0016_0005__NEED)
        & has_arg1(R_0016_0003__DO_R_0016_0005__NEED,R_0016_0007__TRAVEL)
        & r_0016_0007__travel(R_0016_0007__TRAVEL)
        & has_arg0(R_0016_0007__TRAVEL,R_0016_0002__I)
        & has_arg0(R_0016_0003__DO_R_0016_0005__NEED,R_0016_0002__I)
        & has_nim(R_0016_0003__DO_R_0016_0005__NEED,R_0016_0001__NOW) ) ).