!
&gt; &gt;
&gt; &gt;MW: I think we have identified some general principles and 
&gt; some useful
&gt; &gt;organisational levels(following some of Nicola's work) but I 
&gt; agree there is
&gt; &gt;a lot of work to do here.
&gt; 
&gt; The key issue is that granularity and inference are fundamentally at 
&gt; odds with each other, since if you allow sub-granularity differences 
&gt; to be 'invisible', and you allow inferences to be stored and re-used 
&gt; (which is valid in almost any semantics), then you c