(define (problem mixed-f2-p1-u0-v0-g0-a0-n0-A0-B0-N0-F0-r4) (:domain miconic) (:objects p0 f0 f1 ) (:init (passenger p0) (floor f0) (floor f1) (above f0 f1) (origin p0 f1) (destin p0 f0) (lift-at f0) ) (:goal (and (served p0) )) )