(define (domain parking)
 (:requirements :strips :typing)
 (:types car curb)
 (:predicates
    (atcurb ?car - car)
    (atcurbnum ?car - car ?curb - curb)
    (behindcar ?car - car ?frontcar - car)
    (carclear ?car - car)
    (curbclear ?curb - curb)
 )

	(:action movecurbtocurb
		:parameters (?o1 - car ?o2 - curb ?o3 - curb)
		:precondition ()
		:effect ())

	(:action movecurbtocar
		:parameters (?o1 - car ?o2 - curb ?o3 - car)
		:precondition ()
		:effect ())

	(:action movecartocurb
		:parameters (?o1 - car ?o2 - car ?o3 - curb)
		:precondition ()
		:effect ())

	(:action movecartocar
		:parameters (?o1 - car ?o2 - car ?o3 - car)
		:precondition ()
		:effect ())
)
