support fror predicate lists, domains and problem definitions, and partial support for actions