Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach | Synapse