;Lunar Lock-Out domain



(operator MoveRowRight1-4
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 1)

		(blocked <row> 5)

		(clear <row> 2)
		(clear <row> 3)
		(clear <row> 4)
	)



	(effects	(del at <object> <row> 1) 
			(del blocked <row> 1)
			(at <object> <row> 4)
			(del clear <row> 4)
			(blocked <row> 4)

			(clear <row> 1)
		
	)
)

(operator MoveRowRight1-3
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 1)

		(blocked <row> 4)
		(clear <row> 3)
		(clear <row> 2)
		(clear <row> 3)
	)


	(effects	(del at <object> <row> 1) 
			(del blocked <row> 1)
			(at <object> <row> 3)
			(del clear <row> 3)
			(blocked <row> 3)
			(clear <row> 1)
		
	)
)

(operator MoveRowRight1-2
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 1)

		(blocked <row> 3)
		(clear <row> 2)

	)


	(effects	(del at <object> <row> 1) 
			(del blocked <row> 1)
			(at <object> <row> 2)
			(del clear <row> 2)
			(blocked <row> 2)
			(clear <row> 1)
		
	)
)

(operator MoveRowRight2-4
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 2)

		(blocked <row> 5)

		(clear <row> 3)
		(clear <row> 4)
	)



	(effects	(del at <object> <row> 2) 
			(del blocked <row> 2)
			(at <object> <row> 4)
			(del clear <row> 4)
			(blocked <row> 4)
			(clear <row> 2)
		
	)
)

(operator MoveRowRight2-3
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 2)

		(blocked <row> 4)
		(clear <row> 3)

	)


	(effects	(del at <object> <row> 2) 
			(del blocked <row> 2)
			(at <object> <row> 3)
			(del clear <row> 3)
			(blocked <row> 3)
			(clear <row> 2)
		
	)
)

(operator MoveRowRight3-4
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 3)

		(blocked <row> 5)


		(clear <row> 4)
	)



	(effects	(del at <object> <row> 3) 
			(del blocked <row> 3)
			(at <object> <row> 4)
			(del clear <row> 4)
			(blocked <row> 4)
			(clear <row> 3)
		
	)
)

(operator MoveRowLeft5-2
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 5)

		(blocked <row> 1)

		(clear <row> 2)
		(clear <row> 3)
		(clear <row> 4)
	)



	(effects	(del at <object> <row> 5) 
			(del blocked <row> 5)
			(at <object> <row> 2)
			(del clear <row> 2)
			(blocked <row> 2)
			(clear <row> 5)
		
	)
)

(operator MoveRowLeft4-2
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 4)

		(blocked <row> 1)

		(clear <row> 2)
		(clear <row> 3)

	)



	(effects	(del at <object> <row> 4) 
			(del blocked <row> 4)
			(at <object> <row> 2)
			(del clear <row> 2)
			(blocked <row> 2)
			(clear <row> 4)
		
	)
)
		
(operator MoveRowLeft3-2
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 3)

		(blocked <row> 1)

		(clear <row> 2)


	)



	(effects	(del at <object> <row> 3) 
			(del blocked <row> 3)
			(at <object> <row> 2)
			(del clear <row> 2)
			(blocked <row> 2)
			(clear <row> 3)
		
	)
)

(operator MoveRowLeft5-3
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 5)

		(blocked <row> 2)

		(clear <row> 3)
		(clear <row> 4)
	)



	(effects	(del at <object> <row> 5) 
			(del blocked <row> 5)
			(at <object> <row> 3)
			(del clear <row> 3)
			(blocked <row> 3)
			(clear <row> 5)
		
	)
)

(operator MoveRowLeft4-3
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 4)

		(blocked <row> 2)

		(clear <row> 3)


	)



	(effects	(del at <object> <row> 4) 
			(del blocked <row> 4)
			(at <object> <row> 3)
			(del clear <row> 3)
			(blocked <row> 3)
			(clear <row> 4)
		
	)
)

(operator MoveRowLeft5-4
	( params  (<object> OBJECT)  (<row> ROW))		
	( preconds 
		(at <object> <row> 5)

		(blocked <row> 3)

		(clear <row> 4)

	)



	(effects	(del at <object> <row> 5) 
			(del blocked <row> 5)
			(at <object> <row> 4)
			(del clear <row> 4)
			(blocked <row> 4)
			(clear <row> 5)
		
	)
)

(operator MoveColDowna-d
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> a <col>)

		(blocked e <col>)

		(clear b <col>)
		(clear c <col>)
		(clear d <col>)
	)



	(effects	(del at <object> a <col>) 
			(del blocked a <col>)
			(at <object> d <col>)
			(del clear d <col>)
			(blocked d <col>)
			(clear a <col>)
		
	)
)

(operator MoveColDowna-c
	( params  (<object> OBJECT)  ( <col> COL))		
	( preconds 
		(at <object> a <col>)

		(blocked d <col>)
		(clear c <col>)
		(clear b <col>)
		(clear c <col>)
	)


	(effects	(del at <object> a <col>) 
			(del blocked a <col>)
			(at <object> c <col>)
			(del clear c <col>)
			(blocked c <col>)
			(clear a <col>)
		
	)
)

(operator MoveColDowna-b
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> a <col>)

		(blocked c <col>)
		(clear b <col>)

	)


	(effects	(del at <object> a <col>) 
			(del blocked a <col>)
			(at <object> b <col>)
			(del clear b <col>)
			(blocked b <col>)
			(clear a <col>)
		
	)
)

(operator MoveColDownb-d
	( params  (<object> OBJECT)  ( <col> COL))		
	( preconds 
		(at <object> b <col>)

		(blocked e <col>)

		(clear c <col>)
		(clear d <col>)
	)



	(effects	(del at <object> b <col>) 
			(del blocked b <col>)
			(at <object> d <col>)
			(del clear d <col>)
			(blocked d <col>)
			(clear b <col>)
		
	)
)

(operator MoveColDownb-c
	( params  (<object> OBJECT)  ( <col> COL))		
	( preconds 
		(at <object> b <col>)

		(blocked d <col>)
		(clear c <col>)

	)


	(effects	(del at <object> b <col>) 
			(del blocked b <col>)
			(at <object> c <col>)
			(del clear c <col>)
			(blocked c <col>)
			(clear b <col>)
		
	)
)

(operator MoveColDownc-d
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> c <col>)

		(blocked e <col>)


		(clear d <col>)
	)



	(effects	(del at <object> c <col>) 
			(del blocked c <col>)
			(at <object> d <col>)
			(del clear d <col>)
			(blocked d <col>)
			(clear c <col>)
		
	)
)

(operator MoveColUpe-b
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> e <col>)

		(blocked a <col>)

		(clear b <col>)
		(clear c <col>)
		(clear d <col>)
	)



	(effects	(del at <object> e <col>) 
			(del blocked e <col>)
			(at <object> b <col>)
			(del clear b <col>)
			(blocked b <col>)
			(clear e <col>)
		
	)
)


(operator MoveColUpe-c
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> e <col>)

		(blocked b <col>)

	
		(clear c <col>)
		(clear d <col>)
	)



	(effects	(del at <object> e <col>) 
			(del blocked e <col>)
			(at <object> c <col>)
			(del clear c <col>)
			(blocked c <col>)
			(clear e <col>)
		
	)
)

(operator MoveColUpe-d
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> e <col>)

		(blocked c <col>)

	

		(clear d <col>)
	)



	(effects	(del at <object> e <col>) 
			(del blocked e <col>)
			(at <object> d <col>)
			(del clear d <col>)
			(blocked d <col>)
			(clear e <col>)
		
	)
)

(operator MoveColUpd-b
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> d <col>)

		(blocked a <col>)

		(clear b <col>)
		(clear c <col>)

	)



	(effects	(del at <object> d <col>) 
			(del blocked d <col>)
			(at <object> b <col>)
			(del clear b <col>)
			(blocked b <col>)
			(clear d <col>)
		
	)
)


(operator MoveColUpd-c
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> d <col>)

		(blocked b <col>)

	
		(clear c <col>)

	)



	(effects	(del at <object> d <col>) 
			(del blocked d <col>)
			(at <object> c <col>)
			(del clear c <col>)
			(blocked c <col>)
			(clear d <col>)
		
	)
)

(operator MoveColUpc-b
	( params  (<object> OBJECT)  (<col> COL))		
	( preconds 
		(at <object> c <col>)

		(blocked a <col>)

		(clear b <col>)


	)



	(effects	(del at <object> c <col>) 
			(del blocked c <col>)
			(at <object> b <col>)
			(del clear b <col>)
			(blocked b <col>)
			(clear c <col>)
		
	)
)