At:
member rel vars
3
1
1
1
1.
x: Label
2.
name: relname()
3.
r1: Term List
4.
u: Term
5.
v: Term List
6.
(
i:
. i < ||v|| & (x 
term_vars(v[i]))) 
(x reduce(
t,vs. term_vars(t) @ vs;nil;v))
7.
i:
8.
i < ||v||+1
9.
i = 0
10.
(x term_vars([u / v][i]))
(x term_vars(v[(i-1)]))
By:
RWW "select_cons_tl" -1
Generated subgoals:
None
About:
