Predicate:
routing
Roleset id:
routing.01
,
Sending via a specific route
, vncls:
, framnet:
Roles:
Arg0
:
Sender
Arg1
:
Thing sent
Arg2
:
Destination