Lifted Logic 113