Reasoning in Neurosymbolic AI