andPforallxformQxforallxformandPQxorPforallxformQxforallxformorPQxandforallxformQxPforallxformandQxPorforallxformQxPforallxformorQxPnotforallxformQxexistsxformnotQxandPexistsxformQxexistsxformandPQxorPexistsxformQxexistsxformorPQxandexistsxformQxPexistsxformandQxPorexistsxformQxPexistsxformorQxPnotexistsxformQxforallxformnotQxPformQformformandformformformorformformformnotformformforallformformformexistsformformformFULL.