Probabilistic Subset Conjunction