Grounding Methods for Neural-Symbolic AI