add plug-rules to formal model of Ampersand