minor refactoring on the property quantification methods