This is an example of a universally quantified statement.
While some of these can be readily quantified, others such as severance are much more difficult to define and analyze.
We will follow this practice of calling statements involving one of these quantifier phrases ' quantified statements '.
Here a diamond stylus is drawn across the test surface under a ramping load, analysis of coating failures allows adhesion to be quantified.
Roughly, the idea is to start with e and then throw in enough elements to make each existentially quantified formula true.
