is mentioned by

Thm* r:rel(), as:(LabelTerm) List. 1of(unzip(as)) = rel_vars(r) rel_subst2(as;(r)') = rel_subst(as;r)	[rel_subst2_addprime]
Thm* r:rel(). rel_free_vars((r)') = rel_free_vars(r)	[rel_free_vars_addprime]
Thm* r:rel(), x:Label. rel_mentions(r;x) (x rel_vars(r))	[rel_mentions_iff]
Thm* x:Label, r:rel(). (x rel_vars(r)) (i:. i < ||r.args|| & (x term_vars(r.args[i])))	[member_rel_vars]
Thm* r:rel(), de:sig(), i:. tc1(r;de) i < ||r.args|| rel_arg_typ(r.name;i;de) SimpleType	[rel_arg_typ_wf]
Thm* t:rel(). t.args Term List	[rel_args_wf]
Thm* t:rel(). t.name relname()	[rel_name_wf]
Thm* SQType(rel())	[rel_sq]
Def pred_mentions(p;x) == r:rel(). r p & rel_mentions(r;x)	[pred_mentions]
Def col_map_subst(x.f(x);c) == < f(x) | x c >	[col_map_subst]
Def action_pre(a;ps) == < p.rel | p < p ps | p.kind = a > >	[action_pre]

Try larger context: GenAutomata