I have decided to attempt to slice a tiny part
&gt;&gt;  &gt; &gt; of their issues and see if we can start a separate
&gt;&gt;  &gt; &gt; thread on the issue of axioms for granularity.
&gt;&gt;  &gt;
&gt;&gt;  &gt; Great idea.  However we ought to be aware that there are
&gt;&gt;  &gt; some people who have thought about this stuff quite hard
&gt;&gt;  &gt; already, including Jerry Hobbs and Nick Asher.
&gt;
&gt;Not to mention Democritus, Dalton, Bohr, Heisenberg, ...
&gt;Oops, I just did! ... See how that w