More DAGs

fly: yes

fly: no

fly:?

to correspond to the degree of

elaboration of a class in the

knowledge base and some

classes are usually more

elaborated than others.

What we really want is to base

inheritance on idea of

inferential distance.