is mentioned by

Def asyncR(E) == swap adjacent[loc(E)(x) = loc(E)(y) & (is-send(E)(x)) & (is-send(E)(y)) (is-send(E)(x)) & (is-send(E)(y))]	[R_async]
Def delayableR(E) == swap adjacent[(x =msg=(E) y) & (is-send(E)(x)) & (is-send(E)(y)) (is-send(E)(x)) & (is-send(E)(y))]	[R_delayable]
Def R_permutation(E) == swap adjacent[True]	[R_permutation]
Def R(tg) == swap adjacent[tg(x) = tg(y) Label]^*	[tag_rel]

In prior sections: mb list 2

Try larger context: GenAutomata