Context                Previous, Next                Top


17_a_planetoid
Press the SPACE BAR to continue.

n17_a_planetoid n17_a_planetoid__1_1_1 Press n17_a_planetoid__1_2_1_1 the n17_a_planetoid__1_2_2_1 SPACE n17_a_planetoid__1_2_3_1 BAR n17_a_planetoid__1_3_1_1_1 to n17_a_planetoid__1_3_1_2_1 continue n17_a_planetoid__1_4_1 . n17_a_planetoid__1 IP-IMP n17_a_planetoid__1_1 VB;_Tn_ n17_a_planetoid__1->n17_a_planetoid__1_1 n17_a_planetoid__1_2 NP-OB1 n17_a_planetoid__1->n17_a_planetoid__1_2 n17_a_planetoid__1_3 PP-SCON n17_a_planetoid__1->n17_a_planetoid__1_3 n17_a_planetoid__1_4 PUNC n17_a_planetoid__1->n17_a_planetoid__1_4 n17_a_planetoid__1_1->n17_a_planetoid__1_1_1 n17_a_planetoid__1_2_1 D n17_a_planetoid__1_2->n17_a_planetoid__1_2_1 n17_a_planetoid__1_2_2 N n17_a_planetoid__1_2->n17_a_planetoid__1_2_2 n17_a_planetoid__1_2_3 N n17_a_planetoid__1_2->n17_a_planetoid__1_2_3 n17_a_planetoid__1_2_1->n17_a_planetoid__1_2_1_1 n17_a_planetoid__1_2_2->n17_a_planetoid__1_2_2_1 n17_a_planetoid__1_2_3->n17_a_planetoid__1_2_3_1 n17_a_planetoid__1_3_1 IP-INF2 n17_a_planetoid__1_3->n17_a_planetoid__1_3_1 n17_a_planetoid__1_3_1_1 TO n17_a_planetoid__1_3_1->n17_a_planetoid__1_3_1_1 n17_a_planetoid__1_3_1_2 VB;_I_ n17_a_planetoid__1_3_1->n17_a_planetoid__1_3_1_2 n17_a_planetoid__1_3_1_1->n17_a_planetoid__1_3_1_1_1 n17_a_planetoid__1_3_1_2->n17_a_planetoid__1_3_1_2_1 n17_a_planetoid__1_4->n17_a_planetoid__1_4_1 
( (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))


%3 z_0017_5004 r_0017_0006__continue continue z_0017_5004->r_0017_0006__continue [restriction] r_0017_0001__Press Press z_0017_5004->r_0017_0001__Press [scope] z_0017_5002 r_0017_0006__continue->z_0017_5002 [arg0] r_0017_0001__Press->z_0017_5002 [arg0] 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] 
arc(r_0017_0001__Press,r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR,arg1).
arc(r_0017_0001__Press,z_0017_5002,arg0).
arc(r_0017_0006__continue,z_0017_5002,arg0).
arc(z_0017_5004,r_0017_0001__Press,scope).
arc(z_0017_5004,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_0017_5002 r_0017_0001__Press->z_0017_5002 [arg0] r_0017_0006__continue continue r_0017_0006__continue->z_0017_5002 [arg0] z_0017_5004 z_0017_5004->r_0017_0001__Press [conj2] z_0017_5004->r_0017_0006__continue [conj1] 
fof(formula,axiom,
    ? [R_0017_0002__THE_R_0017_0003__SPACE_R_0017_0004__BAR,Z_0017_5002,R_0017_0001__PRESS,R_0017_0006__CONTINUE,Z_0017_5004] :
      ( r_0017_0002__the_r_0017_0003__SPACE_r_0017_0004__BAR(R_0017_0002__THE_R_0017_0003__SPACE_R_0017_0004__BAR)
      & z_0017_5002(Z_0017_5002)
      & z_0017_5004(Z_0017_5004)
      & has_conj1(Z_0017_5004,R_0017_0006__CONTINUE)
      & r_0017_0006__continue(R_0017_0006__CONTINUE)
      & has_arg0(R_0017_0006__CONTINUE,Z_0017_5002)
      & has_conj2(Z_0017_5004,R_0017_0001__PRESS)
      & r_0017_0001__Press(R_0017_0001__PRESS)
      & has_arg0(R_0017_0001__PRESS,Z_0017_5002)
      & has_arg1(R_0017_0001__PRESS,R_0017_0002__THE_R_0017_0003__SPACE_R_0017_0004__BAR) ) ).