Context                Previous, Next                Top


17_a_planetoid
Press the SPACE BAR to continue.

%3 r_0017_0001__Press Press r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR the SPACE BAR r_0017_0001__Press->r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR [arg1] z_000_17_a_planetoid_1 r_0017_0001__Press->z_000_17_a_planetoid_1 [arg0] r_0017_0005__to_r_0017_0006__continue to continue r_0017_0005__to_r_0017_0006__continue->z_000_17_a_planetoid_1 [arg0] z_000_17_a_planetoid_11 z_000_17_a_planetoid_11->r_0017_0001__Press [scope] z_000_17_a_planetoid_11->r_0017_0005__to_r_0017_0006__continue [restriction] 
arc(r_0017_0001__Press, r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR, arg1).
arc(r_0017_0001__Press, z_000_17_a_planetoid_1, arg0).
arc(r_0017_0005__to_r_0017_0006__continue, z_000_17_a_planetoid_1, arg0).
arc(z_000_17_a_planetoid_11, r_0017_0001__Press, scope).
arc(z_000_17_a_planetoid_11, r_0017_0005__to_r_0017_0006__continue, restriction).


%3 r_0017_0001__Press Press r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR the SPACE BAR r_0017_0001__Press->r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR [arg1] z_000_17_a_planetoid_1 r_0017_0001__Press->z_000_17_a_planetoid_1 [arg0] r_0017_0005__to_r_0017_0006__continue to continue r_0017_0005__to_r_0017_0006__continue->z_000_17_a_planetoid_1 [arg0] z_000_17_a_planetoid_11 z_000_17_a_planetoid_11->r_0017_0001__Press [conj2] z_000_17_a_planetoid_11->r_0017_0005__to_r_0017_0006__continue [conj1] 
fof(formula,axiom,
    ? [Z_17_A_PLANETOID_11,R_17_5_TO_CONTINUE,R_17_1_PRESS,Z_17_A_PLANETOID_1,R_17_2_THE_SPACE_BAR] :
      ( the_SPACE_BAR(R_17_2_THE_SPACE_BAR)
      & z_17_a_planetoid_11(Z_17_A_PLANETOID_11)
      & conj1(Z_17_A_PLANETOID_11,R_17_5_TO_CONTINUE)
      & to_continue(R_17_5_TO_CONTINUE,Z_17_A_PLANETOID_1)
      & conj2(Z_17_A_PLANETOID_11,R_17_1_PRESS)
      & press(R_17_1_PRESS,Z_17_A_PLANETOID_1,R_17_2_THE_SPACE_BAR) ) ).


n17_a_planetoid n17_a_planetoid_3 Press n17_a_planetoid_6 the n17_a_planetoid_8 SPACE n17_a_planetoid_10 BAR n17_a_planetoid_14 to n17_a_planetoid_16 continue n17_a_planetoid_18 . n17_a_planetoid_1 IP-IMP n17_a_planetoid_2 VB;_Tn_ n17_a_planetoid_1->n17_a_planetoid_2 n17_a_planetoid_4 NP-OB1 n17_a_planetoid_1->n17_a_planetoid_4 n17_a_planetoid_11 PP-SCON n17_a_planetoid_1->n17_a_planetoid_11 n17_a_planetoid_17 PUNC n17_a_planetoid_1->n17_a_planetoid_17 n17_a_planetoid_2->n17_a_planetoid_3 n17_a_planetoid_5 D n17_a_planetoid_4->n17_a_planetoid_5 n17_a_planetoid_7 N n17_a_planetoid_4->n17_a_planetoid_7 n17_a_planetoid_9 N n17_a_planetoid_4->n17_a_planetoid_9 n17_a_planetoid_5->n17_a_planetoid_6 n17_a_planetoid_7->n17_a_planetoid_8 n17_a_planetoid_9->n17_a_planetoid_10 n17_a_planetoid_12 IP-INF2 n17_a_planetoid_11->n17_a_planetoid_12 n17_a_planetoid_13 TO n17_a_planetoid_12->n17_a_planetoid_13 n17_a_planetoid_15 VB;_I_ n17_a_planetoid_12->n17_a_planetoid_15 n17_a_planetoid_13->n17_a_planetoid_14 n17_a_planetoid_15->n17_a_planetoid_16 n17_a_planetoid_17->n17_a_planetoid_18 
( (IP-IMP (VB;_Tn_ Press;{press})
          (NP-OB1 (D the;{the})
                  (N SPACE;{space})
                  (N BAR;{bar}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_I_ continue;{continue})))
          (PUNC .))
  (ID 17_a_planetoid))