Source: http://cla.uniroma2.it/files/2017/03/3d-quantifiers-TEST-pg35-wkbk.pdf