's &quot;top level catgories&quot; (tlc).  to be honest, i am
not even sure if i have gotten the intention of the ontology correct, and
js has not yet responded to my requests for instruction on that score,
so i am just having to go with my best initial guess.

still, even with all of those hedges about all of my bets, the example,
as i construe it, is interesting enough in its own right, and the full
picture has a sufficient number (n = 25) of logical variables to make
it not entirely trivial at this stage