Package cz.vse.keg.patomat2.usecase.logicalreasoning