Lifted Logic 1.0