The following rules are deleting the information of the origin meta model that is typed over the left part of the type graph shown in Fig.1. 

Deletion rule deleteParentEdge

This rule deletes the parent edge between two Class nodes.  



Fig. 36: Deletion rule deleteParentEdge

Deletion rule deleteTypeGraphParentEdge

This rule deletes the typeGrapParent edge between two Class nodes. 



Fig. 37: Deletion rule deleteTypeGraphParentEdge

Deletion rule deleteVisitedClass

As the rule deleteVisitedClass in layer 3 this rule deletes the helper node Visited that references a visited Class node. 



Fig. 38: Deletion rule deleteVisitedClass

Deletion rule deleteVisitedAssoc

As the rule deleteVisitedAssoc in layer 3 this rule deletes the helper node Visited that references a visited Association node.



Fig. 39: Deletion rule deleteVisitedAssoc

Deletion rule deleteClass

This rule deletes a single Class node.



Fig. 40: Deletion rule deleteClass

Deletion rule deleteAssoc

This rule deletes the Association node and the source and target AssEnd nodes. 



Fig. 41: Deletion rule deleteAssoc