Integrating Logical and Sub-Symbolic Contexts of Reasoning | Synapse