The logical interpretation of the quantifier ''all'' and ''some'' will
not satisfy anybody:
1. All x Fx & Gx is not true if there is just one x which does
not satisfy conditions F and G.
2. Some x are Fx & Gx is true if there is at least one x which satisfy
conditions F and G.