r:rel(), rho,ds,da,de,e,s,a,tr,tr':Top. rel_mentions_trace(r) ([[r]] rho ds da de e s a tr' ~ [[r]] rho ds da de e s a tr)

Analyze 0
THEN
Analyze 1
THEN
Unfold `rel_mng` 0
THEN
Reduce 0
THEN
Assert (rho,ds,da,de,e,s,a,tr,tr',x:Top. rel_mentions_trace( < name,r1 > ) (list_accum(x,t.x([[t]] 1of(e) s a tr');x;r1) ~ list_accum(x,t.x([[t]] 1of(e) s a tr);x;r1)))

1	1. name: relname() 2. r1: Term List rho,ds,da,de,e,s,a,tr,tr',x:Top. rel_mentions_trace( < name,r1 > ) (list_accum(x,t.x([[t]] 1of(e) s a tr');x;r1) ~ list_accum(x,t.x([[t]] 1of(e) s a tr);x;r1))
2	1. name: relname() 2. r1: Term List 3. rho,ds,da,de,e,s,a,tr,tr',x:Top. rel_mentions_trace( < name,r1 > ) (list_accum(x,t.x([[t]] 1of(e) s a tr');x;r1) ~ list_accum(x,t.x([[t]] 1of(e) s a tr);x;r1)) rho,ds,da,de,e,s,a,tr,tr':Top. rel_mentions_trace( < name,r1 > ) (list_accum(x,t.x ([[t]] 1of(e) s a tr');[[name]] rho 2of(e) ;r1) ~ list_accum(x,t....;...;r1))

About: