r:rel(), de:sig(), i:
. tc1(r;de) 
i < ||r.args|| rel_arg_typ(r.name;i;de) 
SimpleTypet:sig(). t.rel Label
(SimpleType List)t:sig(). t.fun LabelSimpleTypeSimpleType)
(Label(SimpleType List))
is mentioned by
| 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:sig(). t.rel Label(SimpleType List) | [sig_rel_wf] |
| Thm* t:sig(). t.fun LabelSimpleType | [sig_fun_wf] |
Try larger context:
GenAutomata