mb automata 2 Sections GenAutomata Doc

Def covers_rel(A;r) == x:Label. rel_mentions(r;x) covers_var(A;x)

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc