Extending Logical Neural Networks using First-Order Theories. - Aidan Evans; Jorge Blanco (CoRR, 2022)