Semantic Interpretation of Deep Neural Networks Based on Continuous Logic