Lifted Logic 4