2. S: ActionSet(Alph)
3. L: Alph*
4. s: S.car
(S:nil
s) 
S.car2. S: ActionSet(Alph)
3. L: Alph*
4. s: S.car
5. u: Alph
6. v: Alph*
7. (S:v
s) S.car (S:u.vs) S.car 
Alph:Type, S:ActionSet(Alph), L:Alph*, s:S.car. (S:Ls) S.car| 1 | 1. Alph: Type 2. S: ActionSet(Alph) 3. L: Alph* 4. s: S.car (S:nils) S.car |
| 2 | 1. Alph: Type 2. S: ActionSet(Alph) 3. L: Alph* 4. s: S.car 5. u: Alph 6. v: Alph* 7. (S:v s) S.car (S:u.vs) S.car |
About:
 |  |  |  |  |  |