Thanks @Q.E.D ! Your knowledge of formal logic has always added a great perspective, and I always love opening a thread to see you've provided some input!
... world**, then you could also infer B (Most)--> A, represented ... , we most certainly CAN NOT infer that B(Most)--> A ... Bs is unknown, we cannot infer B(Most)--> A solely ...