2. r1: Term List
3. x: Label
4. (x
reduce(
t,vs. term_primed_vars(t) @ vs;nil;r1))
(x reduce(t,vs. term_vars(t) @ vs;nil;r1)) 
r:rel(), x:Label. (x rel_primed_vars(r)) 
(x rel_vars(r))| 1 | 1. name: relname() 2. r1: Term List 3. x: Label 4. (x reduce(t,vs. term_primed_vars(t) @ vs;nil;r1)) (x reduce(t,vs. term_vars(t) @ vs;nil;r1)) |
About:
 |  |  |  |