& Q term_types(ds;da;de;r.args[0]) & Q term_types(ds;da;de;r.args[1]) Case R = > ||de.rel(R)|| = ||r.args|| 
& (
i:. i < ||r.args|| 
(de.rel(R))[i] term_types(ds;da;de;r.args[i])) Default = > False
is mentioned
In prior sections: mb automata 3 mb automata 4