2. r1: Term List
3. e: Top
4. a: Top
5. s: Top
6. ds: Top
7. da: Top
8. de: Top
9. rho: Top
10. tr: Top
list_accum(x,t.x
([[t]] 1of(e) s a tr);[[name]] rho 2of(e) ;r1) ~ list_accum(x,t....;...;map(
t.
unprime(t);r1)) 
r:rel(), e,a,s,ds,da,de,rho,tr:Top.
[[r]] rho ds da de e s a tr ~ [[rel_unprime(r)]] rho ds da de e s a tr| 1 | 1. name: relname() 2. r1: Term List 3. e: Top 4. a: Top 5. s: Top 6. ds: Top 7. da: Top 8. de: Top 9. rho: Top 10. tr: Top list_accum(x,t.x
([[t]] 1of(e) s a tr);[[name]] rho 2of(e) ;r1) ~ list_accum(x,t....;...;map(t.
unprime(t);r1)) |
About:
 |  |  |  |  |