This project was developed by Charlie Albietz, Corine Nijhof and Rafael Tappe Maestro at the University of Groningen. It was developed for the course Logical Aspects of Multi-agent Systems (LAMAS) as part of the Master of Artificial Intelligence degree programme. The work was published in June 2021.