Text this: Artificial Intelligence techniques based on the integration of symbolic logic and deep neural networks