The aim of the paper is to formalize I. Bellert's proposal to characterize distinct nonequivalent readings of quantificationally ambiguous sentences with help of two features: absoluteness and distributiveness. The formalisation makes use of set theoretical and model theoretical standard notions. Foundamental rules, proposed by Bellert, govering the interpretation of cooccurring quantifiers are quoted and outlines of proofs of important derived rules are given.