L. Schubert, “NLog-like Inference and Commonsense Reasoning”, LiLT, vol. 9, pp. 45–77, Jan. 2014.