S. G. Pulman, “Second order inference in natural language semantics”, JLM, vol. 6, no. 1, pp. 1–40, Aug. 2018.