mb automata 4 Sections GenAutomata Doc

Def rel_mentions(r;x) == i:. i < ||r.args|| & (x term_vars(r.args[i]))

is mentioned

In prior sections: mb automata 2

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc