Context                Previous, Next                Top


196_a_loosechange
Then standing straight I walked on.

%3 r_0196_0002__standing standing r_0196_0003__straight straight r_0196_0002__standing->r_0196_0003__straight [nim] r_0196_0004__I I r_0196_0002__standing->r_0196_0004__I [arg0] r_0196_0005__walked_r_0196_0006__on walked on r_0196_0005__walked_r_0196_0006__on->r_0196_0004__I [arg0] r_0196_0001__Then Then r_0196_0005__walked_r_0196_0006__on->r_0196_0001__Then [nim] z_000_196_a_loosechange_5 z_000_196_a_loosechange_5->r_0196_0002__standing [restriction] z_000_196_a_loosechange_5->r_0196_0005__walked_r_0196_0006__on [scope] 
arc(r_0196_0002__standing, r_0196_0003__straight, nim9).
arc(r_0196_0002__standing, r_0196_0004__I, arg0).
arc(r_0196_0005__walked_r_0196_0006__on, r_0196_0001__Then, nim2).
arc(r_0196_0005__walked_r_0196_0006__on, r_0196_0004__I, arg0).
arc(z_000_196_a_loosechange_5, r_0196_0002__standing, restriction).
arc(z_000_196_a_loosechange_5, r_0196_0005__walked_r_0196_0006__on, scope).


%3 z_000_196_a_loosechange_5 r_0196_0005__walked_r_0196_0006__on walked on z_000_196_a_loosechange_5->r_0196_0005__walked_r_0196_0006__on [conj2] r_0196_0002__standing standing z_000_196_a_loosechange_5->r_0196_0002__standing [conj1] r_0196_0004__I I r_0196_0005__walked_r_0196_0006__on->r_0196_0004__I [arg0] r_0196_0001__Then Then r_0196_0005__walked_r_0196_0006__on->r_0196_0001__Then [nim] r_0196_0002__standing->r_0196_0004__I [arg0] r_0196_0003__straight straight r_0196_0002__standing->r_0196_0003__straight [nim] 
fof(formula,axiom,
    ? [Z_196_A_LOOSECHANGE_5,R_196_2_STANDING,R_196_3_STRAIGHT,R_196_5_WALKED_ON,R_196_4_I,R_196_1_THEN] :
      ( straight(R_196_3_STRAIGHT)
      & i(R_196_4_I)
      & then(R_196_1_THEN)
      & z_196_a_loosechange_5(Z_196_A_LOOSECHANGE_5)
      & conj1(Z_196_A_LOOSECHANGE_5,R_196_2_STANDING)
      & standing(R_196_2_STANDING,R_196_4_I)
      & nim9(R_196_2_STANDING,R_196_3_STRAIGHT)
      & conj2(Z_196_A_LOOSECHANGE_5,R_196_5_WALKED_ON)
      & walked_on(R_196_5_WALKED_ON,R_196_4_I)
      & nim2(R_196_5_WALKED_ON,R_196_1_THEN) ) ).


n196_a_loosechange n196_a_loosechange__1_1_1_1 Then n196_a_loosechange__1_2_1_1_1 standing n196_a_loosechange__1_2_1_2_1_1 straight n196_a_loosechange__1_3_1_1 I n196_a_loosechange__1_4_1 walked n196_a_loosechange__1_5_1 on n196_a_loosechange__1_6_1 . n196_a_loosechange__1 IP-MAT n196_a_loosechange__1_1 ADVP-NIM n196_a_loosechange__1->n196_a_loosechange__1_1 n196_a_loosechange__1_2 PP-SCON n196_a_loosechange__1->n196_a_loosechange__1_2 n196_a_loosechange__1_3 NP-SBJ n196_a_loosechange__1->n196_a_loosechange__1_3 n196_a_loosechange__1_4 VBD;_phr_Vp_ n196_a_loosechange__1->n196_a_loosechange__1_4 n196_a_loosechange__1_5 RP n196_a_loosechange__1->n196_a_loosechange__1_5 n196_a_loosechange__1_6 PUNC n196_a_loosechange__1->n196_a_loosechange__1_6 n196_a_loosechange__1_1_1 ADV n196_a_loosechange__1_1->n196_a_loosechange__1_1_1 n196_a_loosechange__1_1_1->n196_a_loosechange__1_1_1_1 n196_a_loosechange__1_2_1 IP-PPL2 n196_a_loosechange__1_2->n196_a_loosechange__1_2_1 n196_a_loosechange__1_2_1_1 VAG;__ n196_a_loosechange__1_2_1->n196_a_loosechange__1_2_1_1 n196_a_loosechange__1_2_1_2 ADVP-NIM n196_a_loosechange__1_2_1->n196_a_loosechange__1_2_1_2 n196_a_loosechange__1_2_1_1->n196_a_loosechange__1_2_1_1_1 n196_a_loosechange__1_2_1_2_1 ADV n196_a_loosechange__1_2_1_2->n196_a_loosechange__1_2_1_2_1 n196_a_loosechange__1_2_1_2_1->n196_a_loosechange__1_2_1_2_1_1 n196_a_loosechange__1_3_1 PRO n196_a_loosechange__1_3->n196_a_loosechange__1_3_1 n196_a_loosechange__1_3_1->n196_a_loosechange__1_3_1_1 n196_a_loosechange__1_4->n196_a_loosechange__1_4_1 n196_a_loosechange__1_5->n196_a_loosechange__1_5_1 n196_a_loosechange__1_6->n196_a_loosechange__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (PP-SCON (IP-PPL2 (VAG;__ standing;{stand})
                            (ADVP-NIM (ADV straight;{straight}))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_phr_Vp_ walked;{walk[on]})
          (RP on;{on})
          (PUNC .))
  (ID 196_a_loosechange))