WordNet: division