is mentioned by

Thm* r:rel(), ds:Collection(dec()), da:Collection(SimpleType), de:sig(). tc_pred(r;ds;da;de) tc(r;ds;da;de)

[tc_pred_pred_rel]

Try larger context: GenAutomata