  where both \(X\) and \(Y\) are collections of statements. The intended interpretation is that from all of the \(X\) it follows that some of the \(Y\). In other words, we cannot have all of the \(X\) and none of the \(Y\) obtaining. 