Inference-driven semantic analysis | Synapse