论文阅读 | Augmenting Neural Networks with First-order Logic