reduce(
x,y. mentions_trace(x) 
y;false;r.args)
(
i:
. i < ||r.args|| & mentions_trace(r.args[i])) 
r:rel(). rel_mentions_trace(r) (i:. i < ||r.args|| & mentions_trace(r.args[i]))| 1 | 1. r: rel() reduce(x,y. mentions_trace(x) y;false;r.args)
(i:. i < ||r.args|| & mentions_trace(r.args[i])) |
About:
 |  |  |  |  |  |