https://github.com/davidandrzej/LogicLDA.git