We use planner and a simulator that to-gether specify a deterministic mapping from the current environment e i and a logical form z i to a new environment e i+1 .
to previous work , we use postconditions instead of action sequence for two main reasons.