Efficiently mining frequent trees in a forest: algorithms and applications | Synapse