Neural-Symbolic Learning: challenges and benchmarks