Modeling event structures* | Synapse