Changes

Line 95: Line 95:  
* ???
 
* ???
   −
|T -> U/resource =
+
|T/empty -> U/resource =
 
*???
 
*???
|T -> V =
+
|T/empty -> V =
 
*???
 
*???
   Line 104: Line 104:  
|W > Z =
 
|W > Z =
 
*???
 
*???
|X -> Z =
+
 
 +
|X/resource -> Z =
 
*???
 
*???
|X -> Y =
+
|X/resource -> Y =
 
*???
 
*???
 
}}
 
}}
2,259

edits