Student is a type of Worker. Student can be used for Classroom. 
Control is a type of See. Identify is a type of See. 
Worker <--IsA-- Student --UsedFor--> Classroom 
Control --IsA--> See <--IsA-- Identify 