带有标签factorial-omega的模型