Neuro-symbolic Weak Supervision: Theory and Semantics