Context                Previous, Next                Top


16_a_opencities
Now I don't need to travel.

%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_0006__to_r_0016_0007__travel to travel r_0016_0003__do_r_0016_0005__need->r_0016_0006__to_r_0016_0007__travel [arg1] r_0016_0006__to_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] 
arc(r_0016_0003__do_r_0016_0005__need, r_0016_0001__Now, nim2).
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_0006__to_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_0006__to_r_0016_0007__travel, r_0016_0002__I, arg0).


%3 r_0016_0006__to_r_0016_0007__travel to travel r_0016_0002__I I r_0016_0006__to_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_0006__to_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] 
fof(formula,axiom,
    ~ ? [R_16_3_DO_NEED,R_16_6_TO_TRAVEL,R_16_2_I,R_16_1_NOW] :
        ( i(R_16_2_I)
        & now(R_16_1_NOW)
        & do_need(R_16_3_DO_NEED,R_16_2_I,R_16_6_TO_TRAVEL)
        & to_travel(R_16_6_TO_TRAVEL,R_16_2_I)
        & nim2(R_16_3_DO_NEED,R_16_1_NOW) ) ).


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