5. a': Assignment
6. a' extends a
7. a |= y1
a' |= y1 8. a |
y1 a' | y19. a |= y2
a' |= y2 10. a |
y2 a' | y2
(a |= y1
y2 a' |= y1y2 ) & (a | y1y2 a' | y1y2)
a,a':Assignment. a' extends a (a |= y1 a' |= y1 ) & (a | y1 a' | y1)a,a':Assignment. a' extends a (a |= y2 a' |= y2 ) & (a | y2 a' | y2) (a |= y1y2 a' |= y1y2 ) & (a | y1y2 a' | y1y2)
i.With a (Analyze i) THEN With a' (Analyze -1) THEN Analyze -1 THEN Analyze -1)| 1 | 4. a: Assignment 5. a': Assignment 6. a' extends a 7. a |= y1 a' |= y1 8. a | y1 a' | y19. a |= y2 a' |= y2 10. a | y2 a' | y2 (a |= y1y2 a' |= y1y2 ) & (a | y1y2 a' | y1y2) |
About:
 |  |  |