Before revision:  To this end, it revises the grammar with respect to comprehensiveness, flexibility, and specificity by offering multiple levels of expressiveness (IG Core, IG Extended, IG Logico) , and further introduces encoding of constitutive institutional statements, in addition to the encoding of regulative statements .
After revision:  To this end, it revises the grammar with respect to comprehensiveness, flexibility, and specificity by offering multiple levels of expressiveness (IG Core, IG Extended, IG Logico) . In addition to the encoding of regulative statements, it further introduces the encoding of constitutive institutional statements, in addition to the encoding of regulative statements .