Quantificational Sharpening of Commonsense Knowledge