3. y: Pattern
4. ground_ptn(y)
5. x = y
Label6.
x,y:Pattern. x = y 
(x ~ y)
x = y x ~ y Labelx,y:Pattern. x = y (x ~ y) x ~ y| 1 | 2. ground_ptn(x) 3. y: Pattern 4. ground_ptn(y) 5. x = y Label6. x,y:Pattern. x = y (x ~ y) x = y |
| 2 | 7. x ~ y x ~ y |
About:
 |  |  |  |  |