is mentioned by

Def Label == {p:Pattern| ground_ptn(p) }

[lbl]

In prior sections: mb basic

Try larger context: GenAutomata