Reasoning from Classification and Definition