PLASMA/documentation/users_guide/domain_and_problem_description_in_nddl
