todo: explore the problems with HTT approach and the Stein approach; and see if these go away if we restrict ourselves to defeasible inheritance networks generated by a hierarchical clustering algorithm of our own design as a compact way to represent all the properties of any objct being clustered. also, see if this can fix the tractability problems. note that we are allowed to restrict the structure of the net.

see also [1].