is mentioned by

Def tre.P == tre.trace | tre.proj(P)

[tproj]

In prior sections: mb events

Try larger context: GenAutomata