r:rel(), de:sig(), i:
. tc1(r;de) 
i < ||r.args|| rel_arg_typ(r.name;i;de) 
SimpleType 
Case R = > ||de.rel(R)|| = ||r.args|| Default = > False
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] |
Try larger context:
GenAutomata