andPforallx46termQx46forallx45termandPQx45andforallx48termQx48Pforallx47termandQx47PandPexistsx50termQx50existsx49termandPQx49andexistsx52termQx52Pexistsx51termandQx51PorPforallx54termQx54forallx53termorPQx53orforallx56termQx56Pforallx55termorQx55PorPexistsx58termQx58existsx57termorPQx57orexistsx60termQx60Pexistsx59termorQx59Pnotforallx62termQx62existsx61termnotQx61notexistsx64termQx64forallx63termnotQx63QtermformPformorformformformnotformformforalltermformformexiststermformformandformformformFULL