is mentioned by

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

In prior sections: core mb list 1 prog 1

Try larger context: GenAutomata