Efficient Mining of Temporally Annotated Sequences | Synapse