二、DiaLaw形式论证框架