* parse works with an example domain from IPC 2011