Neurosymbolic Deep Learning Semantics