t:rel(). t.name 
relname()a,b:relname(). eq_relname(a;b) 
a = ba,b:relname(). eq_relname(a;b) 
(Term List)is mentioned by
| Thm* t:rel(). t.name relname() | [rel_name_wf] |
| Thm* a,b:relname(). eq_relname(a;b) a = b | [assert_eq_relname] |
| Thm* a,b:relname(). eq_relname(a;b) | [eq_relname_wf] |
| Thm* SQType(relname()) | [relname_sq] |
| Def rel() == relname()(Term List) | [rel] |
Try larger context:
GenAutomata