quantification in relations