Deep Reasoning: From Statistical Plausibility to Constrained Semantic Reasoning | Synapse