Thank you for the pointer! My bad that I didn't thoroughly read the related work section (which does mention KidSim). I think I was also misled because the "whe

Thank you for the pointer! My bad that I didn't thoroughly read the related work section (which does mention KidSim). I think I was also misled because the "when" section of the rule is based on the pattern, but its "do" section is not the output pattern but the instruction list for each actor matched in the pattern. In the other words it can potentially do much more than pattern rewriting (note that PuzzleScript also extends on this, so it is evident that this mechanism has a strong limitation).