2. x: Label
(
i:
. i < ||r.args|| & (x 
term_vars(r.args[i]))) 
(x reduce(
t,vs. term_vars(t) @ vs;nil;r.args))
r:rel(), x:Label. rel_mentions(r;x) (x rel_vars(r))
| 1 | 1. r: rel() 2. x: Label (i:. i < ||r.args|| & (x term_vars(r.args[i]))) (x reduce(t,vs. term_vars(t) @ vs;nil;r.args)) |
About:
 |  |  |  |  |