Hahn, M., and F. Richter. “Henkin Semantics for Reasoning With Natural Language”. Journal of Language Modelling, vol. 3, no. 2, Feb. 2016, pp. 513–568, doi:10.15398/jlm.v3i2.113.