( (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}))))
  (ID 9_a_thrust))

arc(r_0009_0001__PRESS,r_0009_0002__THE_r_0009_0003__SPACE_r_0009_0004__BAR,arg1).
arc(r_0009_0001__PRESS,z_0009_5002,arg0).
arc(r_0009_0006__CONTINUE,z_0009_5002,arg0).
arc(z_0009_5004,r_0009_0001__PRESS,scope).
arc(z_0009_5004,r_0009_0006__CONTINUE,restriction).

fof(formula,axiom,
    ? [R_0009_0002__THE_R_0009_0003__SPACE_R_0009_0004__BAR,Z_0009_5002,R_0009_0001__PRESS,R_0009_0006__CONTINUE,Z_0009_5004] :
      ( r_0009_0002__THE_r_0009_0003__SPACE_r_0009_0004__BAR(R_0009_0002__THE_R_0009_0003__SPACE_R_0009_0004__BAR)
      & z_0009_5002(Z_0009_5002)
      & z_0009_5004(Z_0009_5004)
      & has_conj1(Z_0009_5004,R_0009_0006__CONTINUE)
      & r_0009_0006__CONTINUE(R_0009_0006__CONTINUE)
      & has_arg0(R_0009_0006__CONTINUE,Z_0009_5002)
      & has_conj2(Z_0009_5004,R_0009_0001__PRESS)
      & r_0009_0001__PRESS(R_0009_0001__PRESS)
      & has_arg0(R_0009_0001__PRESS,Z_0009_5002)
      & has_arg1(R_0009_0001__PRESS,R_0009_0002__THE_R_0009_0003__SPACE_R_0009_0004__BAR) ) ).