a quick explainer of our neurosymbolic paper