Lifted Logic 1.2