For example, we would like to be able to identify that "woman" and "person" may refer to the same entity, whereas "man" and "woman" typically would not.
we also do not want a type inventory that is too large or too fine-grained.