Context                Previous, Next                Top


5_a_meteors
Press SPACE BAR to continue.

%3 r_0005_0001__Press Press r_0005_0002__SPACE_r_0005_0003__BAR SPACE BAR r_0005_0001__Press->r_0005_0002__SPACE_r_0005_0003__BAR [arg1] z_000_5_a_meteors_1 r_0005_0001__Press->z_000_5_a_meteors_1 [arg0] r_0005_0004__to_r_0005_0005__continue to continue r_0005_0004__to_r_0005_0005__continue->z_000_5_a_meteors_1 [arg0] z_000_5_a_meteors_9 z_000_5_a_meteors_9->r_0005_0001__Press [scope] z_000_5_a_meteors_9->r_0005_0004__to_r_0005_0005__continue [restriction] 
arc(r_0005_0001__Press, r_0005_0002__SPACE_r_0005_0003__BAR, arg1).
arc(r_0005_0001__Press, z_000_5_a_meteors_1, arg0).
arc(r_0005_0004__to_r_0005_0005__continue, z_000_5_a_meteors_1, arg0).
arc(z_000_5_a_meteors_9, r_0005_0001__Press, scope).
arc(z_000_5_a_meteors_9, r_0005_0004__to_r_0005_0005__continue, restriction).


%3 r_0005_0001__Press Press r_0005_0002__SPACE_r_0005_0003__BAR SPACE BAR r_0005_0001__Press->r_0005_0002__SPACE_r_0005_0003__BAR [arg1] z_000_5_a_meteors_1 r_0005_0001__Press->z_000_5_a_meteors_1 [arg0] r_0005_0004__to_r_0005_0005__continue to continue r_0005_0004__to_r_0005_0005__continue->z_000_5_a_meteors_1 [arg0] z_000_5_a_meteors_9 z_000_5_a_meteors_9->r_0005_0001__Press [conj2] z_000_5_a_meteors_9->r_0005_0004__to_r_0005_0005__continue [conj1] 
fof(formula,axiom,
    ? [Z_5_A_METEORS_9,R_5_4_TO_CONTINUE,R_5_1_PRESS,Z_5_A_METEORS_1,R_5_2_SPACE_BAR] :
      ( sPACE_BAR(R_5_2_SPACE_BAR)
      & z_5_a_meteors_9(Z_5_A_METEORS_9)
      & conj1(Z_5_A_METEORS_9,R_5_4_TO_CONTINUE)
      & to_continue(R_5_4_TO_CONTINUE,Z_5_A_METEORS_1)
      & conj2(Z_5_A_METEORS_9,R_5_1_PRESS)
      & press(R_5_1_PRESS,Z_5_A_METEORS_1,R_5_2_SPACE_BAR) ) ).


n5_a_meteors n5_a_meteors_3 Press n5_a_meteors_6 SPACE n5_a_meteors_8 BAR n5_a_meteors_12 to n5_a_meteors_14 continue n5_a_meteors_16 . n5_a_meteors_1 IP-IMP n5_a_meteors_2 VB;_Tn_ n5_a_meteors_1->n5_a_meteors_2 n5_a_meteors_4 NP-OB1 n5_a_meteors_1->n5_a_meteors_4 n5_a_meteors_9 PP-SCON n5_a_meteors_1->n5_a_meteors_9 n5_a_meteors_15 PUNC n5_a_meteors_1->n5_a_meteors_15 n5_a_meteors_2->n5_a_meteors_3 n5_a_meteors_5 N n5_a_meteors_4->n5_a_meteors_5 n5_a_meteors_7 N n5_a_meteors_4->n5_a_meteors_7 n5_a_meteors_5->n5_a_meteors_6 n5_a_meteors_7->n5_a_meteors_8 n5_a_meteors_10 IP-INF2 n5_a_meteors_9->n5_a_meteors_10 n5_a_meteors_11 TO n5_a_meteors_10->n5_a_meteors_11 n5_a_meteors_13 VB;_I_ n5_a_meteors_10->n5_a_meteors_13 n5_a_meteors_11->n5_a_meteors_12 n5_a_meteors_13->n5_a_meteors_14 n5_a_meteors_15->n5_a_meteors_16 
( (IP-IMP (VB;_Tn_ Press;{press})
          (NP-OB1 (N SPACE;{space})
                  (N BAR;{bar}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_I_ continue;{continue})))
          (PUNC .))
  (ID 5_a_meteors))