cargo c1 c2 ?c
plane p1 p2 ?p
airport sfo jfk ?a ?a1 ?a2
#####
OPERATOR loadcargo ?c ?p ?a
IF
at ?c ?a
at ?p ?a
ADD
in ?c ?p
DELETE
at ?c ?a
#####
OPERATOR unload ?c ?p ?a
IF
in ?c ?p
at ?p ?a
ADD
at ?c ?a
DELETE
in ?c ?p
#####
OPERATOR fly ?p ?a1 ?a2
IF
at ?p ?a1
ADD
at ?p ?a2
DELETE
at ?p ?a1
#####
INITIAL
at c1 sfo
at c2 jfk
at p1 sfo
at p2 jfk
#####
GOAL
at c1 jfk
at c2 sfo