على مدار 60 عامًا، تعاملت محركات القواعد مع موضوع التحقق باعتباره حقيقة (fact). أما toulmin فيتعامل معه باعتباره ادعاء (claim). تم تحويل نموذج تولمن للحجاج إلى محرك قواعد بلغة Go.
