Generalize RG(ele2, m=X2=a [X3=1l[X4=1) RG(e2ll,m)={[x2=fx4=0V2]} Step 3 Evaluation and Modification( disjoint Sparseness Complexity (a) Complex 1 [X2-a[X3=1] 15 Complex 2: [X2=f 47 62 (b)Complex 1: x4=1V2 Complex 2: [X2-f (c)Complex 1: X2=a X31] Complex 2: [X4=0V2Generalize: RG(e1|e2,m)={[x2=a][x3≦1],[X4=1∨2]} RG(e2|e1,m)={[x2=f],[x4=0∨2]} Step 3: Evaluation and Modification(disjoint) Sparseness Complexity (a) Complex 1: [x2=a][x3≦1] 15 2 Complex 2: [x2=f] 47 1 62 3 (b) Complex 1: [x4=1∨2] Complex 2: [X2=f] (c) Complex 1: [x2=a][x3≦1] Complex 2: [X4=0∨2]