Neural-Symbolic Cognitive Reasoning by Artur S. D'Avila Garcez & Luis C. Lamb