https://courses.grainger.illinois.edu/cs524/fa2020/maude-3.1-manual.pdf