(exists.x.phi v exists x.psy)->exists.x.(phi v psy).pdf