Lifted Logic Draft