Quantifiers in RSL: distributivity and compositionality · Study