Let L be the following property of a positive integer:
- being large or being greater than the number of carbon atoms in a water molecule.
Necessarily, every positive integer has L. But notice that 1 has L a posteriori, while 10100 has L a priori. For 1 is not large, and it has L because it is greater than the number of carbon atoms in a water molecule, but the latter is an a posteriori fact. On the other hand, it’s a priori that 10100 is large.
If n is a positive number such that it is vague whether it is large (e.g., maybe n = 50), it will be vague whether the fact that n has L is a priori or a posteriori. For the largeness of a number is, I assume, an a priori matter, and so it will be vaguely true that it is a priori true that n is large, and hence that n has L.