当代商城年终特别奖的评定结果即将揭晓。该商城营业部的四位职工在对本部门职工的评定结果进行推测。 张艳说：“如果营业部经理能评上，那么李霞也能评上。” 李霞说：“我看我们营业部没人能评上。” 王平说：“我看营业部经理评不上。” 赵蓉说：“恕我直言，我看李霞评不上，但营业部经理能评上。” 结果证明，四位职工中只有一人的推测成立。 如果上述断定是真的，则以下哪项也一定是真的

A．张艳的推测成立。

B．李霞的推测成立。

C．如果李霞评不上年终特别奖，则赵蓉的推测成立。

D．赵蓉的推测成立。

E．如果李霞评不上年终特别奖，则张艳的推测成立。

在BSP方法中，支持企业所必要的逻辑上相关的数据称为【 】。