SemIf的实现通常依赖对选项相关token的logits做softmax归一化，或对多个候选序列做打分比较。