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,
    ? [R_0005_0002__SPACE_R_0005_0003__BAR,Z_000_5_A_METEORS_1,R_0005_0001__PRESS,R_0005_0004__TO_R_0005_0005__CONTINUE,Z_000_5_A_METEORS_9] :
      ( r_0005_0002__SPACE_r_0005_0003__BAR(R_0005_0002__SPACE_R_0005_0003__BAR)
      & z_000_5_a_meteors_1(Z_000_5_A_METEORS_1)
      & z_000_5_a_meteors_9(Z_000_5_A_METEORS_9)
      & has_conj1(Z_000_5_A_METEORS_9,R_0005_0004__TO_R_0005_0005__CONTINUE)
      & r_0005_0004__to_r_0005_0005__continue(R_0005_0004__TO_R_0005_0005__CONTINUE)
      & has_arg0(R_0005_0004__TO_R_0005_0005__CONTINUE,Z_000_5_A_METEORS_1)
      & has_conj2(Z_000_5_A_METEORS_9,R_0005_0001__PRESS)
      & r_0005_0001__Press(R_0005_0001__PRESS)
      & has_arg0(R_0005_0001__PRESS,Z_000_5_A_METEORS_1)
      & has_arg1(R_0005_0001__PRESS,R_0005_0002__SPACE_R_0005_0003__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))