... inferences B-most->C and B-most->/O. ... you the inference /P some Z. But can you also then ... , B-most->C and B-most->/O, ... 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, which ...