step: the kind of fruit produced by trees is a characteristic of trees that is different for different kinds of trees & a characteristic of something that is different for different kinds of that something is a distinct characteristic of that something
inference: the type of fruit a kind of tree produces is a distinct characteristic of that kind of tree