Schubert, L. NLog-Like Inference and Commonsense Reasoning. LiLT 2014, 9, 45–77.