( (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))

arc(r_0005_0001__Press,r_0005_0002__SPACE_r_0005_0003__BAR,arg1).
arc(r_0005_0001__Press,z_0005_5002,arg0).
arc(r_0005_0005__continue,z_0005_5002,arg0).
arc(z_0005_5004,r_0005_0001__Press,scope).
arc(z_0005_5004,r_0005_0005__continue,restriction).

fof(formula,axiom,
    ? [R_0005_0002__SPACE_R_0005_0003__BAR,Z_0005_5002,R_0005_0001__PRESS,R_0005_0005__CONTINUE,Z_0005_5004] :
      ( r_0005_0002__SPACE_r_0005_0003__BAR(R_0005_0002__SPACE_R_0005_0003__BAR)
      & z_0005_5002(Z_0005_5002)
      & z_0005_5004(Z_0005_5004)
      & has_conj1(Z_0005_5004,R_0005_0005__CONTINUE)
      & r_0005_0005__continue(R_0005_0005__CONTINUE)
      & has_arg0(R_0005_0005__CONTINUE,Z_0005_5002)
      & has_conj2(Z_0005_5004,R_0005_0001__PRESS)
      & r_0005_0001__Press(R_0005_0001__PRESS)
      & has_arg0(R_0005_0001__PRESS,Z_0005_5002)
      & has_arg1(R_0005_0001__PRESS,R_0005_0002__SPACE_R_0005_0003__BAR) ) ).