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

3. u: Term 4. v: Term List 5. rho,ds,da,de,e,s,a,tr,tr',x:Top. rel_mentions_trace(mk_rel(name, v)) (list_accum(x,t.x([[t]] 1of(e) s a tr');x;v) ~ list_accum(x,t.x([[t]] 1of(e) s a tr);x;v)) rho,ds,da,de,e,s,a,tr,tr',x:Top. rel_mentions_trace(mk_rel(name, [u / v])) (list_accum(x,t.x ([[t]] 1of(e) s a tr');x ([[u]] 1of(e) s a tr');v) ~ list_accum(x,t....;x (...);v))

About: