r:rel(), rho,ds,da1,da2,de,s,s',e,a1,a2,tr:Top. closed_rel(r) (rel_mng_2(r; rho; ds; da1; de; e; s; s'; a1; tr) ~ rel_mng_2 (r; rho; ds; da2; de; e; s; s'; a2; tr))

1	1. r: rel() 2. rho: Top 3. ds: Top 4. da1: Top 5. da2: Top 6. de: Top 7. s: Top 8. s': Top 9. e: Top 10. a1: Top 11. a2: Top 12. tr: Top 13. closed_rel(r) rel_mng_2(r; rho; ds; da1; de; e; s; s'; a1; tr) ~ rel_mng_2(r; rho; ds; da2; de; e; s; s'; a2; tr)

About: