... C and B-most->/O. When you combine B- ... Z with B-most->/P, that gives you the ... most->/O, in combination with B-most->/P to ... to additional inferences, **/P some C and /P some /O**, respectively? If ... infer /P some Z but NOT /P some C and /P some /O, ...