ing piles 
by the same linguistic term. (e.g. a "big pile" is a subtype of
"pile" and could be referred to as a "pile".)  So it is
possible to say that removing one grain from a pile leaves a pile,
but it is only true if the meaning of the first "pile" is
in fact "big pile" -- a formalization must disambiguate the
meanings of the first and second "pile" terms, which must be different
for the formaization to be true.


&gt; &gt;[Pat Cassidy]
&gt; &gt; &gt;&gt;  "large" is very dependent on context,
&gt; &gt;