is mentioned by

Def action_pre(a;ps) == < p.rel | p < p ps | p.kind = a > >

[action_pre]

Try larger context: GenAutomata