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_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] 
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_4 Now n16_a_opencities_7 I n16_a_opencities_9 do n16_a_opencities_11 n't n16_a_opencities_13 need n16_a_opencities_16 to n16_a_opencities_18 travel n16_a_opencities_20 . n16_a_opencities_1 IP-MAT n16_a_opencities_2 ADVP-NIM n16_a_opencities_1->n16_a_opencities_2 n16_a_opencities_5 NP-SBJ n16_a_opencities_1->n16_a_opencities_5 n16_a_opencities_8 DOP n16_a_opencities_1->n16_a_opencities_8 n16_a_opencities_10 NEG;_clitic_ n16_a_opencities_1->n16_a_opencities_10 n16_a_opencities_12 VB;_Tt_ n16_a_opencities_1->n16_a_opencities_12 n16_a_opencities_14 IP-INF-OB1 n16_a_opencities_1->n16_a_opencities_14 n16_a_opencities_19 PUNC n16_a_opencities_1->n16_a_opencities_19 n16_a_opencities_3 ADV n16_a_opencities_2->n16_a_opencities_3 n16_a_opencities_3->n16_a_opencities_4 n16_a_opencities_6 PRO n16_a_opencities_5->n16_a_opencities_6 n16_a_opencities_6->n16_a_opencities_7 n16_a_opencities_8->n16_a_opencities_9 n16_a_opencities_10->n16_a_opencities_11 n16_a_opencities_12->n16_a_opencities_13 n16_a_opencities_15 TO n16_a_opencities_14->n16_a_opencities_15 n16_a_opencities_17 VB;_I_ n16_a_opencities_14->n16_a_opencities_17 n16_a_opencities_15->n16_a_opencities_16 n16_a_opencities_17->n16_a_opencities_18 n16_a_opencities_19->n16_a_opencities_20 
( (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))