. "like the present one, languages such as Griffin and ML can describe an argument such as" . . .