Transforming legal texts into computational logic · HackerTrans