One can $\Sigma$ migrate a schema into one which has an underlying graph, thereby putting the agents on a network (while none of the rewrite rules take the network structure into account). We can then offer further functionality for automatically enforcing that elements involved in rewrite rules must be $\leq n$ distance apart from each other.
This functionality should be then communicated in a literate code example file.
One can$\Sigma$ migrate a schema into one which has an underlying graph, thereby putting the agents on a network (while none of the rewrite rules take the network structure into account). We can then offer further functionality for automatically enforcing that elements involved in rewrite rules must be $\leq n$ distance apart from each other.
This functionality should be then communicated in a literate code example file.