(define (problem MONTERREY)
  (:domain METRO)
  (:objects TALLERES SAN_BERNABE UNIDAD_MODELO AZTLAN PENITENCIARIA ALFONSO_REYES MITRAS SIMON_BOLIVAR HOSPITAL
	    EDISON CENTRAL CUAUHTEMOC DEL_GOLFO FELIX_U_GOMEZ PARQUE_FUNDIDORA Y_GRIEGA ELOY_CAVAZOS LERDO_DE_TEJADA EXPOSICION
	    SENDERO SANTIAGO_TAPIA SAN_NICOLAS ANAHUAC UNIVERSIDAD NINOS_HEROES REGINA GENERAL_ANAYA ALAMEDA FUNDADORES PADRE_MIER 
	    GENERAL_ZARAGOZA HOSPITAL_METROPOLITANO LOS_ANGELES RUIZ_CORTINES MODERNA METALURGICOS COLONIA_OBRERA SANTA_LUCIA - station
	    TREN - train
	    YO - person)
  (:INIT (connected EXPOSICION LERDO_DE_TEJADA)
  (connected LERDO_DE_TEJADA ELOY_CAVAZOS) 
  (connected ELOY_CAVAZOS Y_GRIEGA)
  (connected Y_GRIEGA PARQUE_FUNDIDORA)
  (connected PARQUE_FUNDIDORA FELIX_U_GOMEZ)
  (connected FELIX_U_GOMEZ DEL_GOLFO)
  (connected DEL_GOLFO CUAUHTEMOC)
  (connected CUAUHTEMOC CENTRAL)
  (connected CENTRAL EDISON)
  (connected EDISON HOSPITAL)
  (connected HOSPITAL SIMON_BOLIVAR)
  (connected SIMON_BOLIVAR MITRAS)
  (connected MITRAS ALFONSO_REYES)
  (connected ALFONSO_REYES PENITENCIARIA)
  (connected PENITENCIARIA AZTLAN)
  (connected AZTLAN UNIDAD_MODELO)
  (connected UNIDAD_MODELO SAN_BERNABE)
  (connected SAN_BERNABE TALLERES)

  (connected SENDERO SANTIAGO_TAPIA)
  (connected SANTIAGO_TAPIA SAN_NICOLAS)
  (connected SAN_NICOLAS ANAHUAC)
  (connected ANAHUAC UNIVERSIDAD)
  (connected UNIVERSIDAD NINOS_HEROES)
  (connected NINOS_HEROES REGINA)
  (connected REGINA GENERAL_ANAYA)
  (connected GENERAL_ANAYA CUAUHTEMOC)
  (connected CUAUHTEMOC ALAMEDA)
  (connected ALAMEDA FUNDADORES)
  (connected FUNDADORES PADRE_MIER)
  (connected PADRE_MIER GENERAL_ZARAGOZA)

  (connected GENERAL_ZARAGOZA SANTA_LUCIA)
  (connected SANTA_LUCIA COLONIA_OBRERA)
  (connected COLONIA_OBRERA FELIX_U_GOMEZ)
  (connected FELIX_U_GOMEZ METALURGICOS)
  (connected METALURGICOS MODERNA)
  (connected MODERNA RUIZ_CORTINES)
  (connected RUIZ_CORTINES LOS_ANGELES)
  (connected LOS_ANGELES HOSPITAL_METROPOLITANO)


  (at TREN SENDERO) 
  (in YO TREN))

  (:goal (on YO TALLERES)))