J. Blaize Grize and K. Taleb Ibrahimi, “Operations in natural logic”, allj, vol. 11, no. 2, pp. 29-50, Dec. 2006.