Leveraging Neurosymbolic AI for Slice Discovery | Synapse