#facts
(a b)

#operator
//(op <name> <precond-list> <pos-effect-list> <neg-effect-list>)

//Move action
(
(op op1
	(a)
	(b)
	())
	
(op op2
	(b)
	(c)
	())
)

#goal
(c)