(define (problem EXAMPLE)
  (:domain METRO)
  (:objects A B C D - station
	    T - train
	    M - person)
  (:INIT (connected A B) (connected B C) (connected C D) (at T A) (in M T))
  (:goal (on M D)))