Obviously, we should have |S| ≤ |V | as it is a summary and should be small.
constraints on S can naturally be modeled as knapsack constraints: where c i is the non-negative cost of selecting unit i (e.g., the number of words in the sentence) and b is our budget.