Lifted Logic Mock5