Classify entails/necessarily involves Compare. Compare is a type of Be. Figure is a type of Be. Figure is related to Small. 
Witness is related to Crime. 
Classify --Entails--> Compare --IsA--> Be <--IsA-- Figure <--RelatedTo--> Small 
Witness <--RelatedTo--> Crime 