Transforming legal texts into computational logic | Hacker News Reader