Version is a type of Type. Version is a synonym of Edition. 
Introduce is a type of Establish. Introduce is related to Social. 
Type <--IsA-- Version <--Synonym--> Edition 
Establish <--IsA-- Introduce <--RelatedTo--> Social 