[[u]] 1of(e) s a tr' ~ [[u]] 1of(e) s a tr 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)
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))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)| 1 | [[u]] 1of(e) s a tr' ~ [[u]] 1of(e) s a tr |
| 2 | 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:
 |  |  |  |  |  |  |  |