Building trustworthy NeuroSymbolic AI Systems: Consistency, reliability, explainability, and safety | Synapse