M. Hahn and F. Richter, “Henkin semantics for reasoning with natural language”, JLM, vol. 3, no. 2, pp. 513–568, Feb. 2016.