(define (problem courseworkproblem)
  (:domain courseworkdomain)

  (:objects


    spaceship
    bridge
    engineeringRoom
    sickbay
    transporterRoom
    shuttleBay
    scienceLab
    cargoBay

	lift1
	lift2
	lift3


    captain
    engineers
    scienceOffers
    navigators
    medicalPersonnels
    securityStaff
    transpoterChief
    robots
    medicalSupplies

    earth
    mars
    saturn

    undamaged
    damaged

	charged
	uncharged


  )

  (:init

      (personLocation captain bridge)
      (personLocation engineers engineeringRoom)
      (personLocation medicalPersonnels sickbay)
      (medicalSupplies cargoBay)

      (shipLocation spaceship earth)

      (path earth mars)
      (path mars earth)
      (path earth saturn)
      (path saturn earth)

	  (routes lift1 bridge)
	  (routes bridge transporterRoom)
	  (routes lift1 lift2)
	  (routes lift2 shuttleBay)
	  (routes shuttleBay cargoBay)
	  (routes cargoBay sickBay)
	  (routes lift2 lift3)
	  (routes lift3 engineeringRoom)
	  (routes engineeringRoom scienceLab)

      (shipUndamaged damaged)
	  (robots charged transporterRoom)
      (heavyEquipment transporterRoom)
  )

  (:goal
      (and

         (shipLocation spaceship mars)
         (shipUndamaged undamaged)
         (medicalSupplies sickBay)
		 (heavyEquipment cargoBay)
         (personLocation engineers shuttleBay)

  )
 )
 )