concepts combination, rules, domain.pddl assumed