Text this: Imposing Star-Shaped Hard Constraints on the Neural Network Output