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 z_000_5_a_meteors_9 r_0005_0004__to_r_0005_0005__continue to continue z_000_5_a_meteors_9->r_0005_0004__to_r_0005_0005__continue [conj1] r_0005_0001__Press Press z_000_5_a_meteors_9->r_0005_0001__Press [conj2] z_000_5_a_meteors_1 r_0005_0004__to_r_0005_0005__continue->z_000_5_a_meteors_1 [arg0] r_0005_0001__Press->z_000_5_a_meteors_1 [arg0] r_0005_0002__SPACE_r_0005_0003__BAR SPACE BAR r_0005_0001__Press->r_0005_0002__SPACE_r_0005_0003__BAR [arg1] 
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__1_1_1 Press n5_a_meteors__1_2_1_1 SPACE n5_a_meteors__1_2_2_1 BAR n5_a_meteors__1_3_1_1_1 to n5_a_meteors__1_3_1_2_1 continue n5_a_meteors__1_4_1 . n5_a_meteors__1 IP-IMP n5_a_meteors__1_1 VB;_Tn_ n5_a_meteors__1->n5_a_meteors__1_1 n5_a_meteors__1_2 NP-OB1 n5_a_meteors__1->n5_a_meteors__1_2 n5_a_meteors__1_3 PP-SCON n5_a_meteors__1->n5_a_meteors__1_3 n5_a_meteors__1_4 PUNC n5_a_meteors__1->n5_a_meteors__1_4 n5_a_meteors__1_1->n5_a_meteors__1_1_1 n5_a_meteors__1_2_1 N n5_a_meteors__1_2->n5_a_meteors__1_2_1 n5_a_meteors__1_2_2 N n5_a_meteors__1_2->n5_a_meteors__1_2_2 n5_a_meteors__1_2_1->n5_a_meteors__1_2_1_1 n5_a_meteors__1_2_2->n5_a_meteors__1_2_2_1 n5_a_meteors__1_3_1 IP-INF2 n5_a_meteors__1_3->n5_a_meteors__1_3_1 n5_a_meteors__1_3_1_1 TO n5_a_meteors__1_3_1->n5_a_meteors__1_3_1_1 n5_a_meteors__1_3_1_2 VB;_I_ n5_a_meteors__1_3_1->n5_a_meteors__1_3_1_2 n5_a_meteors__1_3_1_1->n5_a_meteors__1_3_1_1_1 n5_a_meteors__1_3_1_2->n5_a_meteors__1_3_1_2_1 n5_a_meteors__1_4->n5_a_meteors__1_4_1 
( (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))