Email Record: Answer set solving in practice /