is mentioned by

Def {p} == {1of(p)}{2of(p)}	[record_pair]
Def kind(a) == 1of(a)	[kind]

In prior sections: core mb list 1 prog 1

Try larger context: GenAutomata