Semantic Strengthening of Neuro-Symbolic Learning