First working example with textual preconditions and effects: domain1_quantifiers init1.xml goal1.xml (in examples/logistics)