Supplementary material to Formalising verbal theories: A tutorial by dialogue This repository contains the source code to the Supplementary material. View the website here. © 2020, Mark Blokpoel and Iris van Rooij. This material has been released under a CC-BY 4.0 license and a GNU GPL v3 license.