set instance rasms robot

set instance assembly_zone zone

set predicate (robot_at rasms assembly_zone)

set goal (and())