very simple pddl domain: objects varaibles relation states effects preconditions and operations; operation is able to define if it is defined at a given state with given objects bound to operation's precodition varaibles