... your biconditional-like diagram. First, it makes it obvious that "some" takes ... Second, it uses the conjunction ("and") symbol, so that you get ... properties of "and", such as commutativity (i.e. some P's ... most important property with the "and" is that you can ...