DRT – A Formal Logic Approach to Natural Language | Hacker News Reader