is mentioned by

Thm* M:sm{i:l}(), a:M.action. kind(a) Label & kind(a) Pattern

[kind_wf2]

In prior sections: mb basic mb label

Try larger context: GenAutomata