Selama 60 tahun, mesin aturan memperlakukan objek validasi sebagai fakta (fact). toulmin memperlakukannya sebagai klaim (claim). Model argumentasi Toulmin diimplementasikan sebagai mesin aturan Go.
